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 |