The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Bruni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:291-327 [Conf]
  2. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Bisimulation by Unification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:254-270 [Conf]
  3. Roberto Bruni, Ugo Montanari
    Executing Transactions in Zero-Safe Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:83-102 [Conf]
  4. Roberto Bruni, Ugo Montanari
    Transactions and Zero-Safe Nets. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:380-426 [Conf]
  5. Roberto Bruni, Hernán C. Melgratti
    Non-sequential Behaviour of Dynamic Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:105-124 [Conf]
  6. Roberto Bruni, Vladimiro Sassone
    Two Algebraic Process Semantics for Contextual Nets. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:427-456 [Conf]
  7. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    A Comparison of Petri Net Semantics under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:225-244 [Conf]
  8. Roberto Bruni, Ivan Lanese, Ugo Montanari
    Complete Axioms for Stateless Connectors. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:98-113 [Conf]
  9. Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
    Comparing Two Approaches to Compensable Flow Composition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:383-397 [Conf]
  10. Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
    Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:259-274 [Conf]
  11. Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
    Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:293-307 [Conf]
  12. Roberto Bruni, Cosimo Laneve, Ugo Montanari
    Orchestrating Transactions in Join Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:321-337 [Conf]
  13. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Event Structure Semantics for Nominal Calculi. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:295-309 [Conf]
  14. Roberto Bruni, Ivan Lanese
    Summary 3: On Graph(ic) Encodings. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  15. Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
    From Theory to Practice in Transactional Composition of Web Services. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:272-286 [Conf]
  16. Roberto Bruni, José Meseguer, Ugo Montanari
    Executable Tile Specifications for Process Calculi. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:60-76 [Conf]
  17. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Symbolic Equivalences for Open Systems. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:1-17 [Conf]
  18. Roberto Bruni, Hernán C. Melgratti
    Dynamic Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:230-244 [Conf]
  19. Roberto Bruni, José Meseguer
    Generalized Rewrite Theories. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:252-266 [Conf]
  20. Roberto Bruni, Vladimiro Sassone
    Algebraic Models for Contextual Nets. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:175-186 [Conf]
  21. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Algebraic Theories for Contextual Pre-nets. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:256-270 [Conf]
  22. Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
    New Insights on Architectural Connectors. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:367-380 [Conf]
  23. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Nested Commits for Mobile Calculi: Extending Join. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:563-576 [Conf]
  24. Roberto Bruni, Ugo Montanari, Vladimiro Sassone
    Open Ended Systems, Dynamic Bisimulation and Tile Logic. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:440-456 [Conf]
  25. Roberto Bruni, Ugo Montanari
    Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:246-265 [Conf]
  26. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Theoretical foundations for compensations in flow composition languages. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:209-220 [Conf]
  27. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  28. Paolo Baldan, Roberto Bruni, Ugo Montanari
    Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:145-164 [Conf]
  29. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Normal Forms for Partitions and Relations. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:31-47 [Conf]
  30. Roberto Bruni, Ugo Montanari
    Zero-safe nets: The individual token approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:122-140 [Conf]
  31. Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
    SCC: A Service Centered Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  32. Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
    Translating Orc Features into Petri Nets and the Join Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:123-137 [Conf]
  33. Roberto Bruni, Ugo Montanari, Francesca Rossi
    An interactive semantics of logic programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  34. Roberto Bruni
    A logic for modular descriptions of asynchronous and synchronized concurrent systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  35. Roberto Bruni, Fabio Gadducci
    Some algebraic laws for spans. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
  36. Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
    Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  37. Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
    Modeling Fresh Names in the ?-calculus Using Abstractions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:25-41 [Journal]
  38. Roberto Bruni, Ugo Montanari
    Zero-safe net models for transactions in Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  39. Roberto Bruni, Ugo Montanari
    Zero-safe nets, or transition synchronization made simple. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  40. Roberto Bruni, José Meseguer, Ugo Montanari
    Tiling Transactions in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  41. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Flat Committed Join in Join. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:39-59 [Journal]
  42. Roberto Bruni, José Meseguer, Ugo Montanari
    Internal strategies in a rewriting implementation of tile systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  43. Roberto Bruni, Ugo Montanari
    Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:46-89 [Journal]
  44. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial Models for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:170, n:2, pp:207-236 [Journal]
  45. Roberto Bruni, Ugo Montanari
    Concurrent models for Linda with transactions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:421-468 [Journal]
  46. Roberto Bruni, José Meseguer, Ugo Montanari
    Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:53-90 [Journal]
  47. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Normal forms for algebras of connection. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:247-292 [Journal]
  48. Roberto Bruni, Ivan Lanese, Ugo Montanari
    A basic algebra of stateless connectors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:98-120 [Journal]
  49. Roberto Bruni, Ugo Montanari
    Dynamic connectors for concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:281, n:1-2, pp:131-176 [Journal]
  50. Roberto Bruni, José Meseguer
    Semantic foundations for generalized rewrite theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:386-414 [Journal]
  51. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial semantics for Petri nets under the individual token philosophy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  52. Roberto Bruni, Ugo Montanari, Vladimiro Sassone
    Observational congruences for dynamically reconfigurable tile systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:335, n:2-3, pp:331-372 [Journal]
  53. Roberto Bruni, Ugo Montanari, Francesca Rossi
    An interactive semantics of logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:647-690 [Journal]
  54. Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
    Deducing Interactions in Partially Unspecified Biological Systems. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:262-276 [Conf]
  55. Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
    Prototype Platforms for Distributed Agreements. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:21-40 [Journal]

  56. Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. [Citation Graph (, )][DBLP]


  57. Models of Computation: A Tribute to Ugo Montanari's Vision. [Citation Graph (, )][DBLP]


  58. Graph-Based Design and Analysis of Dynamic Software Architectures. [Citation Graph (, )][DBLP]


  59. Multiparty Sessions in SOC. [Citation Graph (, )][DBLP]


  60. Sessions and Pipelines for Structured Service Programming. [Citation Graph (, )][DBLP]


  61. Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. [Citation Graph (, )][DBLP]


  62. A Service-Oriented UML Profile with Formal Support. [Citation Graph (, )][DBLP]


  63. Static Detection of Logic Flaws in Service-Oriented Applications. [Citation Graph (, )][DBLP]


  64. Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  65. PRISMA: A Mobile Calculus with Parametric Synchronization. [Citation Graph (, )][DBLP]


  66. Service Oriented Architectural Design. [Citation Graph (, )][DBLP]


  67. Provably Correct Implementations of Services. [Citation Graph (, )][DBLP]


  68. Tiles for Reo. [Citation Graph (, )][DBLP]


  69. A Graph Syntax for Processes and Services. [Citation Graph (, )][DBLP]


  70. Preface. [Citation Graph (, )][DBLP]


  71. Modelling Dynamic Software Architectures using Typed Graph Grammars. [Citation Graph (, )][DBLP]


  72. Hierarchical Design Rewriting with Maude. [Citation Graph (, )][DBLP]


  73. On Symbolic Semantics for Name-decorated Contexts. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.013secs
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