Nadia Busi

According to our database1, Nadia Busi authored at least 84 papers between 1994 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2009
Stochastic biological modelling in the presence of multiple compartments.
Theor. Comput. Sci., 2009

Computational expressiveness of Genetic Systems.
Theor. Comput. Sci., 2009

An expressiveness study of priority in process calculi.
Mathematical Structures in Computer Science, 2009

Deciding reachability problems in Turing-complete fragments of Mobile Ambients.
Mathematical Structures in Computer Science, 2009

Process discovery and Petri nets.
Mathematical Structures in Computer Science, 2009

On the expressive power of recursion, replication and iteration in process calculi.
Mathematical Structures in Computer Science, 2009

Efficient computation in rational-valued P systems.
Mathematical Structures in Computer Science, 2009

Structural non-interference in elementary and trace nets.
Mathematical Structures in Computer Science, 2009

(Tissue) P systems with cell polarity.
Mathematical Structures in Computer Science, 2009

Mobile Petri nets.
Mathematical Structures in Computer Science, 2009

Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs.
J. Log. Algebr. Program., 2009

2008
Foreword.
Theor. Comput. Sci., 2008

A process algebraic view of shared dataspace coordination.
J. Log. Algebr. Program., 2008

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.
Electr. Notes Theor. Comput. Sci., 2008

Expressiveness Issues in Brane Calculi: A Survey.
Electr. Notes Theor. Comput. Sci., 2008

2007
Using well-structured transition systems to decide divergence for catalytic P systems.
Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Causality in Membrane Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

Genetic Systems without Inhibition Rules.
Proceedings of the Infinity in Logic and Computation, International Conference, 2007

On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

On the Expressive Power of Global and Local Priority in Process Calculi.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

Computing with Genetic Gates.
Proceedings of the Computation and Logic in the Real World, 2007

2006
On the Computational Power of Brane Calculi.
, 2006

A Process Algebraic View of Coordination.
Electr. Notes Theor. Comput. Sci., 2006

Modeling and analysis of biological processes by mem(brane) calculi and systems.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Characterizing Workflow Nets Using Regions.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Some Notes on (Mem)Brane Computation.
Proceedings of the Parallel Problem Solving from Nature, 2006

Computing with Genetic Gates, Proteins, and Membranes.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

: A Calculus for Service Oriented Computing.
Proceedings of the Service-Oriented Computing, 2006

Choreography and Orchestration Conformance for System Design.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Deciding Behavioural Properties in Brane Calculi.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005

Towards a formal framework for Choreography.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

Reachability Analysis in Boxed Ambients.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Choreography and Orchestration: A Synergic Approach for System Design.
Proceedings of the Service-Oriented Computing, 2005

A Distributed Implementation of Mobile Nets as Mobile Agents.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Deciding Reachability in Mobile Ambients.
Proceedings of the Programming Languages and Systems, 2005

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
On the expressive power of movement and restriction in pure mobile ambients.
Theor. Comput. Sci., 2004

Domain and event structure semantics for Petri nets with read and inhibitor arcs.
Theor. Comput. Sci., 2004

Data-Driven Coordination In Peer-To-Peer Information Systems.
Int. J. Cooperative Inf. Syst., 2004

Security Issues in the Tuple-Space Coordination Model.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Comparing Recursion, Replication, and Iteration in Process Calculi.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

Positive Non-interference in Elementary and Trace Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Expired data collection in shared dataspaces.
Theor. Comput. Sci., 2003

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Electr. Notes Theor. Comput. Sci., 2003

PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Replication vs. Recursive Definitions in Channel Based Calculi.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

A Survey on Non-interference with Petri Nets.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Analysis issues in Petri nets with inhibitor arcs.
Theor. Comput. Sci., 2002

Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Eval., 2002

On the Expressiveness of Movement in Pure Mobile Ambients.
Electr. Notes Theor. Comput. Sci., 2002

On the serializability of transactions in shared dataspaces with temporary data.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

State- and Event-Based Reactive Programming in Shared Dataspaces.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
On the Serializability of Transactions in JavaSpaces.
Electr. Notes Theor. Comput. Sci., 2001

Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci., 2001

Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Temporary Data in Shared Dataspace Coordination Languages.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

Coordination Models: A Guided Tour.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci., 2000

On the Expressiveness of Linda Coordination Primitives.
Inf. Comput., 2000

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Inform., 2000

Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
Proceedings of the Applied Computing 2000, 2000

Integrating Two Towers and GreatSPN.
Proceedings of the ICALP Workshops 2000, 2000

Compact Net Semantics for Process Algebras.
Proceedings of the Formal Techniques for Distributed System Development, 2000

On the Semantics of JavaSpaces.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

On the Expressiveness of Event Notification in Data-Driven Coordination Languages.
Proceedings of the Programming Languages and Systems, 2000

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.
Proceedings of the CONCUR 2000, 2000

Process Calculi for Coordination: From Linda to JavaSpaces.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Inform., 1999

Mobile Nets.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci., 1998

1997
On the Turing equivalence of Linda coordination primitives.
Electr. Notes Theor. Comput. Sci., 1997

Three Semantics of the Output Operation for Generative Communication.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Synthesis of Nets with Inhibitor Arcs.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Non Sequential Semantics for Contextual P/T Nets.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J., 1995

A Petri Net Semantics for pi-Calculus.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Axiomatising ST-Bisimulation Equivalence.
Proceedings of the Programming Concepts, 1994

Distributed Conflicts in Communicating Systems.
Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994


  Loading...