author-photo

Paolo Baldan

University of Padua
Ca' Foscari University of Venice
University of Pisa

174

Papers

2172

Citations

Citation Trend

Filter By

Papers (174) Sort By

Journal Conference Others

Characterising spectra of equivalences for event structures, logically

2022 Information & Computation
Show All
- Source
- Cite
- Save
Citations (0)
Intensional Kleene and Rice theorems for abstract program semantics

2022 Information & Computation
Show All
- Source
- Cite
- Save
Citations (0)
Behavioural logics for configuration structures.

2022 Theor. Comput. Sci.
Show All
- Source
- Cite
- Save
Citations (0)
A Rice's Theorem for Abstract Semantics

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Intensional Kleene and Rice Theorems for Abstract Program Semantics.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Un)Decidability for History Preserving True Concurrent Logics.

2021 MFCS | Mathematical Foundations of Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
A Rice’s Theorem for Abstract Semantics

2021 ICALP | International Colloquium on Automata, Languages and Programming
Show All
- Source
- Cite
- Save
Citations (0)
A Rice's Theorem for Abstract Semantics.

2021 ICALP | International Colloquium on Automata, Languages and Programming
Show All
- Source
- Cite
- Save
Citations (1)
Fixpoint Theory - Upside Down.

2021 FoSSaCS | Foundations of Software Science and Computation Structure
Show All
- Source
- Cite
- Save
Citations (2)
Fixpoint Theory -- Upside Down.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (1)