dblp.uni-trier.dewww.uni-trier.de

Nadia Busi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Biographical Citations

*2009
74EECristian Versari, Nadia Busi: Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410(33-34): 3039-3064 (2009)
73EENadia Busi, Claudio Zandron: Computational expressiveness of Genetic Systems. Theor. Comput. Sci. 410(4-5): 286-293 (2009)
2008
72EECristian Versari, Nadia Busi: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electr. Notes Theor. Comput. Sci. 194(3): 165-180 (2008)
71EENadia Busi: Expressiveness Issues in Brane Calculi: A Survey. Electr. Notes Theor. Comput. Sci. 209: 107-124 (2008)
70EENadia Busi, Gianluigi Zavattaro: A process algebraic view of shared dataspace coordination. J. Log. Algebr. Program. 75(1): 52-85 (2008)
69EENadia Busi, Claudio Zandron: Foreword. Theor. Comput. Sci. 404(1-2): 3-4 (2008)
2007
68EECristian Versari, Nadia Busi: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95
67EECristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255
66EENadia Busi, Claudio Zandron: Computing with Genetic Gates. CiE 2007: 105-114
65EENadia Busi, Claudio Zandron: On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. FCT 2007: 173-186
64EENadia Busi: Causality in Membrane Systems. Workshop on Membrane Computing 2007: 160-171
63EENadia Busi, Claudio Zandron: Preface. Electr. Notes Theor. Comput. Sci. 171(2): 1-2 (2007)
62EENadia Busi: Using well-structured transition systems to decide divergence for catalytic P systems. Theor. Comput. Sci. 372(2-3): 125-135 (2007)
2006
61EENadia Busi: Deciding Behavioural Properties in Brane Calculi. CMSB 2006: 17-31
60EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
59EEClaudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
58EENadia Busi, Miguel A. Gutiérrez-Naranjo: Some Notes on (Mem)Brane Computation. PPSN 2006: 262-271
57EENadia Busi, G. Michele Pinna: Characterizing Workflow Nets Using Regions. SYNASC 2006: 399-406
56EENadia Busi, Claudio Zandron: Modeling and analysis of biological processes by mem(brane) calculi and systems. Winter Simulation Conference 2006: 1646-1655
55EENadia 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
54EENadia Busi, Claudio Zandron: Computing with Genetic Gates, Proteins, and Membranes. Workshop on Membrane Computing 2006: 250-265
53EENadia Busi, Gianluigi Zavattaro: A Process Algebraic View of Coordination. Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006)
52EENadia Busi, Roberto Gorrieri: On the Computational Power of Brane Calculi. T. Comp. Sys. Biology: 16-43 (2006)
2005
51EENadia Busi, Gianluigi Zavattaro: Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219
50EENadia Busi, Gianluigi Zavattaro: Deciding Reachability in Mobile Ambients. ESOP 2005: 248-262
49EENadia Busi, Luca Padovani: A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS 2005: 259-274
48EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
47EENadia Busi, Gianluigi Zavattaro: Reachability Analysis in Boxed Ambients. ICTCS 2005: 143-159
46EENadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112
45EENadia Busi: On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. Workshop on Membrane Computing 2005: 144-158
44EENadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
2004
43EEMario 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
42EENadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319
41EENadia Busi, Roberto Gorrieri: Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16
40EENadia Busi, Alberto Montresor, Gianluigi Zavattaro: Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004)
39EENadia Busi, Gianluigi Zavattaro: On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (2004)
38EEPaolo 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
37EENadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144
36EENadia 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
34EENadia 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)
33EENadia Busi, Gianluigi Zavattaro: Expired data collection in shared dataspaces. Theor. Comput. Sci. 3(298): 529-556 (2003)
2002
32EENadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro: State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124
31EENadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299
30EENadia Busi, Gianluigi Zavattaro: On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366
29EENadia 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)
27EENadia Busi: Analysis issues in Petri nets with inhibitor arcs. Theor. Comput. Sci. 275(1-2): 127-177 (2002)
2001
26EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136
25EENadia 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
23EENadia Busi, Gianluigi Zavattaro: On the Serializability of Transactions in JavaSpaces. Electr. Notes Theor. Comput. Sci. 54: (2001)
22EEAntonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
21EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212
20EEPaolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457
19EENadia 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)
12EENadia 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
9EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)
1997
8EENadia 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
6EENadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: (1997)
1996
5EENadia Busi, G. Michele Pinna: Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets 1996: 113-132
1995
4EENadia 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

Coauthor Index

1Paolo Baldan [20] [38]
2Marco Bernardo [3] [16] [17] [28]
3Mario Bravetti [43]
4Antonio Brogi [22]
5Paolo Ciancarini [24]
6Andrea Corradini [20] [38]
7Maurizio Gabbrielli [22] [37] [42]
8Rob J. van Glabbeek [1]
9Roberto Gorrieri [1] [2] [3] [4] [6] [7] [9] [12] [13] [18] [21] [24] [26] [34] [36] [41] [43] [44] [46] [48] [52] [59] [60] [67]
10Claudio Guidi [46] [48] [59] [60]
11Miguel A. Gutiérrez-Naranjo [55] [58]
12Roberto Lucchi [34] [43] [46] [48] [59] [60]
13Cristian Manfredini [31] [35]
14Fabio Martinelli [44]
15Alberto Montresor [31] [35] [40]
16Luca Padovani [49]
17G. Michele Pinna [5] [8] [10] [14] [20] [38] [57]
18Marina Ribaudo [16] [17] [28]
19Antony I. T. Rowstron [32]
20Cristian Versari [67] [68] [72] [74]
21Claudio Zandron [54] [56] [63] [65] [66] [69] [73]
22Gianluigi Zavattaro [6] [7] [9] [12] [13] [15] [18] [19] [21] [22] [23] [24] [25] [26] [29] [30] [31] [32] [33] [34] [35] [37] [39] [40] [42] [43] [46] [47] [48] [50] [51] [53] [59] [60] [70]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)