- The uniform measure of simple regular sets of infinite trees Marcin Przybyłko Michał Skrzypczak Fri 25 June 2021
- Optimal Fine-grained Hardness of Approximation of Linear Equations Mitali Bafna Nikhil Vyas Fri 25 June 2021
- Semiring Provenance for Buchi Games: Strategy Analysis with Absorptive Polynomials Erich Gradel Niels Lucking Matthias Naaf Fri 25 June 2021
- Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software Satoshi Yamane Thu 27 May 2021
- Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties Jun Liu Wed 26 May 2021
- Synthesizing Clock-Efficient Timed Automata Neda Saeedloei Feliks Klużniak Mon 24 May 2021
- Clock Allocation in Timed Automata and Graph Colouring Neda Saeedloei Feliks Kluundefinedniak Mon 24 May 2021
- Transducer Synthesis from Universal Register Automata in (N,>) Ayrat Khalimov Emmanuel Filiot Léo Exibard Mon 24 May 2021
- Review: B. A. Trahtenbrot, Impossibility of an Algorithm for the Decision Problem in Finite Classes Andrzej Mostowski Sun 23 May 2021
- Intuitionistic linear logic and partial correctness D. Kozen J. Tiuryn Thu 20 May 2021
- First-Order Interpretations of Bounded Expansion Classes Jakub Gajarský Stephan Kreutzer Jaroslav NešETřil Patrice Ossona De Mendez Michał Pilipczuk Sebastian Siebertz Szymon Toruńczyk Wed 19 May 2021
- Towards an arboretum of monadically stable classes of graphs Jaroslav Nesetril Patrice Ossona de Mendez Sebastian Siebertz Wed 19 May 2021
- On the number of types in sparse graphs Michał Pilipczuk Sebastian Siebertz Szymon Toruńczyk Wed 19 May 2021
- Erdős-Hajnal properties for powers of sparse graphs Marcin Briański Piotr Micek Michał Pilipczuk Michał T. Seweryn Wed 19 May 2021
- Comparison-free polyregular functions Lê Thành Dung Nguy~ên Camille Noûs Pierre Pradic Wed 19 May 2021
- Improved Ackermannian lower bound for the VASS reachability problem Sławomir Lasota Wed 19 May 2021
- Computability with low-dimensional dynamical systems Pascal Koiran Michel Cosnard Max Garzon Tue 18 May 2021
- Operations on Unambiguous Finite Automata Jozef Jirásek Galina Jirásková Juraj Šebej Tue 18 May 2021
- On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques Emil Indzhev Stefan Kiefer Tue 18 May 2021
- Linear Time Logic Control of Discrete-Time Linear Systems Paulo Tabuada George J. Pappas Mon 17 May 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A