BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Baldan:Paolo

Contributed to:

ICGT 20102010
ICGT 20082008
FoSSaCS 20062006
GT-VMT 20062008
ICGT 20062006
ICGT 20042004
SAS 20032003
ICGT 20022002
FoSSaCS 19991999
FoSSaCS 19981998
ICALP 19981998
TAGT 19981998
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.