The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nadia Busi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  67. Causality in Membrane Systems. [Citation Graph (, )][DBLP]


  68. Genetic Systems without Inhibition Rules. [Citation Graph (, )][DBLP]


  69. Expressiveness Issues in Brane Calculi: A Survey. [Citation Graph (, )][DBLP]


  70. Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002