| 2009 |
|---|
| 73 | EE | Nadia Busi,
Claudio Zandron:
Computational expressiveness of Genetic Systems.
Theor. Comput. Sci. 410(4-5): 286-293 (2009) |
| 2008 |
|---|
| 72 | EE | Cristian Versari,
Nadia Busi:
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.
Electr. Notes Theor. Comput. Sci. 194(3): 165-180 (2008) |
| 71 | EE | Nadia Busi:
Expressiveness Issues in Brane Calculi: A Survey.
Electr. Notes Theor. Comput. Sci. 209: 107-124 (2008) |
| 70 | EE | Nadia Busi,
Gianluigi Zavattaro:
A process algebraic view of shared dataspace coordination.
J. Log. Algebr. Program. 75(1): 52-85 (2008) |
| 69 | EE | Nadia Busi,
Claudio Zandron:
Foreword.
Theor. Comput. Sci. 404(1-2): 3-4 (2008) |
| 2007 |
|---|
| 68 | EE | Cristian Versari,
Nadia Busi:
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.
CMSB 2007: 80-95 |
| 67 | EE | Cristian Versari,
Nadia Busi,
Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi.
CONCUR 2007: 241-255 |
| 66 | EE | Nadia Busi,
Claudio Zandron:
Computing with Genetic Gates.
CiE 2007: 105-114 |
| 65 | EE | Nadia Busi,
Claudio Zandron:
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.
FCT 2007: 173-186 |
| 64 | EE | Nadia Busi:
Causality in Membrane Systems.
Workshop on Membrane Computing 2007: 160-171 |
| 63 | EE | Nadia Busi,
Claudio Zandron:
Preface.
Electr. Notes Theor. Comput. Sci. 171(2): 1-2 (2007) |
| 62 | EE | Nadia Busi:
Using well-structured transition systems to decide divergence for catalytic P systems.
Theor. Comput. Sci. 372(2-3): 125-135 (2007) |
| 2006 |
|---|
| 61 | EE | Nadia Busi:
Deciding Behavioural Properties in Brane Calculi.
CMSB 2006: 17-31 |
| 60 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design.
COORDINATION 2006: 63-81 |
| 59 | EE | Claudio Guidi,
Roberto Lucchi,
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing.
ICSOC 2006: 327-338 |
| 58 | EE | Nadia Busi,
Miguel A. Gutiérrez-Naranjo:
Some Notes on (Mem)Brane Computation.
PPSN 2006: 262-271 |
| 57 | EE | Nadia Busi,
G. Michele Pinna:
Characterizing Workflow Nets Using Regions.
SYNASC 2006: 399-406 |
| 56 | EE | Nadia Busi,
Claudio Zandron:
Modeling and analysis of biological processes by mem(brane) calculi and systems.
Winter Simulation Conference 2006: 1646-1655 |
| 55 | EE | Nadia Busi,
Miguel A. Gutiérrez-Naranjo:
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers.
Workshop on Membrane Computing 2006: 233-249 |
| 54 | EE | Nadia Busi,
Claudio Zandron:
Computing with Genetic Gates, Proteins, and Membranes.
Workshop on Membrane Computing 2006: 250-265 |
| 53 | EE | Nadia Busi,
Gianluigi Zavattaro:
A Process Algebraic View of Coordination.
Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006) |
| 52 | EE | Nadia Busi,
Roberto Gorrieri:
On the Computational Power of Brane Calculi.
T. Comp. Sys. Biology: 16-43 (2006) |
| 2005 |
|---|
| 51 | EE | Nadia Busi,
Gianluigi Zavattaro:
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
COORDINATION 2005: 204-219 |
| 50 | EE | Nadia Busi,
Gianluigi Zavattaro:
Deciding Reachability in Mobile Ambients.
ESOP 2005: 248-262 |
| 49 | EE | Nadia Busi,
Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents.
FMOODS 2005: 259-274 |
| 48 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC 2005: 228-240 |
| 47 | EE | Nadia Busi,
Gianluigi Zavattaro:
Reachability Analysis in Boxed Ambients.
ICTCS 2005: 143-159 |
| 46 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Towards a formal framework for Choreography.
WETICE 2005: 107-112 |
| 45 | EE | Nadia Busi:
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.
Workshop on Membrane Computing 2005: 144-158 |
| 44 | EE | Nadia Busi,
Roberto Gorrieri,
Fabio Martinelli:
Preface.
Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005) |
| 2004 |
|---|
| 43 | EE | Mario Bravetti,
Nadia Busi,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Security Issues in the Tuple-Space Coordination Model.
Formal Aspects in Security and Trust 2004: 1-12 |
| 42 | EE | Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparing Recursion, Replication, and Iteration in Process Calculi.
ICALP 2004: 307-319 |
| 41 | EE | Nadia Busi,
Roberto Gorrieri:
Positive Non-interference in Elementary and Trace Nets.
ICATPN 2004: 1-16 |
| 40 | EE | Nadia Busi,
Alberto Montresor,
Gianluigi Zavattaro:
Data-Driven Coordination In Peer-To-Peer Information Systems.
Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004) |
| 39 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the expressive power of movement and restriction in pure mobile ambients.
Theor. Comput. Sci. 322(3): 477-515 (2004) |
| 38 | EE | Paolo Baldan,
Nadia Busi,
Andrea Corradini,
G. Michele Pinna:
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
Theor. Comput. Sci. 323(1-3): 129-189 (2004) |
| 2003 |
|---|
| 37 | EE | Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Replication vs. Recursive Definitions in Channel Based Calculi.
ICALP 2003: 133-144 |
| 36 | EE | Nadia Busi,
Roberto Gorrieri:
A Survey on Non-interference with Petri Nets.
Lectures on Concurrency and Petri Nets 2003: 328-344 |
| 35 | | Nadia Busi,
Cristian Manfredini,
Alberto Montresor,
Gianluigi Zavattaro:
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.
SAC 2003: 380-386 |
| 34 | EE | Nadia Busi,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 33 | EE | Nadia Busi,
Gianluigi Zavattaro:
Expired data collection in shared dataspaces.
Theor. Comput. Sci. 3(298): 529-556 (2003) |
| 2002 |
|---|
| 32 | EE | Nadia Busi,
Antony I. T. Rowstron,
Gianluigi Zavattaro:
State- and Event-Based Reactive Programming in Shared Dataspaces.
COORDINATION 2002: 111-124 |
| 31 | EE | Nadia Busi,
Cristian Manfredini,
Alberto Montresor,
Gianluigi Zavattaro:
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.
NETWORKING Workshops 2002: 295-299 |
| 30 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the serializability of transactions in shared dataspaces with temporary data.
SAC 2002: 359-366 |
| 29 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the Expressiveness of Movement in Pure Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 28 | | Marco Bernardo,
Nadia Busi,
Marina Ribaudo:
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Eval. 50(2/3): 153-187 (2002) |
| 27 | EE | Nadia Busi:
Analysis issues in Petri nets with inhibitor arcs.
Theor. Comput. Sci. 275(1-2): 127-177 (2002) |
| 2001 |
|---|
| 26 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages.
FoSSaCS 2001: 121-136 |
| 25 | EE | Nadia Busi,
Gianluigi Zavattaro:
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
WETICE 2001: 328-333 |
| 24 | | Nadia Busi,
Paolo Ciancarini,
Roberto Gorrieri,
Gianluigi Zavattaro:
Coordination Models: A Guided Tour.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24 |
| 23 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the Serializability of Transactions in JavaSpaces.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 22 | EE | Antonio Brogi,
Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 21 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces.
AMAST 2000: 198-212 |
| 20 | EE | Paolo Baldan,
Nadia Busi,
Andrea Corradini,
G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.
CONCUR 2000: 442-457 |
| 19 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the Expressiveness of Event Notification in Data-Driven Coordination Languages.
ESOP 2000: 41-55 |
| 18 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Semantics of JavaSpaces.
FMOODS 2000: 3- |
| 17 | | Marco Bernardo,
Marina Ribaudo,
Nadia Busi:
Compact Net Semantics for Process Algebras.
FORTE 2000: 319-334 |
| 16 | | Marco Bernardo,
Nadia Busi,
Marina Ribaudo:
Integrating Two Towers and GreatSPN.
ICALP Satellite Workshops 2000: 551-564 |
| 15 | | Nadia Busi,
Gianluigi Zavattaro:
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
SAC (1) 2000: 233-239 |
| 14 | | Nadia Busi,
G. Michele Pinna:
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Inform. 44(3): 209-244 (2000) |
| 13 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives.
Inf. Comput. 156(1-2): 90-121 (2000) |
| 12 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci. 240(1): 49-90 (2000) |
| 1999 |
|---|
| 11 | | Nadia Busi:
Mobile Nets.
FMOODS 1999 |
| 10 | | Nadia Busi,
G. Michele Pinna:
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Inform. 40(2-3): 165-197 (1999) |
| 1998 |
|---|
| 9 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci. 192(2): 167-199 (1998) |
| 1997 |
|---|
| 8 | | Nadia Busi,
G. Michele Pinna:
Synthesis of Nets with Inhibitor Arcs.
CONCUR 1997: 151-165 |
| 7 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication.
COORDINATION 1997: 205-219 |
| 6 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 1996 |
|---|
| 5 | | Nadia Busi,
G. Michele Pinna:
Non Sequential Semantics for Contextual P/T Nets.
Application and Theory of Petri Nets 1996: 113-132 |
| 1995 |
|---|
| 4 | | Nadia Busi,
Roberto Gorrieri:
A Petri Net Semantics for pi-Calculus.
CONCUR 1995: 145-159 |
| 3 | | Marco Bernardo,
Nadia Busi,
Roberto Gorrieri:
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J. 38(7): 492-509 (1995) |
| 1994 |
|---|
| 2 | | Nadia Busi,
Roberto Gorrieri:
Distributed Conflicts in Communicating Systems.
ECOOP Workshop 1994: 49-65 |
| 1 | | Nadia Busi,
Rob J. van Glabbeek,
Roberto Gorrieri:
Axiomatising ST-Bisimulation Equivalence.
PROCOMET 1994: 169-188 |
