Oana Andrei

	2011
15		Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud: PORGY: Strategy-Driven Interactive Transformation of Graphs TERMGRAPH 2011: 54-68
	2010
14		Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson: From species to pathway and tissue as process. CMSB 2010: 1-2
13		Oana Andrei, Muffy Calder: A Model and Analysis of the AKAP Scaffold. Electr. Notes Theor. Comput. Sci. 268: 3-15 (2010)
	2009
12		Oana Andrei, Hélène Kirchner: A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought 2009: 15-26
11		Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras: Patterns for Maude Metalanguage Applications. Electr. Notes Theor. Comput. Sci. 238(3): 121-138 (2009)
10		Oana Andrei, Dorel Lucanu: Strategy-Based Proof Calculus for Membrane Systems. Electr. Notes Theor. Comput. Sci. 238(3): 23-43 (2009)
9		Oana Andrei, Hélène Kirchner: A Port Graph Calculus for Autonomic Computing and Invariant Verification. Electr. Notes Theor. Comput. Sci. 253(4): 17-38 (2009)
	2008
8		Oana Andrei, Hélène Kirchner: A Rewriting Calculus for Multigraphs with Ports. Electr. Notes Theor. Comput. Sci. 219: 67-82 (2008)
	2007
7		Oana Andrei, Hélène Kirchner: Graph Rewriting and Strategies for Modeling Biochemical Networks. SYNASC 2007: 407-414
6		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007)
	2006
5		Oana Andrei, Liliana Ibanescu, Hélène Kirchner: Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. Essays Dedicated to Joseph A. Goguen 2006: 194-215
4		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169
3		Oana Andrei, Dorel Lucanu, Gabriel Ciobanu: Operational Semantics and Rewriting Logic in Membrane Computing. Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006)
	2005
2		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48
	2004
1		Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145

Coauthor Index

1	Muffy Calder (Muffy Thomas)	[13] [14]
2	Georgiana Caltais	[11]
3	Gabriel Ciobanu	[1] [2] [3] [4] [6]
4	Andrea Degasperi	[14]
5	Robin Donaldson	[14]
6	Maribel Fernández	[15]
7	Eugen-Ioan Goriac	[11]
8	Gheorghe Grigoras	[11]
9	Liliana Ibanescu	[5]
10	Hélène Kirchner	[5] [7] [8] [9] [12] [15]
11	Dorel Lucanu	[1] [2] [3] [4] [6] [10] [11]
12	Guy Melançon	[15]
13	Olivier Namet	[15]
14	Bruno Pinaud	[15]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page