- A Spectrum of Approximate Probabilistic Bisimulations Timm Spork Christel Baier Joost-Pieter Katoen Jakob Piribauer Tim Quatmann Mon 15 July 2024
- Completeness of Finitely Weighted Kleene Algebra With Tests Igor Sedlár Mon 15 July 2024
- The single-use restriction for register automata and transducers over infinite alphabets Rafał Stefański Mon 15 July 2024
- On Tree Automata, Generating Functions, and Differential Equations Rida Ait El Manssour Vincent Cheval Mahsa Shirmohammadi James Worrell Sat 13 July 2024
- Risk-averse optimization of total rewards in Markovian models using deviation measures Christel Baier Jakob Piribauer Maximilian Starke Thu 11 July 2024
- An algorithmic version of the Hajnal--Szemerédi theorem Luyining Gan Jie Han Jie Hu Thu 11 July 2024
- Domain theory in univalent foundations I: Directed complete posets and Scott's Dinfty Tom de Jong Thu 11 July 2024
- Domain theory in univalent foundations II: Continuous and algebraic domains Tom de Jong Martín Høtzel Escardó Thu 11 July 2024
- An automata-based approach for synchronizable mailbox communication Romain Delpy Anca Mushcoll Grégoire Sutre Thu 11 July 2024
- Integer Linear-Exponential Programming in NP by Quantifier Elimination Dmitry Chistikov Alessio Mansutti Mikhail R. Starchak Thu 11 July 2024
- On the Decidability of Presburger Arithmetic Expanded with Powers Toghrul Karimov Florian Luca Joris Nieuwveld Joel Ouaknine James Worrell Thu 11 July 2024
- Left-Linear Rewriting in Adhesive Categories Paolo Baldan Davide Castelnovo Andrea Corradini Fabio Gadducci Thu 11 July 2024
- Guarded Successor: A Novel Temporal Logic Ohad Asor Thu 11 July 2024
- Weighted basic parallel processes and combinatorial enumeration Lorenzo Clemente Wed 10 July 2024
- Inversion height in free fields C. Reutenauer Fri 05 July 2024
- The Inversion Height of the Free Field is Infinite Dolors Herbera Javier Sánchez Fri 05 July 2024
- The inversion height of the free field is infinite Dolors Herbera Javier Sánchez Fri 05 July 2024
- A Special Case of Rational Identity Testing and the Brešar-Klep Theorem V. Arvind Abhranil Chatterjee Rajit Datta Partha Mukhopadhyay Fri 05 July 2024
- On Shuffling and Splitting Automata Ignacio Mollo Cunningham Fri 05 July 2024
- Monads, Comonads, and Transducers Rafał Stefański Fri 05 July 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
