Bogdan Aman
Bogdan Aman
Institute of Computer Science, Romanian Academy, Iasi Branch
Verified email at iit.academiaromana-is.ro - Homepage
Title
Cited by
Cited by
Year
Mobility in process calculi and natural computing
BAG Ciobanu
Springer, 2011
312011
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
302014
On the relationship between membranes and ambients
G Ciobanu, B Aman
BioSystems 91 (3), 515-530, 2008
292008
Describing the immune system using enhanced mobile membranes
B Aman, G Ciobanu
Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008
292008
Turing completeness using three mobile membranes
B Aman, G Ciobanu
International Conference on Unconventional Computation, 42-55, 2009
262009
Type disciplines for analysing biologically relevant properties
B Aman, M Dezani-Ciancaglini, A Troina
Electronic Notes in Theoretical Computer Science 227, 97-111, 2009
232009
P systems with anti-matter
A Alhazov, B Aman, R Freund
International Conference on Membrane Computing, 66-85, 2014
222014
Simple, enhanced and mutual mobile membranes
B Aman, G Ciobanu
Transactions on Computational Systems Biology XI, 26-44, 2009
222009
Real-Time Migration Properties of rTiMo Verified in Uppaal
B Aman, G Ciobanu
International Conference on Software Engineering and Formal Methods, 31-45, 2013
202013
Mobile ambients with timers and types
B Aman, G Ciobanu
International Colloquium on Theoretical Aspects of Computing, 50-63, 2007
192007
Timed mobile ambients for network protocols
B Aman, G Ciobanu
International Conference on Formal Techniques for Networked and Distributed …, 2008
162008
Timers and proximities for mobile ambients
B Aman, G Ciobanu
International Computer Science Symposium in Russia, 33-43, 2007
132007
Modelling and verification of weighted spiking neural systems
B Aman, G Ciobanu
Theoretical Computer Science 623, 92-102, 2016
122016
Red–green P automata
B Aman, E Csuhaj-Varjú, R Freund
International Conference on Membrane Computing, 139-157, 2014
122014
Behavioural equivalences over migrating processes with timers
B Aman, G Ciobanu, M Koutny
Formal Techniques for Distributed Systems, 52-66, 2012
122012
Synchronization of rules in membrane computing
B Aman, G Ciobanu
Journal of Membrane Computing 1 (4), 233-240, 2019
102019
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
B Aman, G Ciobanu
Acta informatica 48 (7-8), 409-415, 2011
102011
Adding Lifetime to Objects and Membranes in P Systems
B Aman, G Ciobanu
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL 5 (3), 268-279, 2010
92010
Controlled reversibility in reaction systems
B Aman, G Ciobanu
International Conference on Membrane Computing, 40-53, 2017
82017
Private names in non-commutative logic
R Horne, A Tiu, B Aman, G Ciobanu
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20