Follow
Oana Andrei
Title
Cited by
Cited by
Year
A rewriting logic framework for operational semantics of membrane systems
O Andrei, G Ciobanu, D Lucanu
Theoretical Computer Science 373 (3), 163-181, 2007
862007
Porgy: Strategy-driven interactive transformation of graphs
O Andrei, M Fernández, H Kirchner, G Melançon, O Namet, B Pinaud
arXiv preprint arXiv:1102.2654, 2011
572011
Executable specifications of P systems
O Andrei, G Ciobanu, D Lucanu
Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June …, 2005
432005
A rewriting calculus for multigraphs with ports
O Andrei, H Kirchner
Electronic Notes in Theoretical Computer Science 219, 67-82, 2008
412008
A higher-order graph calculus for autonomic computing
O Andrei, H Kirchner
Graph Theory, Computational Intelligence and Thought: Essays Dedicated to …, 2009
402009
Structural operational semantics of P systems
O Andrei, G Ciobanu, D Lucanu
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria …, 2006
372006
Graph rewriting and strategies for modeling biochemical networks
O Andrei, H Kirchner
Ninth International Symposium on Symbolic and Numeric Algorithms for …, 2007
222007
A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
O Andrei
Institut National Polytechnique de Lorraine-INPL, 2008
212008
Non-intrusive formal methods and strategic rewriting for a chemical application
O Andrei, L Ibanescu, H Kirchner
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006
182006
A Model and Analysis of the AKAP Scaffold
O Andrei, M Calder
Electronic Notes in Theoretical Computer Science 268, 3-15, 2010
172010
Operational semantics and rewriting logic in membrane computing
O Andrei, D Lucanu, G Ciobanu
Electronic Notes in Theoretical Computer Science 156 (1), 57-78, 2006
172006
Probabilistic formal analysis of app usage to inform redesign
O Andrei, M Calder, M Chalmers, A Morrison, M Rost
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
152016
Expressing control mechanisms of membranes by rewriting strategies
O Andrei, G Ciobanu, D Lucanu
Membrane Computing: 7th International Workshop, WMC 2006, Leiden, The …, 2006
142006
Strategy-based proof calculus for membrane systems
O Andrei, D Lucanu
Electronic Notes in Theoretical Computer Science 238 (3), 23-43, 2009
112009
Probabilistic model checking of DTMC models of user activity patterns
O Andrei, M Calder, M Higgs, M Girolami
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
102014
A port graph calculus for autonomic computing and invariant verification
O Andrei, H Kirchner
Electronic Notes in Theoretical Computer Science 253 (4), 17-38, 2009
102009
Trend-based analysis of a population model of the AKAP scaffold protein
O Andrei, M Calder
Transactions on Computational Systems Biology XIV: Special Issue on …, 2012
92012
Balancing turn-based games with chained strategy generation
W Kavanagh, A Miller, G Norman, O Andrei
IEEE Transactions on Games 13 (2), 113-122, 2019
82019
PORGY: a visual analytics platform for system modelling and analysis based on graph rewriting
B Pinaud, O Andrei, M Fernández, H Kirchner, G Melançon, J Vallet
Extraction et Gestion de Connaissances, 473--476, 2017
72017
Patterns for Maude metalanguage applications
EI Goriac, G Caltais, D Lucanu, O Andrei, G Grigoraş
Electronic Notes in Theoretical Computer Science 238 (3), 121-138, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20