Mark Jonathan Chimes
Univ.Ass. / BSc MSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
Publications
- Tree-Verifiable Graph Grammars / Chimes, M. J., Iosif, R., & Zuleger, F. (2024). Tree-Verifiable Graph Grammars. In Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 165–180). https://doi.org/10.29007/8l13