Seguir
Radu Mereuta
Radu Mereuta
Afiliación desconocida
Dirección de correo verificada de info.uaic.ro
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6