- The expressive power of the shuffle product Jean Berstel Luc Boasson Olivier Carton Jean-Éric Pin Antonio Restivo Mon 16 December 2024
- On exponentials of exponential generating series Roland Bacher Mon 16 December 2024
- Formal groups arising from algebraic varieties M. Artin B. Mazur Mon 16 December 2024
- Varieties of recognizable tree series over fields Zoltán Fülöp Magnus Steinby Mon 16 December 2024
- Performance MIDI-to-score conversion by neural beat tracking Lele Liu Qiuqiang Kong Veronica Morfi Emmanouil Benetos Sat 14 December 2024
- The Undecidability of the Domino Problem Emmanuel Jeandel Pascal Vanier Thu 12 December 2024
- Reduced Grobner Basis With Double Exponential Cardinality Archana S Morye Sreenanda S B Prakash Saivasan Tue 10 December 2024
- Multi-Structural Games and Beyond Marco Carmosino Ronald Fagin Neil Immerman Phokion Kolaitis Jonathan Lenchner Rik Sengupta Tue 10 December 2024
- Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Michael Blondin Michaël Cadilhac Xin-Yi Cui Philipp Czerner Javier Esparza Jakob Schulz Tue 10 December 2024
- Revisiting Stateful Partial-Order Reduction Frédéric Herbreteau Sarah Larroze-Jardiné Gérald Point Igor Walukiewicz Tue 10 December 2024
- Necessary and Sufficient Certificates for Almost Sure Reachability Rupak Majumdar V. R. Sathiyanarayana Sadegh Soudjani Tue 10 December 2024
- On Concurrent Program Algebra and Demonic Automata Emil Sekerinski Tue 10 December 2024
- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory Jeremy Sproston Tue 10 December 2024
- A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity Stefan Mengel Harry Vinall-Smeeth Tue 10 December 2024
- CMSO-transducing tree-like graph decompositions Rutger Campbell Bruno Guillon Mamadou Moustapha Kanté Eun Jung Kim Noleen Köhler Tue 10 December 2024
- Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton Günter Rote Tue 10 December 2024
- A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata Semyon Petrov Alexander Okhotin Tue 10 December 2024
- Probability and Angelic Nondeterminism with Multiset Semantics Shawn Ong Stephanie Ma Dexter Kozen Tue 10 December 2024
- Regular Model Checking Upside-Down: An Invariant-Based Approach Javier Esparza Michael Raskin Christoph Welzel-Mohr Tue 10 December 2024
- The Functional Machine Calculus III: Choice (Early Announcement) Willem Heijltjes Tue 10 December 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
