Bogdan Aman - RankMe

103 papers B 4C 13Misc 9Journal 47Unranked 27

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Arithmetic abilities of SNP systems with astrocytes producing calcium. Neural Networks Bogdan Aman, Gabriel Ciobanu
2025	J	`jnl`	Reaction systems with nondeterministic behaviour. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2025	J	`jnl`	Relating Various Types of Distributed Reaction Systems. Int. J. Found. Comput. Sci. Bogdan Aman
2025	J	`jnl`	Safety of Uncertain Session Types with Interval Probability. Symmetry Bogdan Aman, Gabriel Ciobanu
2024	B	`conf`	Behavioural Equivalences over Reconfigurable Systems. SEFM Bogdan Aman, Gabriel Ciobanu
2024	J	`jnl`	Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova Bogdan Aman, Gabriel Ciobanu
2024	J	`jnl`	Introducing variables in the evolution rules of P systems. Inf. Comput. Bogdan Aman
2024	J	`jnl`	Solving subset sum and SAT problems by reaction systems. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2023	J	`jnl`	Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2023	J	`jnl`	Solving SAT with P systems with anti-membranes. J. Membr. Comput. Bogdan Aman
2023	J	`jnl`	Solving subset sum by spiking neural P systems with astrocytes producing calcium. Nat. Comput. Bogdan Aman
2022	J	`jnl`	Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. Bogdan Aman, Gabriel Ciobanu
2022	C	`conf`	From Networks of Reaction Systems to Communicating Reaction Systems and Back. MCU Bogdan Aman
2022	C	`conf`	Interval Probability for Sessions Types. WoLLIC Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	On the efficiency of synchronized P systems. J. Membr. Comput. Bogdan Aman
2022	J	`jnl`	Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. Bogdan Aman, Gabriel Ciobanu
2022	Misc	`conf`	Synchronization operator for communication privacy. SAC Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	The power of synchronizing rules in membrane computing. Inf. Sci. Bogdan Aman, Gabriel Ciobanu
2022	J	`jnl`	Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. Theor. Comput. Sci. Andrei Alexandru, Bogdan Aman, Ross Horne
2021	Misc	`conf`	Computation with cells enhanced by costs. SAC Bogdan Aman, Gabriel Ciobanu
2021	J	`jnl`	Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2021	J	`jnl`	Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. Bogdan Aman, Gabriel Ciobanu
2020	B	`conf`	Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. SOFSEM Bogdan Aman, Gabriel Ciobanu
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	J	`jnl`	Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Local time membrane systems and time Petri nets. Theor. Comput. Sci. Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
2020	J	`jnl`	Mobile Membranes. IEEE Access Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2020	—	`ch.`	Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski
2020	J	`jnl`	Reversible computation in nature inspired rule-based systems. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2020	J	`jnl`	Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. Bogdan Aman, Gabriel Ciobanu
2019	J	`jnl`	De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2019	—	`conf`	Probabilities in Session Types. FROM Bogdan Aman, Gabriel Ciobanu
2019	J	`jnl`	Synchronization of rules in membrane computing. J. Membr. Comput. Bogdan Aman, Gabriel Ciobanu
2019	C	`conf`	Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC Bogdan Aman, Gabriel Ciobanu
2018	—	`conf`	Adaptive P Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2018	Misc	`conf`	Analyzing the Shared Information in Social Networks. EDCC Bogdan Aman, Gabriel Ciobanu
2018	J	`jnl`	Bonding calculus. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2018	—	`conf`	Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing Bogdan Aman, Gabriel Ciobanu
2017	C	`conf`	Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS Bogdan Aman, Gabriel Ciobanu
2017	—	`conf`	Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
2017	J	`jnl`	Reversibility in Parallel Rewriting Systems. J. Univers. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. Bogdan Aman, Gabriel Ciobanu
2017	J	`jnl`	Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. Bogdan Aman, Gabriel Ciobanu
2016	—	`conf`	Computational Power of Protein Networks. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2016	B	`conf`	Private Names in Non-Commutative Logic. CONCUR Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Private Names in Non-Commutative Logic. CoRR Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
2016	—	`conf`	Simulating R Systems by P Systems. Int. Conf. on Membrane Computing Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov
2015	—	`conf`	Automated Verification of Stochastic Spiking Neural P Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2015	J	`jnl`	Behavioural observations of cell movements with timing aspects. Nano Commun. Networks Bogdan Aman, Gabriel Ciobanu
2015	J	`jnl`	BioMaxP: A Formal Approach for Cellular Ion Pumps. Comput. Sci. J. Moldova Bogdan Aman, Gabriel Ciobanu
2015	—	`conf`	Mobility Types for Cloud Computing. EGC Bogdan Aman, Gabriel Ciobanu
2015	Misc	`conf`	Natural Computing Modelling of the Polynomial Space Turing Machines. ICTERI Bogdan Aman, Gabriel Ciobanu
2015	—	`conf`	Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. ICTERI (Revised Selected Papers) Bogdan Aman, Gabriel Ciobanu
2015	C	`conf`	Timed Mobility and Timed Communication for Critical Systems. FMICS Bogdan Aman, Gabriel Ciobanu
2015	C	`conf`	Verification of Bounded Real-Time Distributed Systems With Mobility. VECoS Bogdan Aman, Gabriel Ciobanu
2015	J	`jnl`	Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. Bogdan Aman, Gabriel Ciobanu
2014	—	`conf`	Computational Power of Chemical Kinetics in Living Cells. BICT Gabriel Ciobanu, Bogdan Aman
2014	—	`conf`	Matter and Anti-Matter in Membrane Systems. DCFS Artiom Alhazov, Bogdan Aman, Rudolf Freund, Gheorghe Paun
2014	—	`conf`	Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. BICT Bogdan Aman, Gabriel Ciobanu
2014	—	`conf`	P Systems with Anti-Matter. Int. Conf. on Membrane Computing Artiom Alhazov, Bogdan Aman, Rudolf Freund
2014	—	`conf`	Red-Green P Automata. Int. Conf. on Membrane Computing Bogdan Aman, Erzsébet Csuhaj-Varjú, Rudolf Freund
2013	—	`conf`	Behavioural Equivalences in Real-Time P Systems. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2013	—	`conf`	Behavioural Types Inspired by Cellular Thresholds. SEFM Workshops Bogdan Aman, Gabriel Ciobanu
2013	—	`conf`	Computational Power of Protein Interaction Networks. UCNC Bogdan Aman, Gabriel Ciobanu
2013	C	`conf`	Mobile Membranes: Computability and Complexity. ICTAC Bogdan Aman, Gabriel Ciobanu
2013	B	`conf`	Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM Bogdan Aman, Gabriel Ciobanu
2013	Misc	`conf`	Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna
2012	—	`conf`	Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
2012	C	`conf`	Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION Bogdan Aman, Gabriel Ciobanu
2012	—	`conf`	Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2012	C	`conf`	On the Computability Power of Membrane Systems with Controlled Mobility. CiE Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu
2012	J	`jnl`	Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. Bogdan Aman, Gabriel Ciobanu
2012	Misc	`conf`	Timed Catalytic Petri Nets. SYNASC Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna
2011	—	`conf`	A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life Bogdan Aman, Gabriel Ciobanu
2011	—	`book`	Mobility in Process Calculi and Natural Computing Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Mutual mobile membranes with objects on surface. Nat. Comput. Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Semantics, Causality and Mobility in Membrane Computing. ERCIM News Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica Bogdan Aman, Gabriel Ciobanu
2011	J	`jnl`	Spatial Dynamic Structures and Mobility in Computation CoRR Bogdan Aman
2011	—	`conf`	Time Delays in Membrane Systems and Petri Nets QAPL Bogdan Aman, Gabriel Ciobanu
2010	J	`jnl`	Adding Lifetime to Objects and Membranes in P Systems. Int. J. Comput. Commun. Control Bogdan Aman, Gabriel Ciobanu
2010	J	`jnl`	Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia Bogdan Aman, Gabriel Ciobanu
2010	C	`conf`	Formalizing the Behavior of Biological Processes with Mobility. UC Bogdan Aman, Gabriel Ciobanu
2009	—	`conf`	Mutual Mobile Membranes with Timers COMPMOD Bogdan Aman, Gabriel Ciobanu
2009	J	`jnl`	Simple, Enhanced and Mutual Mobile Membranes. Trans. Comp. Sys. Biology Bogdan Aman, Gabriel Ciobanu
2009	C	`conf`	Turing Completeness Using Three Mobile Membranes. UC Bogdan Aman, Gabriel Ciobanu
2009	—	`conf`	Typed Membrane Systems. Workshop on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2008	J	`jnl`	On the relationship between membranes and ambients. Biosyst. Gabriel Ciobanu, Bogdan Aman
2008	Misc	`conf`	Resource Competition and Synchronization in Membranes. SYNASC Bogdan Aman, Gabriel Ciobanu
2008	C	`conf`	Timed Mobile Ambients for Network Protocols. FORTE Bogdan Aman, Gabriel Ciobanu
2008	—	`conf`	Type Disciplines for Analysing Biologically Relevant Properties. MeCBIC Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina
2007	—	`conf`	Describing the Immune System Using Enhanced Mobile Membranes. FBTC@CONCUR Bogdan Aman, Gabriel Ciobanu
2007	C	`conf`	Mobile Ambients with Timers and Types. ICTAC Bogdan Aman, Gabriel Ciobanu
2007	—	`conf`	On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing Bogdan Aman, Gabriel Ciobanu
2007	Misc	`conf`	Structural Properties and Observability in Membrane Systems. SYNASC Bogdan Aman, Gabriel Ciobanu
2007	Misc	`conf`	Timers and Proximities for Mobile Ambients. CSR Bogdan Aman, Gabriel Ciobanu
2006	—	`conf`	Translating Mobile Ambients into P Systems. MeCBIC@ICALP Bogdan Aman, Gabriel Ciobanu