| Mobility in process calculi and natural computing B Aman, G Ciobanu Springer, 2011 | 45* | 2011 |
| Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 39 | 2020 |
| Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008 | 36 | 2008 |
| Turing completeness using three mobile membranes B Aman, G Ciobanu International Conference on Unconventional Computation, 42-55, 2009 | 35 | 2009 |
| Matter and anti-matter in membrane systems A Alhazov, B Aman, R Freund, G Păun International Workshop on Descriptional Complexity of Formal Systems, 65-76, 2014 | 33 | 2014 |
| Real-Time Migration Properties of rTiMo Verified in Uppaal B Aman, G Ciobanu International Conference on Software Engineering and Formal Methods, 31-45, 2013 | 32 | 2013 |
| On the relationship between membranes and ambients G Ciobanu, B Aman BioSystems 91 (3), 515-530, 2008 | 30 | 2008 |
| Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019 | 28 | 2019 |
| P systems with anti-matter A Alhazov, B Aman, R Freund International Conference on Membrane Computing, 66-85, 2014 | 27 | 2014 |
| Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016 | 26 | 2016 |
| Simple, enhanced and mutual mobile membranes B Aman, G Ciobanu Transactions on Computational Systems Biology XI, 26-44, 2009 | 24 | 2009 |
| Type disciplines for analysing biologically relevant properties B Aman, M Dezani-Ciancaglini, A Troina Electronic Notes in Theoretical Computer Science 227, 97-111, 2009 | 24 | 2009 |
| Spiking neural P systems with astrocytes producing calcium B Aman, G Ciobanu International Journal of Neural Systems 30 (12), 2050066, 2020 | 23 | 2020 |
| Reversibility in chemical reactions S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 23 | 2020 |
| Controlled reversibility in reaction systems B Aman, G Ciobanu International Conference on Membrane Computing, 40-53, 2017 | 22 | 2017 |
| Mobile ambients with timers and types B Aman, G Ciobanu International Colloquium on Theoretical Aspects of Computing, 50-63, 2007 | 21 | 2007 |
| Translating mobile ambients into P systems A Bogdan, G Ciobanu Electronic Notes in Theoretical Computer Science 171 (2), 11-23, 2007 | 21 | 2007 |
| De morgan dual nominal quantifiers modelling private names in non-commutative logic R Horne, A Tiu, B Aman, G Ciobanu ACM Transactions on Computational Logic (TOCL) 20 (4), 1-44, 2019 | 17 | 2019 |
| Simulating R systems by P systems A Alhazov, B Aman, R Freund, S Ivanov International Conference on Membrane Computing, 51-66, 2016 | 17 | 2016 |
| Timed mobile ambients for network protocols B Aman, G Ciobanu International Conference on Formal Techniques for Networked and Distributed …, 2008 | 17 | 2008 |
Gabriel CiobanuRomanian Academy, IasiVerified email at iit.academiaromana-is.ro
