Nadia Busi

86 papers A* 2A 5B 6C 8Misc 4Journal 27Unranked 31
YearRankTypeTitle / Venue / Authors
2009 J jnl
(Tissue) P systems with cell polarity.
Math. Struct. Comput. Sci.
Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron
2009 J jnl
An expressiveness study of priority in process calculi.
Math. Struct. Comput. Sci.
Cristian Versari, Nadia Busi, Roberto Gorrieri
2009 J jnl
Computational expressiveness of Genetic Systems.
Theor. Comput. Sci.
Nadia Busi, Claudio Zandron
2009 J jnl
Deciding reachability problems in Turing-complete fragments of Mobile Ambients.
Math. Struct. Comput. Sci.
Nadia Busi, Gianluigi Zavattaro
2009 J jnl
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs.
J. Log. Algebraic Methods Program.
Nadia Busi, Roberto Gorrieri
2009 J jnl
Efficient computation in rational-valued P systems.
Math. Struct. Comput. Sci.
Nadia Busi, Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez
2009 J jnl
Mobile Petri nets.
Math. Struct. Comput. Sci.
Andrea Asperti, Nadia Busi
2009 J jnl
On the expressive power of recursion, replication and iteration in process calculi.
Math. Struct. Comput. Sci.
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2009 J jnl
Process discovery and Petri nets.
Math. Struct. Comput. Sci.
Nadia Busi, G. Michele Pinna
2009 J jnl
Stochastic biological modelling in the presence of multiple compartments.
Theor. Comput. Sci.
Cristian Versari, Nadia Busi
2009 J jnl
Structural non-interference in elementary and trace nets.
Math. Struct. Comput. Sci.
Nadia Busi, Roberto Gorrieri
2008 J jnl
A process algebraic view of shared dataspace coordination.
J. Log. Algebraic Methods Program.
Nadia Busi, Gianluigi Zavattaro
2008 J jnl
Foreword.
Theor. Comput. Sci.
Nadia Busi, Claudio Zandron
2007 — conf
Causality in Membrane Systems.
Workshop on Membrane Computing
Nadia Busi
2007 C conf
Computing with Genetic Gates.
CiE
Nadia Busi, Claudio Zandron
2007 — conf
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.
FBTC@CONCUR
Cristian Versari, Nadia Busi
2007 — conf
Genetic Systems without Inhibition Rules.
ILC
Nadia Busi, Claudio Zandron
2007 B conf
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.
FCT
Nadia Busi, Claudio Zandron
2007 B conf
On the Expressive Power of Global and Local Priority in Process Calculi.
CONCUR
Cristian Versari, Nadia Busi, Roberto Gorrieri
2007 — ed.
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9, 2006
MeCBIC@ICALP
Nadia Busi, Claudio Zandron
2007 — conf
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.
CMSB
Cristian Versari, Nadia Busi
2007 J jnl
Using well-structured transition systems to decide divergence for catalytic P systems.
Theor. Comput. Sci.
Nadia Busi
2006 A conf
: A Calculus for Service Oriented Computing.
ICSOC
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
2006 — conf
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers.
Workshop on Membrane Computing
Nadia Busi, Miguel Angel Gutiérrez-Naranjo
2006 Misc conf
Characterizing Workflow Nets Using Regions.
SYNASC
Nadia Busi, G. Michele Pinna
2006 C conf
Choreography and Orchestration Conformance for System Design.
COORDINATION
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006 — conf
Computing with Genetic Gates, Proteins, and Membranes.
Workshop on Membrane Computing
Nadia Busi, Claudio Zandron
2006 — conf
Deciding Behavioural Properties in Brane Calculi.
CMSB
Nadia Busi
2006 — conf
Expressiveness Issues in Brane Calculi: A Survey.
LIX
Nadia Busi
2006 Misc conf
Modeling and analysis of biological processes by mem(brane) calculi and systems.
WSC
Nadia Busi, Claudio Zandron
2006 J jnl
On the Computational Power of Brane Calculi.
Trans. Comp. Sys. Biology
Nadia Busi, Roberto Gorrieri
2006 — conf
Preface.
MeCBIC@ICALP
Nadia Busi, Claudio Zandron
2006 A conf
Some Notes on (Mem)Brane Computation.
PPSN
Nadia Busi, Miguel Angel Gutiérrez-Naranjo
2005 — conf
A Distributed Implementation of Mobile Nets as Mobile Agents.
FMOODS
Nadia Busi, Luca Padovani
2005 — conf
A Process Algebraic View of Coordination.
APC 25
Nadia Busi, Gianluigi Zavattaro
2005 A conf
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005 A conf
Deciding Reachability in Mobile Ambients.
ESOP
Nadia Busi, Gianluigi Zavattaro
2005 — conf
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.
Workshop on Membrane Computing
Nadia Busi
2005 C conf
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
COORDINATION
Nadia Busi, Gianluigi Zavattaro
2005 — ed.
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004
WISP@ICATPN
Nadia Busi, Roberto Gorrieri, Fabio Martinelli
2005 — conf
Reachability Analysis in Boxed Ambients.
ICTCS
Nadia Busi, Gianluigi Zavattaro
2005 C conf
Towards a formal framework for Choreography.
WETICE
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2004 A* conf
Comparing Recursion, Replication, and Iteration in Process Calculi.
ICALP
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2004 J jnl
Data-Driven Coordination In Peer-To-Peer Information Systems.
Int. J. Cooperative Inf. Syst.
Nadia Busi, Alberto Montresor, Gianluigi Zavattaro
2004 J jnl
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
Theor. Comput. Sci.
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2004 J jnl
On the expressive power of movement and restriction in pure mobile ambients.
Theor. Comput. Sci.
Nadia Busi, Gianluigi Zavattaro
2004 — conf
Positive Non-interference in Elementary and Trace Nets.
ICATPN
Nadia Busi, Roberto Gorrieri
2004 — conf
Preface.
WISP@ICATPN
Nadia Busi, Roberto Gorrieri, Fabio Martinelli
2004 — conf
Security Issues in the Tuple-Space Coordination Model.
Formal Aspects in Security and Trust
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2003 — conf
A Survey on Non-interference with Petri Nets.
Lectures on Concurrency and Petri Nets
Nadia Busi, Roberto Gorrieri
2003 J jnl
Expired data collection in shared dataspaces.
Theor. Comput. Sci.
Nadia Busi, Gianluigi Zavattaro
2003 Misc conf
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.
SAC
Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
2003 A* conf
Replication vs. Recursive Definitions in Channel Based Calculi.
ICALP
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2002 J jnl
Analysis issues in Petri nets with inhibitor arcs.
Theor. Comput. Sci.
Nadia Busi
2002 J jnl
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Evaluation
Marco Bernardo, Nadia Busi, Marina Ribaudo
2002 — conf
On the Expressiveness of Movement in Pure Mobile Ambients.
F-WAN@ICALP
Nadia Busi, Gianluigi Zavattaro
2002 Misc conf
On the serializability of transactions in shared dataspaces with temporary data.
SAC
Nadia Busi, Gianluigi Zavattaro
2002 — conf
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
FOCLASA
Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2002 C conf
State- and Event-Based Reactive Programming in Shared Dataspaces.
COORDINATION
Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro
2002 — conf
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.
NETWORKING Workshops
Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
2001 — conf
Comparative analysis of the expressiveness of shared dataspace coordination.
TOSCA
Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2001 — ch.
Coordination Models: A Guided Tour.
Coordination of Internet Agents: Models, Technologies, and Applications
Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro
2001 — conf
On the Serializability of Transactions in JavaSpaces.
ConCoord
Nadia Busi, Gianluigi Zavattaro
2001 C conf
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
WETICE
Nadia Busi, Gianluigi Zavattaro
2001 B conf
Temporary Data in Shared Dataspace Coordination Languages.
FoSSaCS
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 C conf
Compact Net Semantics for Process Algebras.
FORTE
Marco Bernardo, Marina Ribaudo, Nadia Busi
2000 J jnl
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Informaticae
Nadia Busi, G. Michele Pinna
2000 J jnl
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci.
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 — conf
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
SAC (1)
Nadia Busi, Gianluigi Zavattaro
2000 B conf
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.
CONCUR
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2000 — conf
Integrating Two Towers and GreatSPN.
ICALP Satellite Workshops
Marco Bernardo, Nadia Busi, Marina Ribaudo
2000 A conf
On the Expressiveness of Event Notification in Data-Driven Coordination Languages.
ESOP
Nadia Busi, Gianluigi Zavattaro
2000 J jnl
On the Expressiveness of Linda Coordination Primitives.
Inf. Comput.
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 — conf
On the Semantics of JavaSpaces.
FMOODS
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000 — conf
Process Calculi for Coordination: From Linda to JavaSpaces.
AMAST
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1999 — conf
Mobile Nets.
FMOODS
Nadia Busi
1999 J jnl
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Informaticae
Nadia Busi, G. Michele Pinna
1998 J jnl
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci.
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1997 — conf
On the Turing equivalence of Linda coordination primitives.
EXPRESS
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1997 B conf
Synthesis of Nets with Inhibitor Arcs.
CONCUR
Nadia Busi, G. Michele Pinna
1997 C conf
Three Semantics of the Output Operation for Generative Communication.
COORDINATION
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1996 — conf
Non Sequential Semantics for Contextual P/T Nets.
Application and Theory of Petri Nets
Nadia Busi, G. Michele Pinna
1995 J jnl
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
Comput. J.
Marco Bernardo, Nadia Busi, Roberto Gorrieri
1995 B conf
A Petri Net Semantics for pi-Calculus.
CONCUR
Nadia Busi, Roberto Gorrieri
1994 — conf
Axiomatising ST-Bisimulation Equivalence.
PROCOMET
Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri
1994 — conf
Distributed Conflicts in Communicating Systems.
ECOOP Workshop
Nadia Busi, Roberto Gorrieri