Bogdan Aman

Cited by

	All	Since 2017
Citations	735	416
h-index	15	11
i10-index	25	15

100

20072008200920102011201220132014201520162017201820192020202120225 12 24 18 33 31 28 36 58 52 57 67 59 71 64 98

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Gabriel CiobanuRomanian Academy, IasiVerified email at info.uaic.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
Ross HorneUniversity of LuxembourgVerified email at uni.lu
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
Irek UlidowskiInformatics, University of LeicesterVerified email at le.ac.uk
Erzsébet Csuhaj-VarjúDepartment of Algorithms and their Applications, Faculty of Informatics, Eötvös Loránd UniversityVerified email at inf.elte.hu
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
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
Sergiu IvanovUniversité Grenoble-AlpresVerified email at univ-grenoble-alpes.fr
Anna PhilippouUniversity of CyprusVerified email at ucy.ac.cy
Stefan KuhnLecturerVerified email at dmu.ac.uk
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
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 VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es

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
Frontiers of membrane computing: Open problems and research topics M Gheorgue, G Paun, MJ Pérez Jiménez Proceedings of the Tenth Brainstorming Week on Membrane Computing, 171-250 …, 2012	67	2012
Mobility in process calculi and natural computing B Aman, G Ciobanu Springer Science & Business Media, 2011	37	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	32	2014
Turing completeness using three mobile membranes B Aman, G Ciobanu International Conference on Unconventional Computation, 42-55, 2009	30	2009
Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008	30	2008
On the relationship between membranes and ambients G Ciobanu, B Aman BioSystems 91 (3), 515-530, 2008	28	2008
P systems with anti-matter A Alhazov, B Aman, R Freund International Conference on Membrane Computing, 66-85, 2014	27	2014
Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019	25	2019
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
Real-Time Migration Properties of rTiMo Verified in Uppaal B Aman, G Ciobanu International Conference on Software Engineering and Formal Methods, 31-45, 2013	23	2013
Simple, enhanced and mutual mobile membranes B Aman, G Ciobanu Transactions on Computational Systems Biology XI, 26-44, 2009	22	2009
Mobile ambients with timers and types B Aman, G Ciobanu International Colloquium on Theoretical Aspects of Computing, 50-63, 2007	21	2007
Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016	20	2016
Timed mobile ambients for network protocols B Aman, G Ciobanu International Conference on Formal Techniques for Networked and Distributed …, 2008	16	2008
Reversibility in chemical reactions S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski International Conference on Reversible Computation, 151-176, 2020	15	2020
Timers and proximities for mobile ambients B Aman, G Ciobanu International Computer Science Symposium in Russia, 33-43, 2007	14	2007
Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... International Conference on Reversible Computation, 1-40, 2020	13	2020
Controlled reversibility in reaction systems B Aman, G Ciobanu International Conference on Membrane Computing, 40-53, 2017	13	2017
Red–green P automata B Aman, E Csuhaj-Varjú, R Freund International Conference on Membrane Computing, 139-157, 2014	13	2014
Behavioural equivalences over migrating processes with timers B Aman, G Ciobanu, M Koutny Formal Techniques for Distributed Systems, 52-66, 2012	13	2012

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