| 2009 |
|---|
| 11 | EE | Traian-Florin Serbanuta,
Grigore Rosu,
José Meseguer:
A rewriting logic approach to operational semantics.
Inf. Comput. 207(2): 305-340 (2009) |
| 10 | EE | Andrei Popescu,
Traian-Florin Serbanuta,
Grigore Rosu:
A semantic approach to interpolation.
Theor. Comput. Sci. 410(12-13): 1109-1128 (2009) |
| 2008 |
|---|
| 9 | EE | Feng Chen,
Traian-Florin Serbanuta,
Grigore Rosu:
jPredictor: a predictive runtime analysis tool for java.
ICSE 2008: 221-230 |
| 8 | EE | Traian Serbanuta,
Gheorghe Stefanescu,
Grigore Rosu:
Defining and Executing P Systems with Structured Data in K.
Workshop on Membrane Computing 2008: 374-393 |
| 2007 |
|---|
| 7 | EE | Mark Hills,
Traian Serbanuta,
Grigore Rosu:
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.
Electr. Notes Theor. Comput. Sci. 176(4): 215-231 (2007) |
| 6 | EE | Grit Denker,
Carolyn L. Talcott,
Grigore Rosu,
Mark van den Brand,
Steven Eker,
Traian-Florin Serbanuta:
Rewriting Logic Systems.
Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007) |
| 5 | EE | Traian-Florin Serbanuta,
Grigore Rosu,
José Meseguer:
A Rewriting Logic Approach to Operational Semantics (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 192(1): 125-141 (2007) |
| 2006 |
|---|
| 4 | EE | Andrei Popescu,
Traian Serbanuta,
Grigore Rosu:
A Semantic Approach to Interpolation.
FoSSaCS 2006: 307-321 |
| 3 | EE | Traian-Florin Serbanuta,
Grigore Rosu:
Computationally Equivalent Elimination of Conditions.
RTA 2006: 19-34 |
| 2 | EE | Virgil Nicolae Serbanuta,
Traian-Florin Serbanuta:
Injectivity of the Parikh Matrix Mappings Revisited.
Fundam. Inform. 73(1-2): 265-283 (2006) |
| 2004 |
|---|
| 1 | EE | Traian-Florin Serbanuta:
Extending Parikh matrices.
Theor. Comput. Sci. 310(1-3): 233-246 (2004) |
