Concepedia

Paolo Baldan

PB

23

Publications

660

Citations

13

H-Index

1995

Active since

Affiliations

University of Padua(Current)

University of Pisa

Ca' Foscari University of Venice

Institut national de recherche en sciences et technologies du numérique

University of Stuttgart

Paolo Baldan is an author at University of Padua specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringDiscrete MathematicsMathematical FoundationsMathematical ProgrammingSemantics

Publications per year

1995–2020

23

Publications

23

Contextual Petri Nets, Asymmetric Event Structures, and Processes

Paolo Baldan, Andrea Corradini, Ugo Montanari · Information and Computation · 2001 · 114 citations · Full text

Petri Net, Engineering, Contextual Petri Nets +6

Petri nets for modelling metabolic pathways: a survey

Paolo Baldan, Nicoletta Cocco, Andrea Marin et al. · Natural Computing · 2010 · 112 citations · Full text

Metabolic Network, Systems Biology, Engineering +9

Domain and event structure semantics for Petri nets with read and inhibitor arcs

Paolo Baldan, Nadia Busi, Andrea Corradini et al. · Theoretical Computer Science · 2004 · 62 citations · Full text

Petri Net, Event-driven Architecture, Engineering +13

Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars

Paolo Baldan · 2000 · 54 citations

A Logic for True Concurrency

Paolo Baldan, Silvia Crafà · Journal of the ACM · 2014 · 35 citations

Engineering, Automated Reasoning, Verification +13

Rows per page

1–5 of 23