Radu Mereuta

Radu Mereuta

Alexandru Ioan Cuza University - Prague / Romania
Engineering & Technology / Computer Science
AD Scientific Index ID: 5147328
Alexandru Ioan Cuza University of Ia?i
person_outline Radu Mereuta's MOST POPULAR ARTICLES
1-) All-path reachability logicA Ştefănescu, Ş Ciobâcă, R Mereuta, BM Moore, TF Şerbănută, G RoşuInternational Conference on Rewriting Techniques and Applications, 425-440, 2014802014
2-) Executing Formal Semantics with the ToolD Lazar, A Arusoaie, TF Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ...International symposium on formal methods, 267-271, 2012152012
3-) All-path reachability logicA Stefanescu, S Ciobâca, R Mereuta, B Moore, TF Serbanuta, G RosuLogical Methods in Computer Science 15, 2019112019
4-) Extending the Service Composition Formalism with Relational ParametersP Diac, L Tucar, R MereutaarXiv preprint arXiv:1909.04393, 20192019
5-) Parsing K definitionsR Mereuţă, G GrigoraşElectronic Notes in Theoretical Computer Science 304, 151-166, 20142014