Roberto Bruni

	2012
97		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: A Conceptual Framework for Adaptation. FASE 2012: 240-254
	2011
96		Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone: Proceedings Fourth Interaction and Concurrency Experience ICE 2011
95		Roberto Bruni, Jürgen Dingel: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings Springer 2011
94		Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: A Connector Algebra for P/T Nets Interactions. CONCUR 2011: 312-326
93		Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference 2011: 19-38
92		Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo: Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM 2011: 111-127
91		Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152
90		Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira: Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231
89		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368
88		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: On Structured Model-Driven Transformations. Int. J. Software and Informatics 5(1-2): 185-206 (2011)
	2010
87		Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva: Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction ICE 2010
86		Roberto Bruni, Zhiming Liu, Liang Zhao: Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS 2010: 259-276
85		Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16
84		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86
83		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs. TGC 2010: 205-221
82		Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo: A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT 2010: 42-60
81		Roberto Bruni, Andrea Corradini, Ugo Montanari: Modeling a Service and Session Calculus with Hierarchical Graph Transformation. ECEASST 30: (2010)
80		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comp. Sci. 20: 53-96 (2010)
	2009
79		Roberto 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
78		Chiara Bodei, Linda Brodo, Roberto Bruni: Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87
77		Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing: A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469
76		Roberto Bruni: Calculi for Service-Oriented Computing. SFM 2009: 1-41
75		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: A Graph Syntax for Processes and Services. WS-FM 2009: 46-60
74		Roberto Bruni, Alberto Lluch-Lafuente: Ten virtues of structured graphs. ECEASST 18: (2009)
73		Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente: On Symbolic Semantics for Name-decorated Contexts. Electr. Notes Theor. Comput. Sci. 229(3): 37-58 (2009)
72		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
	2008
71		Roberto Bruni, Leonardo Gaetano Mezzina: Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. AMAST 2008: 100-115
70		Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto: Multiparty Sessions in SOC. COORDINATION 2008: 67-82
69		Roberto 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
68		Roberto Bruni, Vladimiro Sassone: Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models 2008: 503-509
67		Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
66		Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. TGC 2008: 69-86
65		Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
64		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Style-Based Architectural Reconfigurations. Bulletin of the EATCS 94: 161-180 (2008)
63		Roberto Bruni, Dániel Varró: Preface. Electr. Notes Theor. Comput. Sci. 211: 1-3 (2008)
62		Roberto 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)
61		Roberto 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
59		Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni: Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276
58		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
57		Alberto 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)
56		Paolo Baldan, Andrea Bracciali, Roberto Bruni: A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007)
	2006
55		Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309
54		Roberto Bruni, Hernán C. Melgratti: Non-sequential Behaviour of Dynamic Nets. ICATPN 2006: 105-124
53		Roberto Bruni, Hernán C. Melgratti: Dynamic Graph Transformation Systems. ICGT 2006: 230-244
52		Roberto Bruni, Ivan Lanese: PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149
51		Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto: Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137
50		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. WS-FM 2006: 38-57
49		Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Dynamic Graph Grammars. ECEASST 2: (2006)
48		Roberto Bruni, José Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
47		Roberto Bruni, Ivan Lanese, Ugo Montanari: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006)
	2005
46		Roberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
45		Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
44		Roberto 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
43		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. EPEW/WS-FM 2005: 272-286
42		Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220
41		Roberto Bruni, Ugo Montanari, Vladimiro Sassone: Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005)
	2004
40		Paolo Baldan, Andrea Bracciali, Roberto Bruni: Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17
39		Roberto 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
36		Roberto Bruni, Hernán C. Melgratti, Ugo Montanari: Flat Committed Join in Join. Electr. Notes Theor. Comput. Sci. 104: 39-59 (2004)
35		Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Modeling Fresh Names in the ?-calculus Using Abstractions. Electr. Notes Theor. Comput. Sci. 106: 25-41 (2004)
34		Roberto Bruni, Ugo Montanari: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3): 421-468 (2004)
	2003
33		Roberto Bruni, José Meseguer: Generalized Rewrite Theories. ICALP 2003: 252-266
32		Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
31		Roberto 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
30		Paolo Baldan, Andrea Bracciali, Roberto Bruni: Bisimulation by Unification. AMAST 2002: 254-270
29		Roberto Bruni, Cosimo Laneve, Ugo Montanari: Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337
28		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. WADT 2002: 1-33
27		Paolo Baldan, Roberto Bruni, Ugo Montanari: Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164
26		Roberto Bruni, José Meseguer, Ugo Montanari: Tiling Transactions in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: 90-109 (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)
24		Roberto 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
22		Roberto Bruni, Ugo Montanari: Transactions and Zero-Safe Nets. Unifying Petri Nets 2001: 380-426
21		Roberto Bruni, Vladimiro Sassone: Two Algebraic Process Semantics for Contextual Nets. Unifying Petri Nets 2001: 427-456
20		Roberto Bruni, Ugo Montanari, Francesca Rossi: An interactive semantics of logic programming CoRR cs.LO/0107022: (2001)
19		Roberto Bruni, Fabio Gadducci: Some algebraic laws for spans. Electr. Notes Theor. Comput. Sci. 44(3): 175-193 (2001)
18		Roberto Bruni, Ugo Montanari: Zero-safe net models for transactions in Linda. Electr. Notes Theor. Comput. Sci. 54: 106-116 (2001)
17		Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: 136-156 (2001)
16		Roberto 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
14		Roberto 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
13		Roberto Bruni, Vladimiro Sassone: Algebraic Models for Contextual Nets. ICALP 2000: 175-186
12		Roberto Bruni, Ugo Montanari: Executing Transactions in Zero-Safe Nets. ICATPN 2000: 83-102
11		Roberto 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
8		Roberto Bruni, Ugo Montanari: Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. LICS 1999: 246-265
7		Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial semantics for Petri nets under the individual token philosophy. Electr. Notes Theor. Comput. Sci. 29: 21 (1999)
	1998
6		Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244
5		Roberto Bruni, Fabio Gadducci, Ugo Montanari: Normal Forms for Partitions and Relations. WADT 1998: 31-47
4		Roberto Bruni: A logic for modular descriptions of asynchronous and synchronized concurrent systems. Electr. Notes Theor. Comput. Sci. 15: 161-172 (1998)
3		Roberto Bruni, José Meseguer, Ugo Montanari: Internal strategies in a rewriting implementation of tile systems. Electr. Notes Theor. Comput. Sci. 15: 263-284 (1998)
	1997
2		Roberto Bruni, Ugo Montanari: Zero-safe nets: The individual token approach. WADT 1997: 122-140
1		Roberto Bruni, Ugo Montanari: Zero-safe nets, or transition synchronization made simple. Electr. Notes Theor. Comput. Sci. 7: 55-74 (1997)

Coauthor Index

1	Lucia Acciai	[90]
2	Luis Filipe Andrade	[28]
3	Farhad Arbab	[65]
4	Paolo Baldan	[27] [28] [30] [40] [56] [59]
5	Alberto Baragatti	[57]
6	Hubert Baumeister	[28]
7	Simon Bliudze	[87] [96]
8	Chiara Bodei	[78] [90]
9	Michele Boreale	[50] [67] [90]
10	Artur Boronat	[85]
11	Andrea Bracciali	[30] [40] [56] [59] [73]
12	Linda Brodo	[59] [78]
13	Antonio Bucchiarone	[62] [69]
14	Michael J. Butler	[44]
15	Luís Caires	[50]
16	Marco Carbone	[96]
17	Dave Clarke (David G. Clarke)	[65]
18	Andrea Corradini	[28] [81] [84] [89] [92] [97]
19	Jürgen Dingel	[95]
20	Gian Luigi Ferrari (GianLuigi Ferrari)	[43] [92]
21	Carla Ferreira	[44]
22	José Luiz Fiadeiro	[28] [38]
23	Tito Flagella	[92]
24	Howard Foster	[91]
25	David de Frutos-Escrig	[14]
26	Fabio Gadducci	[5] [19] [23] [28] [45] [75] [80] [83] [84] [89] [97]
27	Stefania Gnesi	[28] [62] [69]
28	Davide Grohmann	[87]
29	Roberto Guanciale	[92]
30	Dan Hirsch	[69]
31	C. A. R. Hoare (Tony Hoare)	[44]
32	Piotr Hoffman	[28]
33	Matthias M. Hölzl	[77]
34	Furio Honsell	[17] [35]
35	Anne Kersten	[82]
36	Nora Koch	[28] [77]
37	Piotr Kosiuczenko	[28]
38	Ivan Lanese	[38] [39] [46] [47] [50] [52] [61] [65] [70] [82]
39	Cosimo Laneve	[29]
40	Alessandro Lapadula	[28]
41	Diego Latella	[28]
42	Marina Lenisa	[17] [35]
43	Zhiming Liu	[86]
44	Alberto Lluch-Lafuente	[58] [64] [69] [72] [73] [74] [75] [77] [80] [83] [84] [85] [88] [89] [91] [97]
45	Antónia Lopes	[28] [38]
46	Michele Loreti	[28] [50] [66] [67]
47	Narciso Martí-Oliet	[14]
48	Francisco Martins	[50]
49	Mieke Massink	[28]
50	Philip Mayer	[77]
51	Franco Mazzanti	[28]
52	Hernán C. Melgratti	[31] [36] [37] [42] [43] [44] [49] [51] [53] [54] [55] [57] [62] [70] [93] [94]
53	José Meseguer	[3] [6] [7] [9] [16] [25] [26] [32] [33] [48]
54	Leonardo Gaetano Mezzina	[66] [71]
55	Marino Miculan	[17] [35]
56	Ugo 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] [64] [65] [72] [77] [81] [84] [85] [88] [89] [91] [93] [94]
57	Rocco De Nicola	[28] [50] [66] [67]
58	Cristóvão Oliveira	[28]
59	Generoso Paolillo	[85]
60	Rosario Pugliese	[28]
61	António Ravara	[50]
62	Francesca Rossi	[15] [20]
63	Davide Sangiorgi	[50]
64	Donald Sannella	[60]
65	Vladimiro Sassone	[6] [7] [11] [13] [16] [21] [32] [41] [68]
66	Andreas Schroeder	[77]
67	Alexandra Silva	[87] [96]
68	Pawel Sobocinski	[45]
69	Giorgio Spagnolo	[57] [82] [92]
70	Daniele Strollo	[43]
71	Andrzej Tarlecki	[28]
72	Emilio Tuosto	[43] [51] [58] [70] [91]
73	Andrea Vandin	[97]
74	Dániel Varró	[63]
75	Vasco Thudichum Vasconcelos	[50]
76	Hugo Torres Vieira	[90]
77	Michel Wermelinger	[28]
78	Martin Wirsing	[28] [77]
79	Karsten Wolf (Karsten Schmidt)	[79]
80	Gianluigi Zavattaro	[50]
81	Artur Zawlocki	[28]
82	Liang Zhao	[86]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page