Login / Signup
Rustam Zhumagambetov
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Higher Education
Formal Methods
Colour Image Segmentation
E Learning
Top Venues
CoRR
FMFun
</>
Publications
</>
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
A biologically-inspired evaluation of molecular generative machine learning.
CoRR
(2022)
Antonio Cerone
,
Markus Roggenbach
,
James Davenport
,
Casey Denner
,
Marie Farrell
,
Magne Haveraaen
,
Faron Moller
,
Philipp Koerner
,
Sebastian Krings
,
Peter Csaba Ölveczky
,
Bernd-Holger Schlingloff
,
Nikolay Shilov
,
Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR
(2020)
Antonio Cerone
,
Markus Roggenbach
,
James 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
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
FMFun
(2019)
Rustam Zhumagambetov
Teaching Formal Methods in Academia: A Systematic Literature Review.
FMFun
(2019)