Mobility in process calculi and natural computing B Aman, G Ciobanu Springer, 2011 | 43 | 2011 |
Matter and anti-matter in membrane systems A Alhazov, B Aman, R Freund, G Păun Descriptional Complexity of Formal Systems: 16th International Workshop …, 2014 | 34 | 2014 |
Turing completeness using three mobile membranes B Aman, G Ciobanu International Conference on Unconventional Computation, 42-55, 2009 | 34 | 2009 |
Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008 | 34 | 2008 |
Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019 | 29 | 2019 |
P systems with anti-matter A Alhazov, B Aman, R Freund Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014 | 29 | 2014 |
On the relationship between membranes and ambients G Ciobanu, B Aman BioSystems 91 (3), 515-530, 2008 | 29 | 2008 |
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 | 28 | 2020 |
Real-Time Migration Properties of rTiMo Verified in Uppaal B Aman, G Ciobanu International Conference on Software Engineering and Formal Methods, 31-45, 2013 | 28 | 2013 |
Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016 | 24 | 2016 |
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 |
Simple, enhanced and mutual mobile membranes B Aman, G Ciobanu Transactions on Computational Systems Biology XI, 26-44, 2009 | 23 | 2009 |
Translating mobile ambients into P systems A Bogdan, G Ciobanu Electronic Notes in Theoretical Computer Science 171 (2), 11-23, 2007 | 21 | 2007 |
Mobile ambients with timers and types B Aman, G Ciobanu International Colloquium on Theoretical Aspects of Computing, 50-63, 2007 | 20 | 2007 |
Reversibility in chemical reactions S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski International Conference on Reversible Computation, 151-176, 2020 | 19 | 2020 |
Controlled reversibility in reaction systems B Aman, G Ciobanu Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018 | 19 | 2018 |
Spiking neural P systems with astrocytes producing calcium B Aman, G Ciobanu International Journal of Neural Systems 30 (12), 2050066, 2020 | 18 | 2020 |
Timed mobile ambients for network protocols B Aman, G Ciobanu International Conference on Formal Techniques for Networked and Distributed …, 2008 | 16 | 2008 |
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 | 14 | 2019 |
Simulating R systems by P systems A Alhazov, B Aman, R Freund, S Ivanov Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy …, 2017 | 14 | 2017 |