Paolo Baldan

	2011
76		César Rodríguez, Stefan Schwoon, Paolo Baldan: Efficient Contextual Unfolding. CONCUR 2011: 342-357
75		Paolo Baldan, Fabio Gadducci, Pawel Sobocinski: Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59
74		Paolo Baldan, Silvia Crafa: A Logic for True Concurrency CoRR abs/1110.4094: (2011)
73		Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König: A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011)
	2010
72		Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438
71		Paolo Baldan, Silvia Crafa: A Logic for True Concurrency. CONCUR 2010: 147-161
70		Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon: On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT 2010: 91-106
69		Paolo Baldan, Clara Bertolissi: Sharing in the Graph Rewriting Calculus. WADT 2010: 27-41
68		Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari: From Petri Nets to Graph Transformation Systems. ECEASST 26: (2010)
67		Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208(10): 1169-1192 (2010)
66		Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni: Petri nets for modelling metabolic pathways: a survey. Natural Computing 9(4): 955-989 (2010)
	2009
65		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
64		Paolo Baldan, Filippo Bonchi, Fabio Gadducci: Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114
	2008
63		Paolo Baldan, Fabio Gadducci: Petri Nets Are Dioids. AMAST 2008: 51-66
62		Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217
61		Paolo Baldan, Andrea Corradini, Barbara König: Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36
60		Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256
59		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273
58		Paolo Baldan, Barbara König: Workshop on Petri Nets and Graph Transformations. ICGT 2008: 467-469
57		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008)
56		Paolo Baldan, Barbara König: Preface. ECEASST 14: (2008)
55		Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: Towards a Sharing Strategy for the Graph Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 204: 111-127 (2008)
54		Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (2008)
53		Paolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008)
52		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Logical Methods in Computer Science 4(4): (2008)
51		Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon: McMillan's Complete Prefix for Contextual Nets. T. Petri Nets and Other Models of Concurrency 1: 199-220 (2008)
	2007
50		Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni: Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276
49		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
48		Paolo Baldan, Fabio Gadducci, Ugo Montanari: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1): 85-97 (2007)
47		Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007)
46		Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science 17(3): 363-406 (2007)
45		Paolo Baldan, Andrea Bracciali, Roberto Bruni: A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007)
	2006
44		Paolo Baldan, Fabio Gadducci, Ugo Montanari: Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294
43		Paolo Baldan, Stefan Haar, Barbara König: Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141
42		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216
41		Paolo Baldan, Hartmut Ehrig, Barbara König: Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167
40		Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214
39		Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469
38		Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
37		Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Foreword. ECEASST 2: (2006)
	2005
36		Paolo Baldan, Andrea Corradini: On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23
35		Paolo Baldan, Andrea Corradini, Ugo Montanari: Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electr. Notes Theor. Comput. Sci. 127(2): 5-28 (2005)
34		Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner: A Rewriting Calculus for Cyclic Higher-order Term Graphs. Electr. Notes Theor. Comput. Sci. 127(5): 21-41 (2005)
33		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional semantics for open Petri nets based on deterministic processe. Mathematical Structures in Computer Science 15(1): 1-35 (2005)
	2004
32		Paolo Baldan, Andrea Corradini, Barbara König: Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98
31		Paolo Baldan, Andrea Bracciali, Roberto Bruni: Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17
30		Paolo Baldan, Andrea Corradini, Fabio Gadducci: Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33
29		Paolo Baldan, Barbara König, Arend Rensink: Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
28		Paolo Baldan, Barbara König, Ingo Stürmer: Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. ICGT 2004: 194-209
27		Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König: Verifying a Behavioural Logic for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 104: 5-24 (2004)
26		Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004)
	2003
25		Paolo Baldan, Barbara König, Bernhard König: A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272
24		Fabio Alessi, Paolo Baldan, Furio Honsell: A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 290(1): 599-635 (2003)
	2002
23		Paolo Baldan, Andrea Bracciali, Roberto Bruni: Bisimulation by Unification. AMAST 2002: 254-270
22		Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002: 1-40
21		Paolo Baldan, Andrea Corradini, Ugo Montanari: Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190
20		Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
19		Paolo Baldan, Barbara König: Approximating the Behaviour of Graph Transformation Systems. ICGT 2002: 14-29
18		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
17		Paolo Baldan, Roberto Bruni, Ugo Montanari: Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164
16		Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184
	2001
15		Paolo Baldan, Andrea Corradini, Barbara König: A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395
14		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518
13		Paolo Baldan: Concurrency for Graph Grammars in a Petri net shell. Electr. Notes Theor. Comput. Sci. 51: 65-82 (2001)
12		Paolo Baldan, Andrea Corradini, Ugo Montanari: Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001)
	2000
11		Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457
	1999
10		Paolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89
9		Paolo Baldan, Andrea Corradini, Ugo Montanari: History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310
8		Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà: Basic Theory of F-Bounded Quantification. Inf. Comput. 153(1): 173-237 (1999)
	1998
7		Paolo Baldan, Andrea Corradini, Ugo Montanari: An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80
6		Paolo Baldan, Andrea Corradini, Ugo Montanari: Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295
5		Paolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163
4		Fabio Alessi, Paolo Baldan: A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. Theor. Comput. Sci. 193(1-2): 113-127 (1998)
	1997
3		Fabio Alessi, Paolo Baldan, Furio Honsell: Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT 1997: 478-489
	1995
2		Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten: Solutions of functorial and non-functorial metric domain equations. Electr. Notes Theor. Comput. Sci. 1: 1-12 (1995)
1		Fabio Alessi, Paolo Baldan, Gianna Bellè: A Fixed-Point Theorem in a Category of Compact Metric Spaces. Theor. Comput. Sci. 146(1&2): 311-320 (1995)

Coauthor Index

1	Fabio Alessi	[1] [2] [3] [4] [24]
2	Luis Filipe Andrade	[18]
3	Hubert Baumeister	[18]
4	Gianna Bellè	[1] [2]
5	Clara Bertolissi	[34] [46] [55] [69]
6	Filippo Bonchi	[64] [72] [73]
7	Andrea Bracciali	[23] [31] [45] [50]
8	Linda Brodo	[50]
9	Alessandro Bruni	[70]
10	Roberto Bruni	[17] [18] [23] [31] [45] [50]
11	Nadia Busi	[11] [26]
12	Thomas Chatain	[62] [67]
13	Horatiu Cirstea	[34] [46] [55]
14	Nicoletta Cocco	[66]
15	Andrea Corradini	[5] [6] [7] [9] [10] [11] [12] [14] [15] [16] [18] [21] [26] [27] [30] [32] [33] [35] [36] [38] [40] [42] [47] [49] [51] [52] [53] [54] [57] [59] [61] [65] [68] [70] [73]
16	Silvia Crafa	[71] [74]
17	Fernando Luís Dotti	[54]
18	Hartmut Ehrig	[14] [20] [33] [37] [39] [41] [49] [52] [57] [59] [60]
19	José Luiz Fiadeiro	[18]
20	Luciana Foss	[40] [54]
21	Fabio Gadducci	[18] [30] [40] [44] [48] [54] [63] [64] [68] [72] [75]
22	Giorgio Ghelli	[8]
23	Stefania Gnesi	[18]
24	Stefan Haar	[43] [62] [67]
25	Reiko Heckel	[14] [20] [33] [49] [52] [57]
26	Tobias Heindel	[42] [65] [73]
27	Piotr Hoffman	[18]
28	Kathrin Hoffmann	[20]
29	Furio Honsell	[3] [24]
30	Claude Kirchner	[34] [46] [55]
31	Nora Koch	[18]
32	Barbara König	[15] [19] [25] [27] [28] [29] [32] [38] [41] [42] [43] [49] [51] [52] [53] [56] [57] [58] [59] [60] [61] [62] [65] [67] [70] [73]
33	Bernhard König	[25] [27]
34	Piotr Kosiuczenko	[18]
35	Leen Lambers	[60]
36	Alessandro Lapadula	[18]
37	Diego Latella	[18]
38	Alberto Lluch-Lafuente	[38]
39	Antónia Lopes	[18]
40	Michele Loreti	[18]
41	Paolo Mancarella	[22]
42	Andrea Marin	[66]
43	Mieke Massink	[18]
44	Franco Mazzanti	[18]
45	Giacoma Valentina Monreale	[72]
46	Ugo Montanari	[5] [6] [7] [9] [10] [12] [16] [17] [18] [21] [35] [44] [47] [48] [68]
47	Rocco De Nicola	[18]
48	Cristóvão Oliveira	[18]
49	Julia Padberg	[20] [37] [39]
50	G. Michele Pinna	[11] [26]
51	Rosario Pugliese	[18]
52	Alessandra Raffaetà	[8] [22]
53	Guilherme Rangel	[60]
54	Arend Rensink	[29]
55	Leila Ribeiro (Leila Ribeiro Korff)	[16] [47] [54]
56	César Rodríguez	[76]
57	Grzegorz Rozenberg	[37] [39]
58	Jan J. M. M. Rutten	[2]
59	Stefan Schwoon	[51] [70] [76]
60	Marta Simeoni	[66]
61	Pawel Sobocinski	[42] [65] [75]
62	Ingo Stürmer	[28]
63	Andrzej Tarlecki	[18]
64	Franco Turini	[22]
65	Michel Wermelinger	[18]
66	Martin Wirsing	[18]
67	Artur Zawlocki	[18]

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