InstitutionLoria Inria Nancy (now at University of Glasgow)Emailoandrei@dcs.gla.ac.ukStatusFormerPublications2009Patterns for Maude Metalanguage ApplicationsEugen Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras ConferenceStrategy-Based Proof Calculus for Membrane SystemsOana Andrei, Dorel Lucanu Conference2007A rewriting logic framework for operational semantics of membrane systemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu Journal2006Structural Operational Semantics of P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu ConferenceExpressing Control Mechanisms of Membranes by Rewriting Strategies.Oana Andrei, Gabriel Ciobanu, Dorel Lucanu ConferenceOperational Semantics and Rewriting Logic in Membrane ComputingOana Andrei, Dorel Lucanu, Gabriel Ciobanu Journal2005Executable Specifications of the P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu Conference