- Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes Sławomir Lasota Wojciech Rytter Wed 09 August 2023
- On Robustness for the Skolem, Positivity and Ultimate Positivity Problems S. Akshay Hugo Bazille Blaise Genest Mihir Vahanwala Wed 09 August 2023
- On Streaming String Transducers and HDT0L Systems Emmanuel Filiot Pierre-Alain Reynier Wed 09 August 2023
- On discrete-time polynomial systems Eduardo D. Sontag Y. Rouchaleau Wed 09 August 2023
- Sonata bis proposal Artur Jeż Wed 09 August 2023
- Complexity of Language Recognition Problems for Compressed Words Wojciech Plandowski Wojciech Rytter Wed 09 August 2023
- The Complexity of Compressed Membership Problems for Finite Automata Artur Jeż Wed 09 August 2023
- Word Problems and Membership Problems on Compressed Words Markus Lohrey Tue 08 August 2023
- Learning Weighted Automata Borja Balle Mehryar Mohri Fri 04 August 2023
- Coordination Sequences of Periodic Structures are Rational via Automata Theory Eryk Kopczynski Thu 03 August 2023
- Algebra-Based Loop Analysis Laura Kovács Thu 03 August 2023
- Symbolic Computation in Automated Program Reasoning Laura Kovács Thu 03 August 2023
- Polynomial Invariants for Affine Programs Ehud Hrushovski Joel Ouaknine Amaury Pouly James Worrell Thu 03 August 2023
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable Daniel Krob Thu 03 August 2023
- Multiplicity Problems on Algebraic Series and Context-Free Grammars Nikhil Balaji Lorenzo Clemente Klara Nosan Mahsa Shirmohammadi James Worrell Tue 01 August 2023
- On the Coalgebra of Partial Differential Equations Michele Boreale Sun 30 July 2023
- Register Minimization of Cost Register Automata over a Field Yahia Idriss Benalioua Nathan Lhote Pierre-Alain Reynier Sat 29 July 2023
- Real Equation Systems with Alternating Fixed-points (full version with proofs) Jan Friso Groote Tim A. C. Willemse Fri 28 July 2023
- Algorithms for Nonlinear Higher Order Difference Equations Manuel Kauers Wed 26 July 2023
- On the Succinctness of Good-for-MDPs Automata Sven Schewe Qiyi Tang Tue 25 July 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
