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
382011
Matter and anti-matter in membrane systems
A Alhazov, B Aman, R Freund, G Păun
Brainstorming Week On Membrane Computing, 1-26, 2014
322014
Turing completeness using three mobile membranes
B Aman, G Ciobanu
Unconventional Computation: 8th International Conference, UC 2009, Ponta …, 2009
312009
Describing the immune system using enhanced mobile membranes
B Aman, G Ciobanu
Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008
312008
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
272019
P systems with anti-matter
A Alhazov, B Aman, R Freund
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014
272014
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
Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013
232013
Simple, enhanced and mutual mobile membranes
B Aman, G Ciobanu
Transactions on Computational Systems Biology XI, 26-44, 2009
222009
Modelling and verification of weighted spiking neural systems
B Aman, G Ciobanu
Theoretical Computer Science 623, 92-102, 2016
212016
Mobile ambients with timers and types
B Aman, G Ciobanu
Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007
212007
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
172020
Timed mobile ambients for network protocols
B Aman, G Ciobanu
Formal Techniques for Networked and Distributed Systems–FORTE 2008: 28th …, 2008
162008
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
152020
Controlled reversibility in reaction systems
B Aman, G Ciobanu
Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018
142018
Timers and proximities for mobile ambients
B Aman, G Ciobanu
Computer Science–Theory and Applications: Second International Symposium on …, 2007
142007
Red–green P automata
B Aman, E Csuhaj-Varjú, R Freund
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014
132014
Behavioural equivalences over migrating processes with timers
B Aman, G Ciobanu, M Koutny
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012
132012
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
122019
The system can't perform the operation now. Try again later.
Articles 1–20