Maria Maximova
Author
Alternate names Maria Maximova, M.S. Maximova, M. S Maximova, Maria S Maximova
Institutions Hasso Plattner Institute, University of Potsdam
Past institutions Hasso Plattner Institute, University of Potsdam, Sechenov University, Technische Universität Berlin
ORCID: Yes
H-index: 7
I10-index: 5
Works count: 34
Citations count: 131
Probabilistic timed graph transformation systems
2018 · Maria Maximova, Holger Giese, et al. · Journal of Logical and Algebraic Methods in Programming
Metric Temporal Graph Logic over Typed Attributed Graphs
2019 · Holger Giese, Maria Maximova, et al. · Lecture notes in computer science
Formal testing of timed graph transformation systems using metric temporal graph logic
2021 · Sven Schneider, Maria Maximova, et al. · International Journal on Software Tools for Technology Transfer