Rustam Zhumagambetov

According to our database, Rustam Zhumagambetov authored at least 6 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Generative clinical time series models trained on moderate amounts of patient data are privacy preserving.

Rustam Zhumagambetov, Niklas Giesa, Sebastian D. Boie, Stefan Haufe

CoRR, February, 2026

GHOSTS: Validated generation of synthetic hospital time series.

Rustam Zhumagambetov, Niklas Giesa, Sebastian D. Boie, Stefan Haufe

Artif. Intell. Medicine, 2026

2024

Explainable AI needs formal notions of explanation correctness.

Stefan Haufe, Rick Wilming, Benedict Clark, Rustam Zhumagambetov, Danny Panknin, Ahcène Boubekki

CoRR, 2024

2022

A biologically-inspired evaluation of molecular generative machine learning.

Elizaveta Vinogradova, Abay Artykbayev, Alisher Amanatay, Mukhamejan Karatayev, Maxim Mametkulov, Albina Li, Anuar Suleimenov, Abylay Salimzhanov, Karina Pats, Rustam Zhumagambetov, Ferdinand Molnár, Vsevolod Peshkov, Siamac Fazli

CoRR, 2022

2019

Teaching Formal Methods in Academia: A Systematic Literature Review.

Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.

Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019