Travelled to:1 × Austria
1 × Brazil
1 × Denmark
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
1 × USA
1 × United Kingdom
2 × The Netherlands
Collaborated with:B.König A.Corradini U.Montanari H.Ehrig L.Foss F.Gadducci S.Haar I.Stürmer B.König F.Alessi F.Honsell B.K.0001 Christina Mika-Michalski Tommaso Padoan A.Bruni S.Schwoon G.Rangel L.Lambers T.Heindel P.Sobocinski F.L.Dotti L.Ribeiro
Talks about:graph (9) transform (5) process (5) unfold (4) system (4) net (4) structur (3) grammar (3) event (3) transact (2)
Person: Paolo Baldan
DBLP: Baldan:Paolo
Contributed to:
20102008
2006
200820062004
2003200219991998
19981998
1997
2019Wrote 17 papers:
- ICGT-2010-BaldanBCKS #graph grammar #on the
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.
- ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process
- Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
- ICGT-2008-RangelLKEB #behaviour #refactoring #using
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.
- FoSSaCS-2006-BaldanCHKS #process #term rewriting
- Processes for Adhesive Rewriting Systems (PB, AC, TH, BK, PS), pp. 202–216.
- FoSSaCS-2006-BaldanHK #distributed #petri net
- Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
- GT-VMT-2006-BaldanCDFGR08 #graph grammar #towards #transaction
- Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.
- ICGT-2006-BaldanCFG #graph #process #transaction
- Graph Transactions as Processes (PB, AC, LF, FG), pp. 199–214.
- ICGT-2006-BaldanEK #composition
- Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.
- ICGT-2004-BaldanKS #code generation #generative #graph transformation #testing
- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems (PB, BK, IS), pp. 194–209.
- SAS-2003-BaldanKK #abstraction #graph transformation #logic
- A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.
- ICGT-2002-BaldanK #approximate #behaviour #graph transformation
- Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.
- FoSSaCS-1999-BaldranCM #graph grammar #semantics
- Unfolding and Event Structure Semantics for Graph Grammars (PB, AC, UM), pp. 73–89.
- FoSSaCS-1998-BaldanCM #semantics #symmetry
- An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures (PB, AC, UM), pp. 63–80.
- ICALP-1998-BaldanCM #graph #process
- Concatenable Graph Processes: Relating Processes and Derivation Traces (PB, AC, UM), pp. 283–295.
- TAGT-1998-BaldanCM #graph grammar
- Unfolding of Double-Pushout Graph Grammars is a Coreflection (PB, AC, UM), pp. 145–163.
- TAPSOFT-1997-AlessiBH #using
- Partializing Stone Spaces using SFP Domains (Extended Abstract) (FA, PB, FH), pp. 478–489.
- POPL-2019-BaldanKMP #fixpoint #game studies
- Fixpoint games on continuous lattices (PB, BK0, CMM, TP), p. 29.