| Publication | Date of Publication | Type |
|---|
Synthesis of nets with inhibitor arcs
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
A distributed implementation of mobile nets as mobile agents
Lecture Notes in Computer Science | 2021-05-20 | Paper |
Non sequential semantics for contextual P/T nets
Application and Theory of Petri Nets 1996 | 2019-05-02 | Paper |
Efficient stochastic simulation of biological systems with multiple variable volumes
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Expressiveness issues in brane calculi: a survey
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Comparative analysis of the expressiveness of shared dataspace coordination
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
On the expressive power of recursion, replication and iteration in process calculi
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Deciding reachability problems in Turing-complete fragments of Mobile Ambients
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Structural non-interference in elementary and trace nets
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Process discovery and Petri nets
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Efficient computation in rational-valued P systems
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
(Tissue) P systems with cell polarity
Mathematical Structures in Computer Science | 2010-01-12 | Paper |
Genetic Systems without Inhibition Rules
Infinity in Logic and Computation | 2009-11-12 | Paper |
Stochastic biological modelling in the presence of multiple compartments
Theoretical Computer Science | 2009-08-07 | Paper |
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
The Journal of Logic and Algebraic Programming | 2009-03-20 | Paper |
Computational expressiveness of genetic systems
Theoretical Computer Science | 2009-03-02 | Paper |
On the Expressive Power of Global and Local Priority in Process Calculi
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Causality in Membrane Systems
Membrane Computing | 2008-03-28 | Paper |
A process algebraic view of shared dataspace coordination
The Journal of Logic and Algebraic Programming | 2008-03-05 | Paper |
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation
Fundamentals of Computation Theory | 2008-02-26 | Paper |
Computing with Genetic Gates
Lecture Notes in Computer Science | 2007-11-13 | Paper |
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
Membrane Computing | 2007-09-03 | Paper |
Computing with Genetic Gates, Proteins, and Membranes
Membrane Computing | 2007-09-03 | Paper |
Using well-structured transition systems to decide divergence for catalytic P systems
Theoretical Computer Science | 2007-03-27 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
On the expressive power of movement and restriction in pure mobile ambients
Theoretical Computer Science | 2004-10-04 | Paper |
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2089345 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087394 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2038705 (Why is no real title available?) | 2004-02-08 | Paper |
Expired data collection in shared dataspaces.
Theoretical Computer Science | 2003-05-25 | Paper |
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation | 2003-01-21 | Paper |
On the expressiveness of Linda coordination primitives.
Information and Computation | 2003-01-14 | Paper |
Analysis issues in Petri nets with inhibitor arcs
Theoretical Computer Science | 2002-07-31 | Paper |
| scientific article; zbMATH DE number 1759628 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1705160 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1696890 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1629939 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1569118 (Why is no real title available?) | 2001-02-22 | Paper |
| scientific article; zbMATH DE number 1556864 (Why is no real title available?) | 2001-01-25 | Paper |
Comparing three semantics for Linda-like languages
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1435983 (Why is no real title available?) | 2000-04-26 | Paper |
| scientific article; zbMATH DE number 1304367 (Why is no real title available?) | 2000-01-19 | Paper |
| scientific article; zbMATH DE number 1231593 (Why is no real title available?) | 1998-12-21 | Paper |
A process algebraic view of Linda coordination primitives
Theoretical Computer Science | 1998-08-13 | Paper |
