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
Mobility in process calculi and natural computing
B Aman, G Ciobanu
Springer, 2011
432011
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
332014
Turing completeness using three mobile membranes
B Aman, G Ciobanu
International Conference on Unconventional Computation, 42-55, 2009
332009
Describing the immune system using enhanced mobile membranes
B Aman, G Ciobanu
Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008
332008
P systems with anti-matter
A Alhazov, B Aman, R Freund
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014
292014
On the relationship between membranes and ambients
G Ciobanu, B Aman
BioSystems 91 (3), 515-530, 2008
292008
Synchronization of rules in membrane computing
B Aman, G Ciobanu
Journal of Membrane Computing 1 (4), 233-240, 2019
282019
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
272020
Real-Time Migration Properties of rTiMo Verified in Uppaal
B Aman, G Ciobanu
International Conference on Software Engineering and Formal Methods, 31-45, 2013
272013
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
Modelling and verification of weighted spiking neural systems
B Aman, G Ciobanu
Theoretical Computer Science 623, 92-102, 2016
232016
Simple, enhanced and mutual mobile membranes
B Aman, G Ciobanu
Transactions on Computational Systems Biology XI, 26-44, 2009
232009
Mobile ambients with timers and types
B Aman, G Ciobanu
International Colloquium on Theoretical Aspects of Computing, 50-63, 2007
212007
Translating mobile ambients into P systems
A Bogdan, G Ciobanu
Electronic Notes in Theoretical Computer Science 171 (2), 11-23, 2007
212007
Reversibility in chemical reactions
S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski
International Conference on Reversible Computation, 151-176, 2020
172020
Controlled reversibility in reaction systems
B Aman, G Ciobanu
Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018
172018
Spiking neural P systems with astrocytes producing calcium
B Aman, G Ciobanu
International Journal of Neural Systems 30 (12), 2050066, 2020
162020
Timed mobile ambients for network protocols
B Aman, G Ciobanu
International Conference on Formal Techniques for Networked and Distributed …, 2008
162008
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
142019
Red–green P automata
B Aman, E Csuhaj-Varjú, R Freund
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20