- Automatic Structures: Twenty Years Later Erich Grädel Tue 28 October 2025
- Minimal identities for algebras A. S. Amitsur J. Levitzki Tue 28 October 2025
- A Theorem of Polynomial Identities J. Levitzki Tue 28 October 2025
- On the Power of Symmetric Linear Programs Albert Atserias Anuj Dawar Joanna Ochremiak Thu 23 October 2025
- Polynomial time solutions of some problems of computational algebra K Friedl L Rónyai Thu 16 October 2025
- The commutativity problem for effective varieties of formal series, and applications Lorenzo Clemente Fri 10 October 2025
- Undone Science: Charting Social Movement and Civil Society Challenges to Research Agenda Setting Scott Frickel Sahra Gibbon Jeff Howard Joanna Kempner Gwen Ottinger David J. Hess Sun 05 October 2025
- Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos Sun 24 August 2025
- On Synthesis of Distributed Monitors (Invited Talk) Anca Muscholl Sun 24 August 2025
- Baxter Algebras and Shuffle Products Li Guo William Keigher Tue 19 August 2025
- Geometry and dynamics of the SchurCohn stability algorithm for one variable polynomials Baltazar Aguirre-Hernández Martín Eduardo Frías-Armenta Jesús Muciño-Raymundo Wed 16 July 2025
- Reachability types: tracking aliasing and separation in higher-order functional programs Yuyan Bao Guannan Wei Oliver Bračevac Yuxuan Jiang Qiyang He Tiark Rompf Sun 06 July 2025
- On the computability of conditional probability Nathanael L. Ackerman Cameron E. Freer Daniel M. Roy Sat 05 July 2025
- Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems Olivier Carton Jean-Michel Couvreur Martin Delacourt Nicolas Ollinger Sat 05 July 2025
- Reachability in symmetric VASS Łukasz Kamiński Sławomir Lasota Sat 05 July 2025
- GQL in Academia: a Progress Report Leonid Libkin Sat 05 July 2025
- A Collapse of the Parity Index Hierarchy of Tree Automata, Based on Cantor-Bendixson Ranks Karoliina Lehtinen Nathan Lhote Sat 05 July 2025
- On the Reachability Problem for Two-Dimensional Branching VASS Clotilde Bizière Thibault Hilaire Jérôme Leroux Grégoire Sutre Sat 05 July 2025
- Flag Algebras: A First Glance Marcel K. de Carli Silva Fernando Mário de Oliveira Filho Cristiane Maria Sato Fri 04 July 2025
- A 1.27 fJ/B/transition Digital Compute-in-Memory Architecture for Non-Deterministic Finite Automata Evaluation Christian Lanius Florian Freye Tobias Gemmeke Fri 04 July 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
