- The Algebra and Combinatorics of Shuffles and Multiple Zeta Values Douglas Bowman David M. Bradley Wed 04 December 2024
- Remarks on commutative N-rational series Juhani Karhumäki Tue 03 December 2024
- Bounded languages described by GF(2)-grammars Vladislav Makarov Fri 29 November 2024
- On the Expressive Power of GF(2)-Grammars Vladislav Makarov Alexander Okhotin Fri 29 November 2024
- Finer characterization of bounded languages described by GF(2)-grammars Vladislav Makarov Marat Movsin Fri 29 November 2024
- The Black Ninjas and the Sniper: On Robust Population Protocols Benno Lossin Philipp Czerner Javier Esparza Roland Guttenberg Tobias Prehn Mon 25 November 2024
- Polar: An Algebraic Analyzer for (Probabilistic) Loops Marcel Moosbrugger Julian Müllner Ezio Bartocci Laura Kovács Mon 25 November 2024
- One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Benjamin Bisping David N. Jansen Mon 25 November 2024
- On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus Naoki Kobayashi Mon 25 November 2024
- A Generalized Pumping Lemma for Weighted Recognizable Languages Andreas Maletti Nils Oskar Nuernbergk Mon 25 November 2024
- Equivalence of Deterministic Weighted Real-time One-Counter Automata Prince Mathew Vincent Penelle Prakash Saivasan A.~V. Sreejith Mon 25 November 2024
- A Real Nullstellensatz for free modules J. Cimprič Mon 25 November 2024
- Expectation vs. Reality: Towards Verification of Psychological Games Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Mon 25 November 2024
- Super Unique Tarski is in UEOPL John Fearnley Rahul Savani Mon 25 November 2024
- Learning real-time one-counter automata using polynomially many queries Prince Mathew Vincent Penelle A.~V. Sreejith Mon 25 November 2024
- (Un)Solvable Loop Analysis Daneshvar Amrollahi Ezio Bartocci George Kenison Laura Kovács Marcel Moosbrugger Miroslav Stankovič Thu 07 November 2024
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Thu 07 November 2024
- Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable Clotilde Bizière Wojciech Czerwiński Thu 07 November 2024
- Decidability Issues for Petri Nets -- a survey Javier Esparza Mogens Nielsen Thu 07 November 2024
- On the Decidability of the Real Exponential Field Angus Macintyre Alex J. Wilkie Mon 04 November 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
