Bogdan Aman

Cited by

	All	Since 2020
Citations	871	397
h-index	17	10
i10-index	30	12

100

20072008200920102011201220132014201520162017201820192020202120222023202420258 16 27 21 34 31 29 32 45 39 58 56 57 69 62 96 77 75 17

Public access

View all

3 articles

1 article

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
György VaszilUniversity of DebrecenVerified email at inf.unideb.hu
Péter BattyányiAssistant Lecturer, University of DebrecenVerified email at inf.unideb.hu
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterVerified email at le.ac.uk
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
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
Iain PhillipsSenior Lecturer, Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Martin KutribVerified email at informatik.uni-giessen.de

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 reaction systems 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	44	2011
Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008	35	2008
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
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	33	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	31	2013
Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019	30	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
Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016	25	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
Mobile ambients with timers and types B Aman, G Ciobanu International Colloquium on Theoretical Aspects of Computing, 50-63, 2007	21	2007
Translating mobile ambients into P systems A Bogdan, G Ciobanu Electronic Notes in Theoretical Computer Science 171 (2), 11-23, 2007	21	2007
Spiking neural P systems with astrocytes producing calcium B Aman, G Ciobanu International Journal of Neural Systems 30 (12), 2050066, 2020	20	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
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	16	2019
Timed mobile ambients for network protocols B Aman, G Ciobanu International Conference on Formal Techniques for Networked and Distributed …, 2008	16	2008
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems B Aman, G Ciobanu Acta Informatica 48, 409-415, 2011	15	2011

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