Follow
Bogdan Aman
Bogdan Aman
Institute of Computer Science, Romanian Academy AND Faculty of Computer Science, UAIC, Iasi, Romania
Verified email at iit.academiaromana-is.ro - Homepage
Title
Cited by
Cited by
Year
Frontiers of membrane computing: Open problems and research topics
M Gheorgue, G Paun, MJ Pérez Jiménez
Proceedings of the Tenth Brainstorming Week on Membrane Computing, 171-250 …, 2012
672012
Mobility in process calculi and natural computing
B Aman, G Ciobanu
Springer Science & Business Media, 2011
372011
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
322014
Turing completeness using three mobile membranes
B Aman, G Ciobanu
International Conference on Unconventional Computation, 42-55, 2009
302009
Describing the immune system using enhanced mobile membranes
B Aman, G Ciobanu
Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008
302008
On the relationship between membranes and ambients
G Ciobanu, B Aman
BioSystems 91 (3), 515-530, 2008
282008
P systems with anti-matter
A Alhazov, B Aman, R Freund
International Conference on Membrane Computing, 66-85, 2014
272014
Synchronization of rules in membrane computing
B Aman, G Ciobanu
Journal of Membrane Computing 1 (4), 233-240, 2019
252019
Type disciplines for analysing biologically relevant properties
B Aman, M Dezani-Ciancaglini, A Troina
Electronic Notes in Theoretical Computer Science 227, 97-111, 2009
242009
Real-Time Migration Properties of rTiMo Verified in Uppaal
B Aman, G Ciobanu
International Conference on Software Engineering and Formal Methods, 31-45, 2013
232013
Simple, enhanced and mutual mobile membranes
B Aman, G Ciobanu
Transactions on Computational Systems Biology XI, 26-44, 2009
222009
Mobile ambients with timers and types
B Aman, G Ciobanu
International Colloquium on Theoretical Aspects of Computing, 50-63, 2007
212007
Modelling and verification of weighted spiking neural systems
B Aman, G Ciobanu
Theoretical Computer Science 623, 92-102, 2016
202016
Timed mobile ambients for network protocols
B Aman, G Ciobanu
International Conference on Formal Techniques for Networked and Distributed …, 2008
162008
Reversibility in chemical reactions
S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski
International Conference on Reversible Computation, 151-176, 2020
152020
Timers and proximities for mobile ambients
B Aman, G Ciobanu
International Computer Science Symposium in Russia, 33-43, 2007
142007
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
International Conference on Reversible Computation, 1-40, 2020
132020
Controlled reversibility in reaction systems
B Aman, G Ciobanu
International Conference on Membrane Computing, 40-53, 2017
132017
Red–green P automata
B Aman, E Csuhaj-Varjú, R Freund
International Conference on Membrane Computing, 139-157, 2014
132014
Behavioural equivalences over migrating processes with timers
B Aman, G Ciobanu, M Koutny
Formal Techniques for Distributed Systems, 52-66, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20