| When Programs Have to Watch Paint Dry
|
2023 |
Ahman, Danel |
| A Strict Constrained Superposition Calculus for Graphs
|
2023 |
Echahed, Rachid |
| Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains
|
2023 |
Rady, Amgad |
| Quantitative Safety and Liveness
|
2023 |
Henzinger, Thomas A. |
| On the Comparison of Discounted-Sum Automata with Multiple Discount Factors
|
2023 |
Boker, Udi |
| Compositional Learning for Interleaving Parallel Automata
|
2023 |
Labbaf, Faezeh |
| Pebble minimization: the last theorems
|
2023 |
Douéneau-Tabot, Gaëtan |
| An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
|
2023 |
Le, Quang Loc |
| On the Existential Arithmetics with Addition and Bitwise Minimum
|
2023 |
Starchak, Mikhail R. |
| On History-Deterministic One-Counter Nets
|
2023 |
Prakash, Aditya |
| Preservation and Reflection of Bisimilarity via Invertible Steps
|
2023 |
Turkenburg, Ruben |
| Fixed Points and Noetherian Topologies
|
2023 |
Lopez, Aliaume |
| Just Testing
|
2023 |
Glabbeck, Rob van |
| Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives
|
2023 |
Bordais, Benjamin |
| Deciding Contextual Equivalence of v-Calculus with Effectful Contexts
|
2023 |
Hirschkoff, Daniel |
| Kantorovich Functors and Characteristic Logics for Behavioural Distances
|
2023 |
Goncharov, Sergey |
| A Formal Logic for Formal Category Theory
|
2023 |
New, Max S. |
| A Logical Framework with Higher-Order Rational (Circular) Terms
|
2023 |
Chen, Zhibo |
| A Programming Language Characterizing Quantum Polynomial Time
|
2023 |
Hainry, Emmanuel |
| Coverability in 2-VASS with One Unary Counter is in NP
|
2023 |
Mazowiecki, Filip |
Tag hinzufügen