How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes. - Tomás Dzetkulic; Stefan Ratschan (ADHS, 2009)

Incremental Computation of Succinct Abstractions for Hybrid Systems. - Tomás Dzetkulic; Stefan Ratschan (FORMATS, 2011)

Rigorous integration of non-linear ordinary differential equations in chebyshev basis. - Tomás Dzetkulic (Numer. Algorithms, 2015)