- Minimizing Cost Register Automata over a Field Yahia Idriss Benalioua Nathan Lhote Pierre-Alain Reynier Tue 27 August 2024
- The effect of basis on size of Boolean expressions V. R. Pratt Thu 22 August 2024
- On the representation of non-holonomic univariate power series Bertrand Teguia Tabuguia Wolfram Koepf Thu 22 August 2024
- D-Algebraic Functions Rida Ait El Manssour Anna-Laura Sattelberger Bertrand Teguia Tabuguia Thu 22 August 2024
- Computing with Hypergeometric-Type Terms Bertrand Teguia Tabuguia Wed 21 August 2024
- Operations for D-Algebraic Functions Bertrand Teguia Tabuguia Wed 21 August 2024
- Arithmetic of D-algebraic functions Bertrand Teguia Tabuguia Wed 21 August 2024
- Differential transcendence & algebraicity criteria for the series counting weighted quadrant walks Thomas Dreyfus Kilian Raschel Wed 21 August 2024
- Effective difference elimination and Nullstellensatz Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Wed 21 August 2024
- Dual Adjunction Between Omega-Automata and Wilke Algebra Quotients Anton Chernev Helle Hvid Hansen Clemens Kupke Wed 14 August 2024
- Cellular Automata: From Black-and-White to High Gloss Color Martin Kutrib Andreas Malcher Wed 14 August 2024
- Rational weighted tree languages with storage Frederic Dörband Zoltán Fülöp Heiko Vogler Wed 14 August 2024
- Cascade products and Wheeler automata Giovanna DAgostino Luca Geatti Davide Martincigh Alberto Policriti Wed 14 August 2024
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction Paul Eichler Swen Jacobs Chana Weil-Kennedy Wed 14 August 2024
- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives Raphael Berthon Joost-Pieter Katoen Tobias Winkler Wed 14 August 2024
- Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents Julian Gutierrez David Hyland Muhammad Najib Giuseppe Perelli Michael Wooldridge Wed 14 August 2024
- Parameterized Verification of Timed Networks with Clock Invariants Étienne André Swen Jacobs Shyam Lal Karra Ocan Sankur Wed 14 August 2024
- Algorithms for Markov Binomial Chains Alejandro Alarcón Gonzalez Niel Hens Tim Leys Guillermo A. Pérez Wed 14 August 2024
- Extension preservation on dense graph classes Ioannis Eleftheriadis Wed 14 August 2024
- Symmetric powers: structure, smoothability, and applications Cosimo Flavi Joachim Jelisiejew Mateusz Michałek Wed 14 August 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
