Grigore Rosu, Ph.D.
Affiliations: | 2000 | University of California, San Diego, La Jolla, CA |
Area:
System Science EngineeringGoogle:
"Grigore Rosu"
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Hathhorn C, Rosu G. (2019) Dealing With C's Original Sin Ieee Software. 36: 24-28 |
Bartocci E, Falcone Y, Bonakdarpour B, et al. (2019) First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 International Journal On Software Tools For Technology Transfer. 21: 31-70 |
Rusu V, Lucanu D, Şerbănuţă T, et al. (2016) Language definitions as rewrite theories The Journal of Logic and Algebraic Programming. 85: 98-120 |
Ciobâcă Ş, Lucanu D, Rusu V, et al. (2016) A language-independent proof system for full program equivalence Formal Aspects of Computing. 28: 469-497 |
Rosu G. (2015) Matching logic - extended abstract Leibniz International Proceedings in Informatics, Lipics. 36: 5-21 |
Popescu A, Roşu G. (2015) Term-generic logic Theoretical Computer Science. 577: 1-24 |
Endrullis J, Hendriks D, Bakhshi R, et al. (2014) On the Complexity of Stream Equality Journal of Functional Programming. 24: 166-217 |
Girlea C, Rosu G. (2014) Abstract semantics for K module composition Electronic Notes in Theoretical Computer Science. 304: 127-149 |
Şerbănuţă TF, Arusoaie A, Lazar D, et al. (2014) The K Primer (version 3.3) Electronic Notes in Theoretical Computer Science. 304: 57-80 |
Roşu G, Şerbănuţă TF. (2014) K Overview and SIMPLE Case Study Electronic Notes in Theoretical Computer Science. 304: 3-56 |