- POPACheck: a Model Checker for probabilistic Pushdown Automata Francesco Pontiggia Ezio Bartocci Michele Chiari Sat 08 February 2025
- Weighted HOM-Problem for Nonnegative Integers Andreas Maletti Andreea-Teodora Nász Erik Paul Thu 06 February 2025
- Nonnegativity Problems for Matrix Semigroups Julian D'Costa Joël Ouaknine James Worrell Thu 06 February 2025
- On the Hardness of PosSLP Peter Bürgisser Gorav Jindal Tue 04 February 2025
- On the Order of Power Series and the Sum of Square Roots Problem Gorav Jindal Louis Gaillard Tue 04 February 2025
- The Algebro-Geometric Method for Solving Algebraic Differential Equations A Survey Franz Winkler Tue 04 February 2025
- Some new results on decidability for elementary algebra and geometry Robert M. Solovay R.D. Arthan John Harrison Tue 04 February 2025
- Weihrauch problems as containers Cécilia Pradic Ian Price Fri 31 January 2025
- Graphs of unbounded linear cliquewidth must transduce all trees Mikołaj Bojanczyk Pierre Ohlmann Fri 31 January 2025
- Model-checking real-time systems: revisiting the alternating automaton route Patricia Bouyer B Srivathsan Vaishnavi Vishwanath Fri 31 January 2025
- The equational theory of the Weihrauch lattice with (iterated) composition Cécilia Pradic Fri 31 January 2025
- The Algebra of Parity Games Robin Piedeleu Fri 31 January 2025
- On Quantitative Substitutional Analysis Alfred Young Wed 29 January 2025
- A walk in the noncommutative garden Alain Connes Matilde Marcolli Wed 29 January 2025
- Minimal polynomial realizations Zbigniew Bartosiewicz Wed 29 January 2025
- On minimal realizations: A polynomial approach A.C. Antoulas Wed 29 January 2025
- On Rational State Space Realizations K. Forsman Wed 29 January 2025
- Synthesis of Infinite State Systems Ohad Drucker Alexander Rabinovich Wed 29 January 2025
- Completing the picture for the Skolem Problem on order-4 linear recurrence sequences Piotr Bacik Wed 29 January 2025
- The structure of polynomial growth for tree automata/transducers and MSO set queries Paul Gallot Nathan Lhote Lê Thành Dũng Nguyên Wed 29 January 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
