
Search the dblp DataBase
Oana Andrei:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Oana Andrei, Liliana Ibanescu, Hélène Kirchner
Nonintrusive Formal Methods and Strategic Rewriting for a Chemical Application. [Citation Graph (0, 0)][DBLP] Essays Dedicated to Joseph A. Goguen, 2006, pp:194215 [Conf]
 Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Executable Specifications of P Systems. [Citation Graph (0, 0)][DBLP] Workshop on Membrane Computing, 2004, pp:126145 [Conf]
 Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Structural Operational Semantics of P Systems. [Citation Graph (0, 0)][DBLP] Workshop on Membrane Computing, 2005, pp:3148 [Conf]
 Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Expressing Control Mechanisms of Membranes by Rewriting Strategies. [Citation Graph (0, 0)][DBLP] Workshop on Membrane Computing, 2006, pp:154169 [Conf]
 Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
Operational Semantics and Rewriting Logic in Membrane Computing. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:5778 [Journal]
 Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
A rewriting logic framework for operational semantics of membrane systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:373, n:3, pp:163181 [Journal]
A HigherOrder Graph Calculus for Autonomic Computing. [Citation Graph (, )][DBLP]
Graph Rewriting and Strategies for Modeling Biochemical Networks. [Citation Graph (, )][DBLP]
A Rewriting Calculus for Multigraphs with Ports. [Citation Graph (, )][DBLP]
StrategyBased Proof Calculus for Membrane Systems. [Citation Graph (, )][DBLP]
Patterns for Maude Metalanguage Applications. [Citation Graph (, )][DBLP]
A Port Graph Calculus for Autonomic Computing and Invariant Verification. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
