Bogdan Aman
According to our database^{1},
Bogdan Aman
authored at least 67 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2019
De Morgan Dual Nominal Quantifiers Modelling Private Names in NonCommutative Logic.
ACM Trans. Comput. Log., 2019
Probabilities in Session Types.
CoRR, 2019
2018
Bonding calculus.
Natural Computing, 2018
Adaptive P Systems.
Proceedings of the Membrane Computing, 2018
Analyzing the Shared Information in Social Networks.
Proceedings of the 14th European Dependable Computing Conference, 2018
Solving the NQueens Puzzle by Using Few Membranes.
Proceedings of the Enjoying Natural Computing, 2018
2017
Verification of critical systems described in realtime TiMo.
STTT, 2017
Reversibility in Parallel Rewriting Systems.
J. UCS, 2017
Verification of distributed systems involving boundedtime migration.
IJCCBS, 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 bioinspired mobility.
Acta Inf., 2017
Analyzing Distributed PiCalculus Systems by Using the Rewriting Engine Maude.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017
Controlled Reversibility in Reaction Systems.
Proceedings of the Membrane Computing, 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 NonCommutative 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 NonCommutative 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 RealTime 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
RedGreen P Automata.
Proceedings of the Membrane Computing, 2014
P Systems with AntiMatter.
Proceedings of the Membrane Computing, 2014
Matter and AntiMatter 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 Bioinspired Information and Communications Technologies, 2014
Observational Equivalences in a BioInspired Formalism Involving Mobility and Lifetimes.
Proceedings of the 8th International Conference on Bioinspired 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
RealTime Migration Properties of rTiMo Verified in Uppaal.
Proceedings of the Software Engineering and Formal Methods  11th International Conference, 2013
Behavioural Equivalences in RealTime 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 BiologicalInspired 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: 9783642248665, 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 NPcomplete 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