Bogdan Aman

Cited by

	All	Since 2016
Citations	522	277
h-index	12	8
i10-index	17	7

2007200820092010201120122013201420152016201720182019202020215 12 24 18 40 31 25 30 46 42 48 59 49 69 8

Co-authors

Gabriel CiobanuComputer Science, MathematicsVerified email at iit.tuiasi.ro
Rudolf FreundProfessor of Computer Science, TU WienVerified email at emcc.at
Artiom AlhazovInstitute of Mathematics and Computer Science of Academy of Sciences of MoldovaVerified email at math.md
György VaszilUniversity of DebrecenVerified email at inf.unideb.hu
Péter BattyányiAssistant Lecturer, University of DebrecenVerified email at inf.unideb.hu
Alwen TiuResearch School of Computer Science, The Australian National UniversityVerified email at anu.edu.au
Ross HorneUniversity of LuxembourgVerified email at uni.lu
Erzsébet Csuhaj-VarjúDepartment of Algorithms and their Applications, Faculty of Informatics, Eötvös Loránd UniversityVerified email at inf.elte.hu
Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerified email at unibo.it
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Sergiu IvanovUniversité Grenoble-AlpresVerified email at univ-grenoble-alpes.fr
Irek UlidowskiInformatics, University of LeicesterVerified email at le.ac.uk
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
Anna PhilippouUniversity of CyprusVerified email at cs.ucy.ac.cy
Stefan KuhnLecturerVerified email at dmu.ac.uk
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Luca PrigionieroPostdoctoral researcher — Università degli Studi di MilanoVerified email at di.unimi.it
German VidalProfessor of Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es

Bogdan Aman

Institute of Computer Science, Romanian Academy, Iasi Branch

Verified email at iit.academiaromana-is.ro - Homepage

process algebra type systems membrane computing reversible computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Mobility in process calculi and natural computing BAG Ciobanu Springer, 2011	31	2011
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	30	2014
On the relationship between membranes and ambients G Ciobanu, B Aman BioSystems 91 (3), 515-530, 2008	29	2008
Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008	29	2008
Turing completeness using three mobile membranes B Aman, G Ciobanu International Conference on Unconventional Computation, 42-55, 2009	26	2009
Type disciplines for analysing biologically relevant properties B Aman, M Dezani-Ciancaglini, A Troina Electronic Notes in Theoretical Computer Science 227, 97-111, 2009	23	2009
P systems with anti-matter A Alhazov, B Aman, R Freund International Conference on Membrane Computing, 66-85, 2014	22	2014
Simple, enhanced and mutual mobile membranes B Aman, G Ciobanu Transactions on Computational Systems Biology XI, 26-44, 2009	22	2009
Real-Time Migration Properties of rTiMo Verified in Uppaal B Aman, G Ciobanu International Conference on Software Engineering and Formal Methods, 31-45, 2013	20	2013
Mobile ambients with timers and types B Aman, G Ciobanu International Colloquium on Theoretical Aspects of Computing, 50-63, 2007	19	2007
Timed mobile ambients for network protocols B Aman, G Ciobanu International Conference on Formal Techniques for Networked and Distributed …, 2008	16	2008
Timers and proximities for mobile ambients B Aman, G Ciobanu International Computer Science Symposium in Russia, 33-43, 2007	13	2007
Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016	12	2016
Red–green P automata B Aman, E Csuhaj-Varjú, R Freund International Conference on Membrane Computing, 139-157, 2014	12	2014
Behavioural equivalences over migrating processes with timers B Aman, G Ciobanu, M Koutny Formal Techniques for Distributed Systems, 52-66, 2012	12	2012
Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019	10	2019
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	10	2011
Adding Lifetime to Objects and Membranes in P Systems B Aman, G Ciobanu INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL 5 (3), 268-279, 2010	9	2010
Controlled reversibility in reaction systems B Aman, G Ciobanu International Conference on Membrane Computing, 40-53, 2017	8	2017
Private names in non-commutative logic R Horne, A Tiu, B Aman, G Ciobanu 27th International Conference on Concurrency Theory (CONCUR 2016), 2016	8	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors