Paolo Baldan

Identifiers

• name variant Paolo Baldan 0.60 · backfill

Papers (7)

1. A Program Logic for Abstract (Hyper)Properties cs.LO · 2026 · author #1
2. Minimisation of Event Structures cs.LO · 2019 · author #1
3. Towards Trace Metrics via Functor Lifting cs.LO · 2015 · author #1
4. Behavioral Metrics via Functor Lifting cs.LO · 2014 · author #1
5. Reduction of Event Structures under History Preserving Bisimulation cs.LO · 2014 · author #2
6. A Logic for True Concurrency cs.LO · 2011 · author #1
7. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets cs.LO · 2008 · author #1

Mentions

• 1410.3385 #1 · backfill · confidence 0.70 Paolo Baldan
• 1403.7181 #2 · backfill · confidence 0.70 Paolo Baldan
• 1110.4094 #1 · backfill · confidence 0.70 Paolo Baldan
• 0809.4115 #1 · backfill · confidence 0.70 Paolo Baldan

Frequent Coauthors

• Barbara K\"onig 3 shared papers
• Filippo Bonchi 2 shared papers
• Henning Kerstan 2 shared papers
• Abel Armas-Cervantes 1 shared papers
• Alessandra Raffaet\`a 1 shared papers
• Andrea Corradini 1 shared papers
• Diletta Rigo 1 shared papers
• Francesco Ranzato 1 shared papers
• Hartmut Ehrig 1 shared papers
• Luciano Garcia-Ba\~nuelos 1 shared papers
• Reiko Heckel 1 shared papers
• Roberto Bruni 1 shared papers
• Silvia Crafa 1 shared papers