Automata Tutor v3. - Loris D'Antoni; Martin Helfrich; Jan Kretínský; Emanuel Ramneantu; Maximilian Weininger (CAV (2), 2020)

Comparison of Algorithms for Simple Stochastic Games (Full Version). - Jan Kretínský; Emanuel Ramneantu; Alexander Slivinskiy; Maximilian Weininger (CoRR, 2020)

Comparison of Algorithms for Simple Stochastic Games. - Jan Kretínský; Emanuel Ramneantu; Alexander Slivinskiy; Maximilian Weininger (GandALF, 2020)

Irregularly-Sampled Time Series Modeling with Spline Networks. - Marin Bilos; Emanuel Ramneantu; Stephan Günnemann (CoRR, 2022)