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

Roberto Bruni Vis

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

*2009
73EERoberto Bruni, Karsten Wolf: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers Springer 2009
72EEChiara Bodei, Linda Brodo, Roberto Bruni: Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87
71EERoberto Bruni: Calculi for Service-Oriented Computing. SFM 2009: 1-41
70EERoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
2008
69EERoberto Bruni, Leonardo Gaetano Mezzina: Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. AMAST 2008: 100-115
68EERoberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
67EERoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente: Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
66EERoberto Bruni, Vladimiro Sassone: Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models 2008: 503-509
65EEMichele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
64EERoberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86
63EERoberto Bruni, Dániel Varró: Preface. Electr. Notes Theor. Comput. Sci. 211: 1-3 (2008)
62EERoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti: Modelling Dynamic Software Architectures using Typed Graph Grammars. Electr. Notes Theor. Comput. Sci. 213(1): 39-53 (2008)
61EERoberto Bruni, Ivan Lanese: Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008)
2007
60 Ugo Montanari, Donald Sannella, Roberto Bruni: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers Springer 2007
59EEPaolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni: Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276
58EERoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
57EEAlberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo: Prototype Platforms for Distributed Agreements. Electr. Notes Theor. Comput. Sci. 180(2): 21-40 (2007)
56EEPaolo Baldan, Andrea Bracciali, Roberto Bruni: A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007)
2006
55EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309
54EERoberto Bruni, Hernán C. Melgratti: Non-sequential Behaviour of Dynamic Nets. ICATPN 2006: 105-124
53EERoberto Bruni, Hernán C. Melgratti: Dynamic Graph Transformation Systems. ICGT 2006: 230-244
52EERoberto Bruni, Ivan Lanese: PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149
51EERoberto Bruni, Hernán C. Melgratti, Emilio Tuosto: Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137
50EEMichele 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. WS-FM 2006: 38-57
49EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Dynamic Graph Grammars. ECEASST 2: (2006)
48EERoberto Bruni, José Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
47EERoberto Bruni, Ivan Lanese, Ugo Montanari: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006)
2005
46EERoberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
45EERoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
44EERoberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari: Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397
43EERoberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto: From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286
42EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220
41EERoberto Bruni, Ugo Montanari, Vladimiro Sassone: Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005)
2004
40EEPaolo Baldan, Andrea Bracciali, Roberto Bruni: Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17
39EERoberto Bruni, Ivan Lanese: Summary 3: On Graph(ic) Encodings. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
38 Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari: New Insights on Architectural Connectors. IFIP TCS 2004: 367-380
37 Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: Nested Commits for Mobile Calculi: Extending Join. IFIP TCS 2004: 563-576
36EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Flat Committed Join in Join. Electr. Notes Theor. Comput. Sci. 104: 39-59 (2004)
35EERoberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Modeling Fresh Names in the ?-calculus Using Abstractions. Electr. Notes Theor. Comput. Sci. 106: 25-41 (2004)
34EERoberto Bruni, Ugo Montanari: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3): 421-468 (2004)
2003
33EERoberto Bruni, José Meseguer: Generalized Rewrite Theories. ICALP 2003: 252-266
32EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
31EERoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets 2003: 291-327
2002
30EEPaolo Baldan, Andrea Bracciali, Roberto Bruni: Bisimulation by Unification. AMAST 2002: 254-270
29EERoberto Bruni, Cosimo Laneve, Ugo Montanari: Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337
28EELuis 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. WADT 2002: 1-33
27EEPaolo Baldan, Roberto Bruni, Ugo Montanari: Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164
26EERoberto Bruni, José Meseguer, Ugo Montanari: Tiling Transactions in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: (2002)
25 Roberto Bruni, José Meseguer, Ugo Montanari: Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Mathematical Structures in Computer Science 12(1): 53-90 (2002)
24EERoberto Bruni, Ugo Montanari: Dynamic connectors for concurrency. Theor. Comput. Sci. 281(1-2): 131-176 (2002)
23 Roberto Bruni, Fabio Gadducci, Ugo Montanari: Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002)
2001
22EERoberto Bruni, Ugo Montanari: Transactions and Zero-Safe Nets. Unifying Petri Nets 2001: 380-426
21EERoberto Bruni, Vladimiro Sassone: Two Algebraic Process Semantics for Contextual Nets. Unifying Petri Nets 2001: 427-456
20EERoberto Bruni, Ugo Montanari, Francesca Rossi: An interactive semantics of logic programming CoRR cs.LO/0107022: (2001)
19EERoberto Bruni, Fabio Gadducci: Some algebraic laws for spans. Electr. Notes Theor. Comput. Sci. 44(3): (2001)
18EERoberto Bruni, Ugo Montanari: Zero-safe net models for transactions in Linda. Electr. Notes Theor. Comput. Sci. 54: (2001)
17EERoberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: (2001)
16EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001)
15 Roberto Bruni, Ugo Montanari, Francesca Rossi: An interactive semantics of logic programming. TPLP 1(6): 647-690 (2001)
2000
14EERoberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari: Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274
13EERoberto Bruni, Vladimiro Sassone: Algebraic Models for Contextual Nets. ICALP 2000: 175-186
12EERoberto Bruni, Ugo Montanari: Executing Transactions in Zero-Safe Nets. ICATPN 2000: 83-102
11EERoberto Bruni, Ugo Montanari, Vladimiro Sassone: Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS 2000: 440-456
10 Roberto Bruni, Ugo Montanari: Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. Inf. Comput. 156(1-2): 46-89 (2000)
1999
9 Roberto Bruni, José Meseguer, Ugo Montanari: Executable Tile Specifications for Process Calculi. FASE 1999: 60-76
8EERoberto Bruni, Ugo Montanari: Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. LICS 1999: 246-265
7EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial semantics for Petri nets under the individual token philosophy. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
6EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244
5EERoberto Bruni, Fabio Gadducci, Ugo Montanari: Normal Forms for Partitions and Relations. WADT 1998: 31-47
4EERoberto Bruni: A logic for modular descriptions of asynchronous and synchronized concurrent systems. Electr. Notes Theor. Comput. Sci. 15: (1998)
3EERoberto Bruni, José Meseguer, Ugo Montanari: Internal strategies in a rewriting implementation of tile systems. Electr. Notes Theor. Comput. Sci. 15: (1998)
1997
2 Roberto Bruni, Ugo Montanari: Zero-safe nets: The individual token approach. WADT 1997: 122-140
1EERoberto Bruni, Ugo Montanari: Zero-safe nets, or transition synchronization made simple. Electr. Notes Theor. Comput. Sci. 7: (1997)

Coauthor Index

1Luis Filipe Andrade [28]
2Paolo Baldan [27] [28] [30] [40] [56] [59]
3Alberto Baragatti [57]
4Hubert Baumeister [28]
5Chiara Bodei [72]
6Michele Boreale [50] [65]
7Andrea Bracciali [30] [40] [56] [59]
8Linda Brodo [59] [72]
9Antonio Bucchiarone [62] [67]
10Michael J. Butler [44]
11Luís Caires [50]
12Andrea Corradini [28]
13Gian Luigi Ferrari (GianLuigi Ferrari) [43]
14Carla Ferreira [44]
15José Luiz Fiadeiro [28] [38]
16David de Frutos-Escrig [14]
17Fabio Gadducci [5] [19] [23] [28] [45]
18Stefania Gnesi [28] [62] [67]
19Dan Hirsch [67]
20C. A. R. Hoare (Tony Hoare) [44]
21Piotr Hoffman [28]
22Furio Honsell [17] [35]
23Nora Koch [28]
24Piotr Kosiuczenko [28]
25Ivan Lanese [38] [39] [46] [47] [50] [52] [61] [68]
26Cosimo Laneve [29]
27Alessandro Lapadula [28]
28Diego Latella [28]
29Marina Lenisa [17] [35]
30Alberto Lluch-Lafuente [58] [67] [70]
31Antónia Lopes [28] [38]
32Michele Loreti [28] [50] [64] [65]
33Narciso Martí-Oliet [14]
34Francisco Martins [50]
35Mieke Massink [28]
36Franco Mazzanti [28]
37Hernán C. Melgratti [31] [36] [37] [42] [43] [44] [49] [51] [53] [54] [55] [57] [62] [68]
38José Meseguer [3] [6] [7] [9] [16] [25] [26] [32] [33] [48]
39Leonardo Gaetano Mezzina [64] [69]
40Marino Miculan [17] [35]
41Ugo Montanari [1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [18] [20] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [34] [36] [37] [38] [41] [42] [43] [44] [45] [46] [47] [49] [50] [55] [57] [58] [60] [70]
42Rocco De Nicola [28] [50] [64] [65]
43Cristóvão Oliveira [28]
44Rosario Pugliese [28]
45António Ravara [50]
46Francesca Rossi [15] [20]
47Davide Sangiorgi [50]
48Donald Sannella [60]
49Vladimiro Sassone [6] [7] [11] [13] [16] [21] [32] [41] [66]
50Pawel Sobocinski [45]
51Giorgio Spagnolo [57]
52Daniele Strollo [43]
53Andrzej Tarlecki [28]
54Emilio Tuosto [43] [51] [58] [68]
55Dániel Varró [63]
56Vasco Thudichum Vasconcelos [50]
57Michel Wermelinger [28]
58Martin Wirsing [28]
59Karsten Wolf (Karsten Schmidt) [73]
60Gianluigi Zavattaro [50]
61Artur Zawlocki [28]

Colors in the list of coauthors

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