Traian-Florin Serbanuta

Traian Serbanuta

	2009
13		Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta: Runtime Verification of C Memory Safety. RV 2009: 132-151
12		Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009)
11		Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu: A semantic approach to interpolation. Theor. Comput. Sci. 410(12-13): 1109-1128 (2009)
	2008
10		Feng Chen, Traian-Florin Serbanuta, Grigore Rosu: jPredictor: a predictive runtime analysis tool for java. ICSE 2008: 221-230
9		Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu: A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151
8		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		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		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		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		Andrei Popescu, Traian Serbanuta, Grigore Rosu: A Semantic Approach to Interpolation. FoSSaCS 2006: 307-321
3		Traian-Florin Serbanuta, Grigore Rosu: Computationally Equivalent Elimination of Conditions. RTA 2006: 19-34
2		Virgil Nicolae Serbanuta, Traian-Florin Serbanuta: Injectivity of the Parikh Matrix Mappings Revisited. Fundam. Inform. 73(1-2): 265-283 (2006)
	2004
1		Traian-Florin Serbanuta: Extending Parikh matrices. Theor. Comput. Sci. 310(1-3): 233-246 (2004)

Coauthor Index

1	Mark van den Brand (M. G. J. van den Brand)	[6]
2	Feng Chen	[10]
3	Grit Denker	[6]
4	Steven Eker	[6]
5	Chucky Ellison	[9]
6	Mark Hills	[7]
7	José Meseguer	[5] [12]
8	Andrei Popescu	[4] [11]
9	Grigore Rosu	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
10	Wolfram Schulte	[13]
11	Virgil Nicolae Serbanuta	[2]
12	Gheorghe Stefanescu	[8]
13	Carolyn L. Talcott	[6]

Colors in the list of coauthors