Bogdan Aman

According to our database, Bogdan Aman authored at least 94 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Relating randomized right-hand sides to communicating rewriting rules.

Bogdan Aman, Gabriel Ciobanu

Theor. Comput. Sci., September, 2023

Solving SAT with P systems with anti-membranes.

Bogdan Aman

J. Membr. Comput., June, 2023

Solving subset sum by spiking neural P systems with astrocytes producing calcium.

Bogdan Aman

Nat. Comput., March, 2023

2022

Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu.

Andrei Alexandru, Bogdan Aman, Ross Horne

Theor. Comput. Sci., 2022

Stochastic sharing calculus for reasoning about social networks.

Bogdan Aman, Gabriel Ciobanu

J. Log. Comput., 2022

On the efficiency of synchronized P systems.

Bogdan Aman

J. Membr. Comput., 2022

The power of synchronizing rules in membrane computing.

Bogdan Aman, Gabriel Ciobanu

Inf. Sci., 2022

Dynamics of reputation in mobile agents systems and weighted timed automata.

Bogdan Aman, Gabriel Ciobanu

Inf. Comput., 2022

New Editorial Team for SACS after 16 Years.

Bogdan Aman, Gabriel Ciobanu

Sci. Ann. Comput. Sci., 2022

Interval Probability for Sessions Types.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Logic, Language, Information, and Computation, 2022

Synchronization operator for communication privacy.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

From Networks of Reaction Systems to Communicating Reaction Systems and Back.

Bogdan Aman

Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

2021

Travelling salesman problem in tissue P systems with costs.

Bogdan Aman, Gabriel Ciobanu

J. Membr. Comput., 2021

Type inference for hierarchical multiset structures in rule-based systems.

Bogdan Aman, Gabriel Ciobanu

Inf. Sci., 2021

Computation with cells enhanced by costs.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Foundations of Reversible Computation.

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Reversibility in Chemical Reactions.

Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Local time membrane systems and time Petri nets.

Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil

Theor. Comput. Sci., 2020

Reversible computation in nature inspired rule-based systems.

Bogdan Aman, Gabriel Ciobanu

J. Membr. Comput., 2020

Mutual exclusion and reversibility in reaction systems.

Bogdan Aman, Gabriel Ciobanu

J. Membr. Comput., 2020

Spiking Neural P Systems with Astrocytes Producing Calcium.

Bogdan Aman, Gabriel Ciobanu

Int. J. Neural Syst., 2020

Imprecise Probability for Multiparty Session Types in Process Algebra.

Bogdan Aman, Gabriel Ciobanu

CoRR, 2020

Mobile Membranes.

Bogdan Aman, Gabriel Ciobanu

IEEE Access, 2020

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

2019

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic.

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu

ACM Trans. Comput. Log., 2019

Synchronization of rules in membrane computing.

Bogdan Aman, Gabriel Ciobanu

J. Membr. Comput., 2019

Probabilities in Session Types.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Verification of Multi-agent Systems with Timeouts for Migration and Communication.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018

Bonding calculus.

Bogdan Aman, Gabriel Ciobanu

Nat. Comput., 2018

Adaptive P Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 2018

Analyzing the Shared Information in Social Networks.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the 14th European Dependable Computing Conference, 2018

Solving the N-Queens Puzzle by Using Few Membranes.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Enjoying Natural Computing, 2018

2017

Verification of critical systems described in real-time TiMo.

Bogdan Aman, Gabriel Ciobanu

Int. J. Softw. Tools Technol. Transf., 2017

Reversibility in Parallel Rewriting Systems.

Bogdan Aman, Gabriel Ciobanu

J. Univers. Comput. Sci., 2017

Verification of distributed systems involving bounded-time migration.

Bogdan Aman, Gabriel Ciobanu

Int. J. Crit. Comput. Based Syst., 2017

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.

Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu

Fundam. Informaticae, 2017

Efficiently solving the Bin Packing problem through bio-inspired mobility.

Bogdan Aman, Gabriel Ciobanu

Acta Informatica, 2017

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Controlled Reversibility in Reaction Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 2017

2016

Modelling and verification of weighted spiking neural systems.

Bogdan Aman, Gabriel Ciobanu

Theor. Comput. Sci., 2016

Simulating P systems with membrane dissolution in a chemical calculus.

Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil

Nat. Comput., 2016

Computational Power of Protein Networks.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Simulating R Systems by P Systems.

Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Private Names in Non-Commutative Logic.

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Verification of membrane systems with delays via Petri nets with delays.

Bogdan Aman, Gabriel Ciobanu

Theor. Comput. Sci., 2015

Behavioural observations of cell movements with timing aspects.

Bogdan Aman, Gabriel Ciobanu

Nano Commun. Networks, 2015

BioMaxP: A Formal Approach for Cellular Ion Pumps.

Bogdan Aman, Gabriel Ciobanu

Comput. Sci. J. Moldova, 2015

Verification of Bounded Real-Time Distributed Systems With Mobility.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Automated Verification of Stochastic Spiking Neural P Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 2015

Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Natural Computing Modelling of the Polynomial Space Turing Machines.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the 11th International Conference on ICT in Education, 2015

Timed Mobility and Timed Communication for Critical Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Mobility Types for Cloud Computing.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2014

Red-Green P Automata.

Bogdan Aman, Erzsébet Csuhaj-Varjú, Rudolf Freund

Proceedings of the Membrane Computing, 2014

P Systems with Anti-Matter.

Artiom Alhazov, Bogdan Aman, Rudolf Freund

Proceedings of the Membrane Computing, 2014

Matter and Anti-Matter in Membrane Systems.

Artiom Alhazov, Bogdan Aman, Rudolf Freund, Gheorghe Paun

Proceedings of the Descriptional Complexity of Formal Systems, 2014

Computational Power of Chemical Kinetics in Living Cells.

Gabriel Ciobanu, Bogdan Aman

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

2013

Computational Power of Protein Interaction Networks.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Unconventional Computation and Natural Computation, 2013

Behavioural Types Inspired by Cellular Thresholds.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Software Engineering and Formal Methods, 2013

Real-Time Migration Properties of rTiMo Verified in Uppaal.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Behavioural Equivalences in Real-Time P Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 2013

Mobile Membranes: Computability and Complexity.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility.

Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Properties of enhanced mobile membranes via coloured Petri nets.

Bogdan Aman, Gabriel Ciobanu

Inf. Process. Lett., 2012

Timed Catalytic Petri Nets.

Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Mobile Membranes with Objects on Surface as Colored Petri Nets.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 2012

Behavioural Equivalences over Migrating Processes with Timers.

Bogdan Aman, Gabriel Ciobanu, Maciej Koutny

Proceedings of the Formal Techniques for Distributed Systems, 2012

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

On the Computability Power of Membrane Systems with Controlled Mobility.

Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu

Proceedings of the How the World Computes, 2012

2011

Mobility in Process Calculi and Natural Computing

Bogdan Aman, Gabriel Ciobanu

Natural Computing Series, Springer, ISBN: 978-3-642-24866-5, 2011

Mutual mobile membranes with objects on surface.

Bogdan Aman, Gabriel Ciobanu

Nat. Comput., 2011

Semantics, Causality and Mobility in Membrane Computing.

Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu

ERCIM News, 2011

Spatial Dynamic Structures and Mobility in Computation

Bogdan Aman

CoRR, 2011

Time Delays in Membrane Systems and Petri Nets

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems.

Bogdan Aman, Gabriel Ciobanu

Acta Informatica, 2011

A Temporal Logic for Mutual Mobile Membranes with Objects on Surface.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Computation, 2011

2010

Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients.

Bogdan Aman, Gabriel Ciobanu

Scholarpedia, 2010

Adding Lifetime to Objects and Membranes in P Systems.

Bogdan Aman, Gabriel Ciobanu

Int. J. Comput. Commun. Control, 2010

Formalizing the Behavior of Biological Processes with Mobility.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Unconventional Computation - 9th International Conference, 2010

2009

Simple, Enhanced and Mutual Mobile Membranes.

Bogdan Aman, Gabriel Ciobanu

Trans. Comp. Sys. Biology, 2009

Mutual Mobile Membranes with Timers

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Turing Completeness Using Three Mobile Membranes.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Unconventional Computation, 8th International Conference, 2009

Typed Membrane Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 10th International Workshop, 2009

2008

Type Disciplines for Analysing Biologically Relevant Properties.

Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

On the relationship between membranes and ambients.

Gabriel Ciobanu, Bogdan Aman

Biosyst., 2008

Resource Competition and Synchronization in Membranes.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the SYNASC 2008, 2008

Timed Mobile Ambients for Network Protocols.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Describing the Immune System Using Enhanced Mobile Membranes.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Structural Properties and Observability in Membrane Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

On the Reachability Problem in P Systems with Mobile Membranes.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Mobile Ambients with Timers and Types.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Theoretical Aspects of Computing, 2007

Timers and Proximities for Mobile Ambients.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the Computer Science, 2007

2006

Translating Mobile Ambients into P Systems.

Bogdan Aman, Gabriel Ciobanu

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006