0 | -- | 0 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi. Variable binding and substitution for (nameless) dummies |
0 | -- | 0 | Bineet Ghosh, Étienne André. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model |
0 | -- | 0 | Renaud Vilmart. Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing |
0 | -- | 0 | Thomas Powell. Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language |
0 | -- | 0 | Dylan McDermott, Alan Mycroft. Galois connecting call-by-value and call-by-name |
0 | -- | 0 | Leroy Chew, Friedrich Slivovsky. Towards Uniform Certification in QBF |
0 | -- | 0 | Kiraku Shintani, Nao Hirokawa. Compositional Confluence Criteria |
0 | -- | 0 | Michael Blondin, Javier Esparza. Separators in Continuous Petri Nets |
0 | -- | 0 | Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002. A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct |
0 | -- | 0 | Christel Baier, Jakob Piribauer, Robin Ziemek. Foundations of probability-raising causality in Markov decision processes |
0 | -- | 0 | Delia Kesner, Loïc Peyrot, Daniel Ventura. Node Replication: Theory And Practice |
0 | -- | 0 | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen. revTPL: The Reversible Temporal Process Language |
0 | -- | 0 | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala. The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete |
0 | -- | 0 | Stefan S. Dantchev, Nicola Galesi, Abdul Ghani 0001, Barnaby Martin. Depth lower bounds in Stabbing Planes for combinatorial principles |
0 | -- | 0 | Erich Grädel, Niels Lücking, Matthias Naaf. Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials |
0 | -- | 0 | Thomas Colcombet, Nathanaël Fijalkow, Florian Horn 0001. Playing Safe, Ten Years Later |
0 | -- | 0 | Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon. Linear Programs with Conjunctive Database Queries |
0 | -- | 0 | Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy 0002. Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise |
0 | -- | 0 | Bart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche. Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests |
0 | -- | 0 | Marcelo Fiore, Zeinab Galal, Hugo Paquet. Stabilized profunctors and stable species of structures |
0 | -- | 0 | Natanael Alpay, Peter Jipsen, Melissa Sugimoto. Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras |
0 | -- | 0 | Marc Hermes, Dominik Kirst. An Analysis of Tennenbaum's Theorem in Constructive Type Theory |
0 | -- | 0 | Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi. Deciding Equations in the Time Warp Algebra |