| All-path reachability logic A Ştefănescu, Ş Ciobâcă, R Mereuta, BM Moore, TF Şerbănută, G Roşu International Conference on Rewriting Techniques and Applications, 425-440, 2014 | 80 | 2014 |
| Executing Formal Semantics with the Tool D Lazar, A Arusoaie, TF Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ... International symposium on formal methods, 267-271, 2012 | 15 | 2012 |
| All-path reachability logic A Stefanescu, S Ciobâca, R Mereuta, B Moore, TF Serbanuta, G Rosu Logical Methods in Computer Science 15, 2019 | 11 | 2019 |
| Extending the Service Composition Formalism with Relational Parameters P Diac, L Tucar, R Mereuta arXiv preprint arXiv:1909.04393, 2019 | | 2019 |
| Parsing K definitions R Mereuţă, G Grigoraş Electronic Notes in Theoretical Computer Science 304, 151-166, 2014 | | 2014 |
| Parsing in K framework R Mereuta | | 2011 |
