- A coherent differential PCF Thomas Ehrhard Wed 19 April 2023
- Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata Mikołaj Bojańczyk Joanna Fijalkow Bartek Klin Joshua Moerman Tue 18 April 2023
- About the Expressive Power and Complexity of Order-Invariance with Two Variables Bartosz Bednarczyk Julien Grange Tue 18 April 2023
- Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems Jiang Liu Naijun Zhan Hengjun Zhao Tue 18 April 2023
- Computing Semi-Algebraic Invariants for Polynomial Dynamical Systems Jiang Liu Naijun Zhan Hengjun Zhao Tue 18 April 2023
- A Method for Invariant Generation for Polynomial Continuous Systems Andrew Sogokon Khalil Ghorbal Paul B. Jackson André Platzer Tue 18 April 2023
- A language for evaluating derivatives of functionals using automatic differentiation Pietro Di Gianantonio Abbas Edalat Ran Gutin Tue 18 April 2023
- Cost Automata, Safe Schemes, and Downward Closures David Barozzini Lorenzo Clemente Thomas Colcombet Paweł Parys Tue 18 April 2023
- Transduction of Automatic Sequences and Applications Jeffrey Shallit Anatoly Zavyalov Mon 17 April 2023
- Complementation: a bridge between finite and infinite proofs Gilles Dowek Ying Jiang Mon 17 April 2023
- The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete) Laure Daviaud David Purser Mon 17 April 2023
- Reasoning about Regular Properties: A Comparative Study Tomáš Fiedor Lukáš Holík Martin Hruška Adam Rogalewicz Juraj Síč Pavol Vargovčík Mon 17 April 2023
- Markov Chains and Unambiguous Automata Christel Baier Stefan Kiefer Joachim Klein David Muller James Worrell Mon 17 April 2023
- Making Concurrency Functional Glynn Winskel Mon 17 April 2023
- Circular (Yet Sound) Proofs Albert Atserias Massimo Lauria Mon 17 April 2023
- On algorithmically boosting fixed-point computations Ioannis Avramopoulos Nikolaos Vasiloglou Mon 17 April 2023
- Inapproximability of sufficient reasons for decision trees Alexander Kozachinskiy Sat 08 April 2023
- A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier Chad E. Brown Mikolas Janota Josef Urban Sat 08 April 2023
- Playing Stochastically in Weighted Timed Games to Emulate Memory Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Sat 08 April 2023
- Wilkie's conjecture for restricted elementary functions Gal Binyamini Dmitri Novikov Thu 06 April 2023
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
