Bogdan Aman

Cited by

	All	Since 2018
Citations	689	350
h-index	15	11
i10-index	25	14

120

200720082009201020112012201320142015201620172018201920202021202220235 12 23 14 37 25 28 33 43 39 59 55 60 65 63 102 5

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
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
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
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
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
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk

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	38	2011
Matter and anti-matter in membrane systems A Alhazov, B Aman, R Freund, G Păun Brainstorming Week On Membrane Computing, 1-26, 2014	32	2014
Turing completeness using three mobile membranes B Aman, G Ciobanu Unconventional Computation: 8th International Conference, UC 2009, Ponta …, 2009	31	2009
Describing the immune system using enhanced mobile membranes B Aman, G Ciobanu Electronic Notes in Theoretical Computer Science 194 (3), 5-18, 2008	31	2008
On the relationship between membranes and ambients G Ciobanu, B Aman BioSystems 91 (3), 515-530, 2008	29	2008
Synchronization of rules in membrane computing B Aman, G Ciobanu Journal of Membrane Computing 1 (4), 233-240, 2019	27	2019
P systems with anti-matter A Alhazov, B Aman, R Freund Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014	27	2014
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 Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013	23	2013
Simple, enhanced and mutual mobile membranes B Aman, G Ciobanu Transactions on Computational Systems Biology XI, 26-44, 2009	22	2009
Modelling and verification of weighted spiking neural systems B Aman, G Ciobanu Theoretical Computer Science 623, 92-102, 2016	21	2016
Mobile ambients with timers and types B Aman, G Ciobanu Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007	21	2007
Reversibility in chemical reactions S Kuhn, B Aman, G Ciobanu, A Philippou, K Psara, I Ulidowski Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020	17	2020
Timed mobile ambients for network protocols B Aman, G Ciobanu Formal Techniques for Networked and Distributed Systems–FORTE 2008: 28th …, 2008	16	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	15	2020
Controlled reversibility in reaction systems B Aman, G Ciobanu Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018	14	2018
Timers and proximities for mobile ambients B Aman, G Ciobanu Computer Science–Theory and Applications: Second International Symposium on …, 2007	14	2007
Red–green P automata B Aman, E Csuhaj-Varjú, R Freund Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014	13	2014
Behavioural equivalences over migrating processes with timers B Aman, G Ciobanu, M Koutny Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012	13	2012
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	12	2019

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