| A rewriting logic framework for operational semantics of membrane systems O Andrei, G Ciobanu, D Lucanu Theoretical Computer Science 373 (3), 163-181, 2007 | 87 | 2007 |
| 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 | 58 | 2011 |
| Executable specifications of P systems O Andrei, G Ciobanu, D Lucanu International Workshop on Membrane Computing, 126-145, 2004 | 45 | 2004 |
| A rewriting calculus for multigraphs with ports O Andrei, H Kirchner Electronic Notes in Theoretical Computer Science 219, 67-82, 2008 | 41 | 2008 |
| A higher-order graph calculus for autonomic computing O Andrei, H Kirchner Graph Theory, Computational Intelligence and Thought: Essays Dedicated to …, 2009 | 39 | 2009 |
| Structural operational semantics of P systems O Andrei, G Ciobanu, D Lucanu International Workshop on Membrane Computing, 31-48, 2005 | 36 | 2005 |
| Graph rewriting and strategies for modeling biochemical networks O Andrei, H Kirchner Ninth International Symposium on Symbolic and Numeric Algorithms for …, 2007 | 21 | 2007 |
| A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems O Andrei Institut National Polytechnique de Lorraine-INPL, 2008 | 20 | 2008 |
| 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 | 18 | 2006 |
| 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 | 18 | 2006 |
| 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 | 16 | 2016 |
| A Model and Analysis of the AKAP Scaffold O Andrei, M Calder Electronic Notes in Theoretical Computer Science 268, 3-15, 2010 | 16 | 2010 |
| Expressing control mechanisms of membranes by rewriting strategies O Andrei, G Ciobanu, D Lucanu International Workshop on Membrane Computing, 154-169, 2006 | 15 | 2006 |
| Strategy-based proof calculus for membrane systems O Andrei, D Lucanu Electronic Notes in Theoretical Computer Science 238 (3), 23-43, 2009 | 12 | 2009 |
| 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 | 11 | 2014 |
| 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 | 11 | 2009 |
| 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 | 10 | 2019 |
| 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 | 9 | 2012 |
| 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 | 6 | 2017 |
| 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 | 6 | 2009 |
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
