- Soundness of reset workflow nets Michael Blondin Alain Finkel Piotr Hofman Filip Mazowiecki Philip Offtermatt Sun 09 March 2025
- On Decidability Timed Automata with 2 Parametric Clocks Marcello M. Bersani Matteo Rossi Pierluigi San Pietro Sun 09 March 2025
- Substructural Parametricity C.~B. Aberlé Chris Martens Frank Pfenning Sun 09 March 2025
- Denotational Semantics for Probabilistic and Concurrent Programs Noam Zilberstein Daniele Gorla Alexandra Silva Sun 09 March 2025
- On describing trees and quasi-trees from their leaves Bruno Courcelle Sun 09 March 2025
- Classification and degenerations of small minimal border rank tensors via modules Jakub Jagiełła Joachim Jelisiejew Sun 09 March 2025
- Existential and positive games: a comonadic and axiomatic view Samson Abramsky Thomas Laure Luca Reggio Sun 09 March 2025
- Lexicographic transductions of finite words Emmanuel Filiot Pierre-Alain Reynier Nathan Lhote Sun 09 March 2025
- Reduction of the group isomorphism problem to the group automorphism problem Saveliy V. Skresanov Sun 09 March 2025
- The Structural Complexity of Matrix-Vector Multiplication Emile Anand Jan van den Brand Rose McCarty Sun 09 March 2025
- Bounded First-Class Universe Levels in Dependent Type Theory Jonathan Chan Stephanie Weirich Mon 03 March 2025
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back Kevin Batz Joost-Pieter Katoen Francesca Randone Tobias Winkler Mon 03 March 2025
- A Compositional Atlas for Algebraic Circuits Benjie Wang Denis Deratani Mauá Guy Van den Broeck YooJung Choi Mon 03 March 2025
- An excursion into Dialectica and Differentiation Davide Barbarossa Mon 03 March 2025
- Logic.py: Bridging the Gap between LLMs and Constraint Solvers Pascal Kesseli Peter O'Hearn Ricardo Silveira Cabral Mon 03 March 2025
- Resolving Nondeterminism with Randomness Thomas A. Henzinger Aditya Prakash K. S. Thejaswini Wed 26 February 2025
- The Agafonov and Schnorr-Stimm theorems for probabilistic automata Laurent Bienvenu Hugo Gimbert Subin Pulari Wed 26 February 2025
- Continuity of Formal Power Series Products in Nonlinear Control Theory W. Steven Gray Mathias Palmstrøm Alexander Schmeding Tue 25 February 2025
- Reachability in Trace-Pushdown Systems Chris Køcher Dietrich Kuske Tue 25 February 2025
- Constant-delay enumeration for SLP-compressed documents Martín Muñoz Cristian Riveros Tue 25 February 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
