Sfoglia per Autore
A Lattice-Theoretical View of Strategy Iteration
2023 Baldan, P.; Eggert, R.; Konig, B.; Padoan, T.
A Monoidal View on Fixpoint Checks
2023 Baldan, Paolo; Eggert, Richard; König, Barbara; Matt, Timo; Padoan, Tommaso
Fixpoint Theory Upside-Down
2023 Baldan, P; Eggert, R; König, B; Padoan, T
Characterising Spectra of Equivalences for Event Structures, Logically
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Behavioural logics for configuration structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Intensional Kleene and Rice theorems for abstract program semantics
2022 Baldan, Paolo; Ranzato, Francesco; Zhang, Linpeng
(Un)Decidability for History Preserving True Concurrent Logics
2021 Baldan, Paolo; Carraro, Alberto; Padoan, Tommaso
A Rice’s Theorem for Abstract Semantics
2021 Baldan, Paolo; Ranzato, Francesco; Zhang, Linpeng
Concurrent semantics for fusions: Weak prime domains and connected event structures
2021 Baldan, P.; Corradini, A.; Gadducci, F.
Fixpoint theory – upside down
2021 Baldan, P.; Eggert, R.; Konig, B.; Padoan, T.
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations
2020 Baldan, Paolo; König, Barbara; Padoan, Tommaso
Model Checking a Logic for True Concurrency
2020 Baldan, Paolo; Padoan, Tommaso
Minimisation of event structures
2019 Baldan, P.; Raffaeta, A.
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
2019 Baldan, Paolo; Gadducci, Fabio
Fixpoint games on continuous lattices
2019 Baldan, Paolo; König, Barbara; Mika-Michalski, Christina; Padoan, Tommaso
Automata for true concurrency properties
2018 Baldan, Paolo; Padoan, Tommaso
Multilevel transitive and intransitive non-interference, causally
2018 Baldan, Paolo; Beggiato, Alessandro
Coalgebraic Behavioral Metrics
2018 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
Many-to-many information flow policies
2018 Baldan, Paolo; Lluch Lafuente, Alberto
Event structures for Petri nets with persistence
2018 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile