Folgen
Radu Mereuta
Radu Mereuta
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei info.uaic.ro
Titel
Zitiert von
Zitiert von
Jahr
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
792014
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
162012
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6