# Bogdan Aman

According to our database

^{1}, Bogdan Aman## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Verification of critical systems described in real-time TiMo.

STTT, 2017

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

Fundam. Inform., 2017

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

Acta Inf., 2017

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

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

2016

Modelling and verification of weighted spiking neural systems.

Theor. Comput. Sci., 2016

Simulating P systems with membrane dissolution in a chemical calculus.

Natural Computing, 2016

Private Names in Non-Commutative Logic.

CoRR, 2016

Computational Power of Protein Networks.

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

Simulating R Systems by P Systems.

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

Private Names in Non-Commutative Logic.

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

2015

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

Theor. Comput. Sci., 2015

Behavioural observations of cell movements with timing aspects.

Nano Comm. Netw., 2015

BioMaxP: A Formal Approach for Cellular Ion Pumps.

The Computer Science Journal of Moldova, 2015

Verification of Bounded Real-Time Distributed Systems With Mobility.

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

Automated Verification of Stochastic Spiking Neural P Systems.

Proceedings of the Membrane Computing, 2015

Natural Computing Modelling of the Polynomial Space Turing Machines.

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

Timed Mobility and Timed Communication for Critical Systems.

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Mobility Types for Cloud Computing.

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

2014

Red-Green P Automata.

Proceedings of the Membrane Computing, 2014

P Systems with Anti-Matter.

Proceedings of the Membrane Computing, 2014

Matter and Anti-Matter in Membrane Systems.

Proceedings of the Descriptional Complexity of Formal Systems, 2014

Computational Power of Chemical Kinetics in Living Cells.

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.

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

2013

Computational Power of Protein Interaction Networks.

Proceedings of the Unconventional Computation and Natural Computation, 2013

Behavioural Types Inspired by Cellular Thresholds.

Proceedings of the Software Engineering and Formal Methods, 2013

Real-Time Migration Properties of rTiMo Verified in Uppaal.

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

Behavioural Equivalences in Real-Time P Systems.

Proceedings of the Membrane Computing, 2013

Mobile Membranes: Computability and Complexity.

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

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

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Properties of enhanced mobile membranes via coloured Petri nets.

Inf. Process. Lett., 2012

Timed Catalytic Petri Nets.

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.

Proceedings of the Membrane Computing, 2012

Behavioural Equivalences over Migrating Processes with Timers.

Proceedings of the Formal Techniques for Distributed Systems, 2012

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

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

On the Computability Power of Membrane Systems with Controlled Mobility.

Proceedings of the How the World Computes, 2012

2011

Mobility in Process Calculi and Natural Computing

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

Mutual mobile membranes with objects on surface.

Natural Computing, 2011

Semantics, Causality and Mobility in Membrane Computing.

ERCIM News, 2011

Spatial Dynamic Structures and Mobility in Computation

CoRR, 2011

Time Delays in Membrane Systems and Petri Nets

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.

Acta Inf., 2011

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

Proceedings of the Computation, 2011

2010

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

Scholarpedia, 2010

Formalizing the Behavior of Biological Processes with Mobility.

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

2009

Simple, Enhanced and Mutual Mobile Membranes.

Trans. Computational Systems Biology, 2009

Type Disciplines for Analysing Biologically Relevant Properties.

Electr. Notes Theor. Comput. Sci., 2009

Mutual Mobile Membranes with Timers

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

Turing Completeness Using Three Mobile Membranes.

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

Typed Membrane Systems.

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

2008

Describing the Immune System Using Enhanced Mobile Membranes.

Electr. Notes Theor. Comput. Sci., 2008

On the relationship between membranes and ambients.

Biosystems, 2008

Resource Competition and Synchronization in Membranes.

Proceedings of the SYNASC 2008, 2008

Timed Mobile Ambients for Network Protocols.

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

2007

Translating Mobile Ambients into P Systems.

Electr. Notes Theor. Comput. Sci., 2007

Structural Properties and Observability in Membrane Systems.

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.

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

Mobile Ambients with Timers and Types.

Proceedings of the Theoretical Aspects of Computing, 2007

Timers and Proximities for Mobile Ambients.

Proceedings of the Computer Science, 2007