Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Oana Andrei
2010 – today
- 2012
[j8]Oana Andrei, Muffy Calder: Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. T. Comp. Sys. Biology 14: 1-25 (2012)- 2011
- [c8]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
- [j7]Oana Andrei, Muffy Calder: A Model and Analysis of the AKAP Scaffold. Electr. Notes Theor. Comput. Sci. 268: 3-15 (2010)
- [c7]Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson: From species to pathway and tissue as process. CMSB 2010: 1-2
2000 – 2009
- 2009
- [j6]Oana Andrei, Dorel Lucanu: Strategy-Based Proof Calculus for Membrane Systems. Electr. Notes Theor. Comput. Sci. 238(3): 23-43 (2009)
- [j5]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)
- [j4]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)
- [c6]Oana Andrei, Hélène Kirchner: A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought 2009: 15-26
- 2008
- [j3]Oana Andrei, Hélène Kirchner: A Rewriting Calculus for Multigraphs with Ports. Electr. Notes Theor. Comput. Sci. 219: 67-82 (2008)
- 2007
- [j2]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007)
- [c5]Oana Andrei, Hélène Kirchner: Graph Rewriting and Strategies for Modeling Biochemical Networks. SYNASC 2007: 407-414
- 2006
- [j1]Oana Andrei, Dorel Lucanu, Gabriel Ciobanu: Operational Semantics and Rewriting Logic in Membrane Computing. Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006)
- [c4]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
- [c3]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169
- 2005
- [c2]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48
- 2004
- [c1]Oana Andrei, Gabriel Ciobanu, Dorel Lucanu: Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-04 22:06 CET by the dblp team