- Reachability for Updatable Timed Automata made faster and more effective Paul Gastin Sayan Mukherjee B Srivathsan Wed 07 October 2020
- The Complexity of Reachability in Parametric Markov Decision Processes Sebastian Junges Joost-Pieter Katoen Guillermo A. Pérez Tobias Winkler Wed 07 October 2020
- Equivalence of Hidden Markov Models with Continuous Observations Oscar Darwin Stefan Kiefer Wed 07 October 2020
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs Naoki Kobayashi Ugo Dal Lago Charles Grellois Wed 07 October 2020
- The compactness of first-order logic: From Gødel to Lindstrøm John W. Dawson Jr. Wed 07 October 2020
- Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Tue 06 October 2020
- On the nature of the generating series of walks in the quarter plane Thomas Dreyfus Charlotte Hardouin Julien Roques Michael F. Singer Sun 04 October 2020
- Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions Alin Bostan Frédéric Chyzak Pierre Lairez Bruno Salvy Sun 04 October 2020
- Counting walks with large steps in an orthant Alin Bostan Mireille Bousquet-Mélou Stephen Melczer Sun 04 October 2020
- Definability of Combinatorial Functions and Their Linear Recurrence Relations Tomer Kotek Johann A. Makowsky Sun 04 October 2020
- A representation theorem for (q-)holonomic sequences T. Kotek J. A. Makowsky Sun 04 October 2020
- Application of Logic to Integer Sequences: A Survey Johann A. Makowsky Sun 04 October 2020
- Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma Diego Figueira Santiago Figueira Sylvain Schmitz Philippe Schnoebelen Sat 03 October 2020
- Universality Problem for Unambiguous VASS Wojciech Czerwiński Diego Figueira Piotr Hofman Sat 03 October 2020
- Classes of regular and context-free languages over countably infinite alphabets Friedrich Otto Sat 03 October 2020
- A Non-Holonomic Systems Approach to Special Function Identities Frédéric Chyzak Manuel Kauers Bruno Salvy Sat 03 October 2020
- The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity Frédéric Chyzak Fri 02 October 2020
- On computing the coefficients of bivariate holonomic formal series P. Massazza R. Radicioni Fri 02 October 2020
- Bell numbers, their relatives, and algebraic differential equations Martin Klazar Wed 30 September 2020
- Integral Bases for P-Recursive Sequences Shaoshi Chen Lixin Du Manuel Kauers Thibaut Verron Tue 29 September 2020
Library Size: 13G (12971 entries),
Last Updated: Apr 16, 2026, 20:38:03,
Build Time: N/A