Follow
Radu Mereuta
Radu Mereuta
Unknown affiliation
Verified email at info.uaic.ro
Title
Cited by
Cited by
Year
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
802014
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
152012
All-path reachability logic
A Stefanescu, S Ciobāca, R Mereuta, B Moore, TF Serbanuta, G Rosu
Logical Methods in Computer Science 15, 2019
112019
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
The system can't perform the operation now. Try again later.
Articles 1–6