- Alternating Nominal Automata with Name Allocation Florian Frank Daniel Hausmann Stefan Milius Lutz Schrøder Henning Urbat Wed 14 August 2024
- PolyHorn: A Polynomial Horn Clause Solver Krishnendu Chatterjee Amir Kafshdar Goharshady Ehsan Kafshdar Goharshady Mehrdad Karrabi Milad Saadat Đorđe Žikelić Wed 14 August 2024
- Recent progress in an algebraic analysis approach to linear systems D. Robertz Fri 09 August 2024
- A Uniform Approach to Language Containment Problems Kyveli Doveri Thu 08 August 2024
- Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs Julian Müllner Marcel Moosbrugger Laura Kovács Wed 07 August 2024
- Realization Theory for Rational Systems: The Existence of Rational Realizations Jana Němcová Jan H. van Schuppen Fri 02 August 2024
- The Subspace Flatness Conjecture and Faster Integer Programming Victor Reis Thomas Rothvoss Thu 01 August 2024
- Satisfiability of commutative vs. non-commutative CSPs Andrei A. Bulatov Stanislav Živný Thu 01 August 2024
- Simple grammar bisimilarity, with an application to session type equivalence Diogo Poças Vasco T. Vasconcelos Thu 01 August 2024
- Determination Problems for Orbit Closures and Matrix Groups Rida Ait El Manssour George Kenison Mahsa Shirmohammadi James Worrell Thu 01 August 2024
- Specification and Automatic Verification of Computational Reductions Julien Grange Fabian Vehlken Nils Vortmeier Thomas Zeume Thu 01 August 2024
- Simulations and Bisimulations between Weighted Finite Automata Based on Time-Varying Models over Real Numbers Predrag S. Stanimirović Miroslav Ćirić Spyridon D. Mourtas Pavle Brzaković Darjan Karabašević Wed 31 July 2024
- Color Refinement for Relational Structures Benjamin Scheidt Nicole Schweikardt Wed 31 July 2024
- The Existential Theory of the Reals as a Complexity Class: A Compendium Marcus Schaefer Jean Cardinal Tillmann Miltzow Wed 31 July 2024
- A Cobham theorem for scalar multiplication Philipp Hieronymi Sven Manthe Chris Schulz Wed 31 July 2024
- On the Minimisation of Deterministic and History-Deterministic Generalised (co)Buchi Automata Antonio Casares Olivier Idir Denis Kuperberg Corto Mascle Aditya Prakash Wed 31 July 2024
- Reachability for Multi-Priced Timed Automata with Positive and Negative Rates Andrew Scoones Mahsa Shirmohammadi James Worrell Wed 31 July 2024
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories Christoph Haase Alessio Mansutti Amaury Pouly Wed 31 July 2024
- The Computational Complexity of Factored Graphs Shreya Gupta Boyang Huang Russell Impagliazzo Stanley Woo Christopher Ye Wed 31 July 2024
- A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL Richard Schmoetten Jacques D. Fleuriot Wed 31 July 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
