Bogdan Aman

Cited by

	All	Since 2019
Citations	833	417
h-index	17	11
i10-index	28	15

100

2007200820092010201120122013201420152016201720182019202020212022202320248 16 27 20 34 31 29 32 45 39 58 56 57 69 62 97 80 52

Public access

View all

2 articles

available

not available

Based on funding mandates

Co-authors

Gabriel CiobanuRomanian Academy, IasiVerified email at iit.academiaromana-is.ro
Rudolf FreundProfessor of Computer Science, TU WienVerified email at emcc.at
Artiom AlhazovMoldova State University (Vladimir Andrunachievici Institute of Mathematics and Computer Science)Verified email at math.usm.md
Ross HorneUniversity of StrathclydeVerified email at strath.ac.uk
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterVerified email at le.ac.uk
György VaszilUniversity of DebrecenVerified email at inf.unideb.hu
Péter BattyányiAssistant Lecturer, University of DebrecenVerified email at inf.unideb.hu
Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
Sergiu IvanovUniversité Grenoble-AlpresVerified email at univ-grenoble-alpes.fr
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
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Luca PrigionieroLecturer in Computer Science — Loughborough UniversityVerified email at lboro.ac.uk
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
Jarkko KariUniversity of TurkuVerified email at utu.fi
Robin KaarsgaardAssistant Professor at University of Southern DenmarkVerified email at imada.sdu.dk
Łukasz MikulskiNicolaus Copernicus UniversityVerified email at mat.umk.pl

Bogdan Aman

Institute of Computer Science, Romanian Academy AND Faculty of Computer Science, UAIC, Iasi, Romania

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 B Aman, G Ciobanu Springer, 2011	43	2011
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	34	2014
Turing completeness using three mobile membranes B Aman, G Ciobanu International Conference on Unconventional Computation, 42-55, 2009	34	2009
Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008	34	2008
Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019	29	2019
P systems with anti-matter A Alhazov, B Aman, R Freund Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014	29	2014
On the relationship between membranes and ambients G Ciobanu, B Aman BioSystems 91 (3), 515-530, 2008	29	2008
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	28	2020
Real-Time Migration Properties of rTiMo Verified in Uppaal B Aman, G Ciobanu International Conference on Software Engineering and Formal Methods, 31-45, 2013	28	2013
Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016	24	2016
Type disciplines for analysing biologically relevant properties B Aman, M Dezani-Ciancaglini, A Troina Electronic Notes in Theoretical Computer Science 227, 97-111, 2009	24	2009
Simple, enhanced and mutual mobile membranes B Aman, G Ciobanu Transactions on Computational Systems Biology XI, 26-44, 2009	23	2009
Translating mobile ambients into P systems A Bogdan, G Ciobanu Electronic Notes in Theoretical Computer Science 171 (2), 11-23, 2007	21	2007
Mobile ambients with timers and types B Aman, G Ciobanu International Colloquium on Theoretical Aspects of Computing, 50-63, 2007	20	2007
Spiking neural P systems with astrocytes producing calcium B Aman, G Ciobanu International Journal of Neural Systems 30 (12), 2050066, 2020	19	2020
Reversibility in chemical reactions S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski International Conference on Reversible Computation, 151-176, 2020	19	2020
Controlled reversibility in reaction systems B Aman, G Ciobanu Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018	19	2018
Timed mobile ambients for network protocols B Aman, G Ciobanu International Conference on Formal Techniques for Networked and Distributed …, 2008	16	2008
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	14	2019
Simulating R systems by P systems A Alhazov, B Aman, R Freund, S Ivanov Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy …, 2017	14	2017

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

Follow

Cited by

Co-authors