E-LIB Suche - Ergebnisse für: Baldan, Paolo

1

Fixpoint Theory -- Upside Down:

Baldan, Paolo ; Eggert, Richard ; König, Barbara.
Logical Methods in Computer Science. 19, Issue 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

A Monoidal View on Fixpoint Checks:

, In: Graph Transformation; Lecture Notes in Computer Science,

Baldan, Paolo ; Eggert, Richard ; König, Barbara.. - p. 3-21 , 2023

Link: https://doi.org/10.1007/..

3

Characterising spectra of equivalences for event structures..:

Baldan, Paolo ; Gorla, Daniele ; Padoan, Tommaso.
Information and Computation. 285 (2022) - p. 104887 , 2022

Link: https://doi.org/10.1016/..

4

Behavioural logics for configuration structures:

Baldan, Paolo ; Gorla, Daniele ; Padoan, Tommaso.
Theoretical Computer Science. 913 (2022) - p. 94-112 , 2022

Link: https://doi.org/10.1016/..

5

Intensional Kleene and Rice theorems for abstract program s..:

Baldan, Paolo ; Ranzato, Francesco ; Zhang, Linpeng
Information and Computation. 289 (2022) - p. 104953 , 2022

Link: https://doi.org/10.1016/..

6

Minimisation of event structures:

Baldan, Paolo ; Raffaetà, Alessandra
Theoretical Computer Science. 935 (2022) - p. 174-199 , 2022

Link: https://doi.org/10.1016/..

7

Concurrent semantics for fusions: Weak prime domains and co..:

Baldan, Paolo ; Corradini, Andrea ; Gadducci, Fabio
Information and Computation. 281 (2021) - p. 104770 , 2021

Link: https://doi.org/10.1016/..

8

Fixpoint Theory – Upside Down:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Baldan, Paolo ; Eggert, Richard ; König, Barbara. - p. 62-81 , 2021

Link: https://doi.org/10.1007/..

9

Exploratory study of the glassy landscape near jamming:

Artiaco, Claudia ; Baldan, Paolo ; Parisi, Giorgio
Physical Review E. 101 (2020) 5 - p. , 2020

Link: https://doi.org/10.1103/..

10

Model Checking a Logic for True Concurrency:

Baldan, Paolo ; Padoan, Tommaso
ACM Transactions on Computational Logic (TOCL). 21 (2020) 4 - p. 1-49 , 2020

Link: https://dl.acm.org/doi/1..

11

Model Checking a Logic for True Concurrency:

Baldan, Paolo ; Padoan, Tommaso
ACM Transactions on Computational Logic. 21 (2020) 4 - p. 1-49 , 2020

Link: https://doi.org/10.1145/..

12

Fixpoint games on continuous lattices:

Baldan, Paolo ; König, Barbara ; Mika-Michalski, Christina.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

13

Fixpoint games on continuous lattices:

Baldan, Paolo ; König, Barbara ; Mika-Michalski, Christina.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

14

Petri nets are dioids: a new algebraic foundation for non-d..:

Baldan, Paolo ; Gadducci, Fabio
Acta Informatica. 56 (2018) 1 - p. 61-92 , 2018

Link: https://doi.org/10.1007/..

15

Multilevel transitive and intransitive non-interference, ca..:

Baldan, Paolo ; Beggiato, Alessandro
Theoretical Computer Science. 706 (2018) - p. 54-82 , 2018

Link: https://doi.org/10.1016/..