| Limits and difficulties in the design of under-approximation abstract domains
|
2022 |
Ascari, Flavio |
| On probability-raising causality in Markov decision processes
|
2022 |
Baier, Christel |
| Categorical composable cryptography
|
2022 |
Broadbent, Anne |
| First-order separation over countable ordinals
|
2022 |
Colcombet, Thomas |
| A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications
|
2022 |
Santo, José Espírito |
| Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy
|
2022 |
Fervari, Raul |
| Separators in Continuous Petri Nets
|
2022 |
Blondin, Michael |
| On the Translation of Automata to Linear Temporal Logic
|
2022 |
Boker, Udi |
| Quantifier elimination for counting extensions of Presburger arıthmetic
|
2022 |
Chistikov, Dmitry |
| Complete and tractable machine-independent characterizations of second-order polytime
|
2022 |
Hainry, Emmanuel |
| Variable binding and substitution for (nameless) dummies
|
2022 |
Hirschowitz, Andre |
| Uniform Guarded Fragments
|
2022 |
Jaakkola, Reijo |
| Model Checking Temporal Properties of Recursive Probabilistic Programs
|
2022 |
Winkler, Tobias |
| Sweedler Theory of Monads
|
2022 |
McDermott, Dylan |
| Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata
|
2022 |
Angluin, Dana |
| Graphical Piecewise-Linear Algebra
|
2022 |
Boisseau, Guillaume |
| Token Games and History-Deterministic Quantitative Automata
|
2022 |
Boker, Udi |
| A first-order logic characterisation of safety and co-safety languages
|
2022 |
Cimatti, Alessandro |
| Temporal Stream Logic modulo Theories
|
2022 |
Finkbeiner, Bernd |
| The Different Shades of Infinite Session Types
|
2022 |
Gay, Simon J. |
Tag hinzufügen