Gabriel Ciobanu

Theor. Comput. Sci., 2012

Properties of enhanced mobile membranes via coloured Petri nets.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2012

A Provenance Tracking Model for Data Updates

[BibT_eX]

[DOI]

Ross Horne

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Flexible software architecture and language for mobile agents.

[BibT_eX]

[DOI]

Calin Juravle

Concurr. Comput. Pract. Exp., 2012

Relating Two Metric Semantics for Parallel Rewriting of Multisets.

[BibT_eX]

[DOI]

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

Timed Catalytic Petri Nets.

[BibT_eX]

[DOI]

G. Michele Pinna

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

Nominal Fusion Calculus.

[BibT_eX]

[DOI]

Andrei Alexandru

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

A Timed Mobility Semantics Based on Rewriting Strategies.

[BibT_eX]

[DOI]

L. Jason Steggles

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

An Analysis of Correlative and Static Causality in P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

Mobile Membranes with Objects on Surface as Colored Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

Catalytic Petri Nets Are Turing Complete.

[BibT_eX]

[DOI]

G. Michele Pinna

Proceedings of the Language and Automata Theory and Applications, 2012

Behavioural Equivalences over Migrating Processes with Timers.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

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

[BibT_eX]

[DOI]

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

On the Computability Power of Membrane Systems with Controlled Mobility.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012

2011

Mobility in Process Calculi and Natural Computing

[BibT_eX]

[DOI]

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

Mutual mobile membranes with objects on surface.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Enhanced Mobile Membranes: Computability Results.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2011

Timed Mobility in process algebra and Petri nets.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Semantics, Causality and Mobility in Membrane Computing.

[BibT_eX]

[DOI]

ERCIM News, 2011

Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)

[BibT_eX]

[DOI]

CoRR, 2011

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

[BibT_eX]

[DOI]

CoRR, 2011

Time Delays in Membrane Systems and Petri Nets

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Acta Informatica, 2011

Metric Denotational Semantics for Parallel Rewriting of Multisets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Nominal Semantics of the pi I-calculus.

[BibT_eX]

[DOI]

Andrei Alexandru

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Quantitative Causality in Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

Timed Migration and Interaction with Access Permissions.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Computability Power of Mobility in Enhanced Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Models of Computation in Context, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Computation, 2011

2010

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

[BibT_eX]

[DOI]

Scholarpedia, 2010

Rule-based and object-based event structures for membrane systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Reversing computation in membrane systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Writing as a Form of Freedom and Happiness Celebrating the 60th birthday of Gheorghe Păun.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2010

Adding Lifetime to Objects and Membranes in P Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2010

Formalizing the Behavior of Biological Processes with Mobility.

[BibT_eX]

[DOI]

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

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Mobility in Computer Science and in Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

Flattening the Transition P Systems with Dissolution.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

Mobile Agents with Timers, and Their Implementation.

[BibT_eX]

[DOI]

Calin Juravle

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

Finding Network Resources by Using Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

2009

Simple, Enhanced and Mutual Mobile Membranes.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2009

Complexity of evolution in maximum cooperative P systems.

[BibT_eX]

[DOI]

Andreas Resios

Nat. Comput., 2009

Encodings of Multisets.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2009

Model-based Testing and Analysis of Coordinated Components.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Markov Abstractions for Probabilistic Pi-Calculus.

[BibT_eX]

[DOI]

Hugh Anderson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Mutual Mobile Membranes with Timers

[BibT_eX]

[DOI]

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

Final and sequential behaviours of M-automata.

[BibT_eX]

[DOI]

Sergiu Rudeanu

Acta Informatica, 2009

Turing Completeness Using Three Mobile Membranes.

[BibT_eX]

[DOI]

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

A Methodology for Concurrent Languages Development Based on Denotational Semantics.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Typed Membrane Systems.

[BibT_eX]

[DOI]

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

Evolving by Maximizing the Number of Rules: Complexity Study.

[BibT_eX]

[DOI]

Andreas Resios

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

A Software Platform for Timed Mobility and Timed Interaction.

[BibT_eX]

[DOI]

Calin Juravle

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Behaviour Equivalences in Timed Distributed pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Computational Complexity of Simple P Systems.

[BibT_eX]

[DOI]

Andreas Resios

Fundam. Informaticae, 2008

Preface.

[BibT_eX]

[DOI]

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

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Information Theory over Multisets.

[BibT_eX]

[DOI]

Cosmin Bonchis

Cornel Izbasa

Comput. Informatics, 2008

On the relationship between membranes and ambients.

[BibT_eX]

[DOI]

Biosyst., 2008

UTP and Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Hugh Anderson

Leo Freitas

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

From Gene Regulation to Stochastic Fusion.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computing, 7th International Conference, 2008

Data Compression on Multisets. Submultiset-Free Codes.

[BibT_eX]

[DOI]

Proceedings of the SYNASC 2008, 2008

Resource Competition and Synchronization in Membranes.

[BibT_eX]

[DOI]

Proceedings of the SYNASC 2008, 2008

Dual P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Non-interleaving Semantics with Causality for Nondeterministic Dataflow.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Timed Mobile Ambients for Network Protocols.

[BibT_eX]

[DOI]

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

Modelling and Verification of Timed Interaction and Migration.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

On the Computational Power of Enhanced Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Logic and Theory of Algorithms, 2008

2007

P systems with minimal parallelism.

[BibT_eX]

[DOI]

Linqiang Pan

Gheorghe Paun

Mario J. Pérez-Jiménez

Theor. Comput. Sci., 2007

A rewriting logic framework for operational semantics of membrane systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Equivalent Transformations of Automata by Using Behavioural Automata.

[BibT_eX]

[DOI]

Sergiu Rudeanu

J. Univers. Comput. Sci., 2007

Supermetrics over Apartness Lattice-Ordered Semigroup.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

Interaction in Time and Space.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

Describing the Immune System Using Enhanced Mobile Membranes.

[BibT_eX]

[DOI]

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

Structural Properties and Observability in Membrane Systems.

[BibT_eX]

[DOI]

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

Events, Causality, and Concurrency in Membrane Systems.

[BibT_eX]

[DOI]

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

On the Reachability Problem in P Systems with Mobile Membranes.

[BibT_eX]

[DOI]

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

Time and Space Coordination of Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Mobile Ambients with Timers and Types.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

Timers and Proximities for Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Computer Science, 2007

2006

A specification language for coordinated objects.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Algebraic and Topological Properties of Apartness Lattice-Ordered Semigroups.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2006

Mealy multiset automata.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2006

Theory and applications of P systems.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2006

A Programming Perspective of the Membrane Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2006

"Logic will never be the same again" - Kurt Gödel Centenary.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2006

On the Branching Complexity of P Systems.

[BibT_eX]

[DOI]

Gheorghe Paun

Mario J. Pérez-Jiménez

Fundam. Informaticae, 2006

Coordination by Timers for Channel-Based Anonymous Communications.

[BibT_eX]

[DOI]

Cristian Prisacariu

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Timers for Distributed Systems.

[BibT_eX]

[DOI]

Cristian Prisacariu

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Translating Mobile Ambients into P Systems.

[BibT_eX]

[DOI]

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

New Editorial Team.

[BibT_eX]

[DOI]

Sci. Ann. Cuza Univ., 2006

Encodings and Arithmetic Operations in Membrane Computing.

[BibT_eX]

[DOI]

Cosmin Bonchis

Cornel Izbasa

Proceedings of the Theory and Applications of Models of Computation, 2006

Collaborative Agents Interaction Using Message Passing Interface.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Number Encodings and Arithmetics over Multisets.

[BibT_eX]

[DOI]

Cosmin Bonchis

Cornel Izbasa

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Modeling Cell-Mediated Immunity by Means of P Systems.

[BibT_eX]

[DOI]

Proceedings of the Applications of Membrane Computing, 2006

Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems.

[BibT_eX]

[DOI]

Daniela Zaharie

Proceedings of the Membrane Computing, 7th International Workshop, 2006

P Machines: An Automata Approach to Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Coordination and Self-Organization in MultiAgent Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

A Topological Approach of the Web Classification.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Encoding Mobile Ambients into the pi -Calculus.

[BibT_eX]

[DOI]

Vladimir A. Zakharov

Proceedings of the Perspectives of Systems Informatics, 2006

2005

P Transducers.

[BibT_eX]

[DOI]

Gheorghe Paun

Gheorghe Stefanescu

New Gener. Comput., 2005

An Automata Description of the Genetic Message Translation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Operational Semantics and Rewriting Logic in Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Performance Analysis and Name Passing Errors in Probabilistic Fusion.

[BibT_eX]

[DOI]

Janardan Misra

Sci. Ann. Cuza Univ., 2005

Topological spaces of the web.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

A Web-Based P Systems Simulator and Its Parallelization.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 4th International Conference, 2005

Specification of Coordinated Objects and Verification of Their Temporal Properties.

[BibT_eX]

[DOI]

Mihai Danes

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Specifications and Verification of Network Protocols by Process Algebra.

[BibT_eX]

[DOI]

K. N. Sridhar

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Theory and Practice of Programming Applied to Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Algebraic and Coalgebraic Aspects of Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Structural Operational Semantics of P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Self-organizing Distribution of Agents over Hosts.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2005

2004

Communicating Concurrent Objects in HiddenCCS.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Communication Equivalence Classes in Networks.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2004

Model Checking for Object Specifications in Hidden Algebra.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

Cellular Meta-programming over Membranes.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

A P System Description of the Sodium-Potassium Pump.

[BibT_eX]

[DOI]

Daniela Besozzi

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Executable Specifications of P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Specification and Verification of Synchronizing Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Relating pi-calculus to Object-Z.

[BibT_eX]

[DOI]

Kenji Taguchi

Jin Song Dong

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.

[BibT_eX]

[DOI]

K. N. Sridhar

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Space and Time over the Web.

[BibT_eX]

[DOI]

Daniel Dumitriu

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

A Formalism for Distributed Systems with an Accurate Graphical Representation.

[BibT_eX]

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

P Systems Running on a Cluster of Computers.

[BibT_eX]

[DOI]

Guo Wenyuan

Proceedings of the Membrane Computing, International Workshop, 2003

Discrete Event Systems and Client-Server Model for Signaling Mechanisms.

[BibT_eX]

[DOI]

Dorin Huzum

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Molecular interaction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Gene Expression by Software Mechanisms.

[BibT_eX]

[DOI]

Bogdan Tanasa

Fundam. Informaticae, 2002

P System Software Simulator.

[BibT_eX]

[DOI]

Dorin Paraschiv

Fundam. Informaticae, 2002

Designing and Developing Multi-Agent Systems.

[BibT_eX]

[DOI]

Sinica Alboaie

Sci. Ann. Cuza Univ., 2002

Membrane Systems and Distributed Computing.

[BibT_eX]

[DOI]

Rahul Desai

Akash Kumar

Proceedings of the Membrane Computing, International Workshop, 2002

Client-Server P Systems in Modeling Molecular Interaction.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2002

A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites.

[BibT_eX]

[DOI]

Sabin C. Buraga

Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

2001

JC-Nets.

[BibT_eX]

[DOI]

Proceedings of the Machines, 2001

Molecular structures.

[BibT_eX]

Proceedings of the Where Mathematics, 2001

2000

A Pi-calculus Machine.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

On a Formal Description of the Molecular Processes.

[BibT_eX]

Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999

Abstract Structures for Communication between Processes.

[BibT_eX]

[DOI]

Emanuel Florentin Olariu

Proceedings of the Perspectives of System Informatics, 1999

1998

Faithful pi-nets - A graphical representation of the asynchronous pi-calculus .

[BibT_eX]

[DOI]

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

Interaction Structures for Communicating Processes.

[BibT_eX]

Emanuel Florentin Olariu

Sci. Ann. Cuza Univ., 1998

1996

The Reflexive Domain of CPO's Ideals.

[BibT_eX]

[DOI]

Acta Cybern., 1996

1995

On the "rep" construction into pi-nets.

[BibT_eX]

Sci. Ann. Cuza Univ., 1995

Dataflow lambda-calculus.

[BibT_eX]

Sci. Ann. Cuza Univ., 1995

1992

A Model for a lambda-calculus Extended for Dataflow Computation.

[BibT_eX]