The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oana Andrei: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Oana Andrei, Liliana Ibanescu, Hélène Kirchner
    Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:194-215 [Conf]
  2. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Executable Specifications of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:126-145 [Conf]
  3. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Structural Operational Semantics of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:31-48 [Conf]
  4. 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:154-169 [Conf]
  5. 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:57-78 [Journal]
  6. 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:163-181 [Journal]

  7. A Higher-Order Graph Calculus for Autonomic Computing. [Citation Graph (, )][DBLP]


  8. Graph Rewriting and Strategies for Modeling Biochemical Networks. [Citation Graph (, )][DBLP]


  9. A Rewriting Calculus for Multigraphs with Ports. [Citation Graph (, )][DBLP]


  10. Strategy-Based Proof Calculus for Membrane Systems. [Citation Graph (, )][DBLP]


  11. Patterns for Maude Metalanguage Applications. [Citation Graph (, )][DBLP]


  12. A Port Graph Calculus for Autonomic Computing and Invariant Verification. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002