- Playing Safe, Ten Years Later Thomas Colcombet Nathanael Fijalkow Florian Horn Thu 29 December 2022
- Tutteś invariant approach for Brownian motion reflected in the quadrant S. Franceschi Kilian Raschel Wed 28 December 2022
- Model checking expected time and expected reward formulae with random time bounds M. Kwiatkowska G. Norman A. Pacheco Wed 28 December 2022
- An approach to the zero recognition problem by Buchberger algorithm Nobuki Takayama Tue 27 December 2022
- Discounted Properties of Probabilistic Pushdown Automata Tomáš Brázdil Václav Brożek Jan Holeček Antonín Kučera Tue 27 December 2022
- Quantitative analysis of probabilistic pushdown automata: expectations and variances Javier Esparza Antonin Kucera Richard Mayr Mon 26 December 2022
- CSL model checking algorithms for QBDs Anne Remke Boudewijn R. Haverkort Lucia Cloth Mon 26 December 2022
- Model-checking algorithms for continuous-time Markov chains C. Baier B. Haverkort H. Hermanns J.-P. Katoen Mon 26 December 2022
- Markovian approximations of stochastic Volterra equations with the fractional kernel Christian Bayer Simon Breneis Mon 26 December 2022
- Markov and Markov reward model transient analysis: An overview of numerical approaches Andrew Reibman Roger Smith Kishor Trivedi Mon 26 December 2022
- Varieties of increasing trees François Bergeron Philippe Flajolet Bruno Salvy Sun 25 December 2022
- Arithmetic Properties of Power Series Solutions of Algebraic Differential Equations Yasutaka Sibuya Steven Sperber Sat 24 December 2022
- Rewriting the Infinite Chase Michael Benedikt Maxime Buron Stefano Germano Kevin Kappelmann Boris Motik Sat 24 December 2022
- The Functional Machine Calculus Willem Heijltjes Sat 24 December 2022
- Automata and automatic sequences Jean-Paul Allouche Michel Mendès France Sat 24 December 2022
- Parsing as a lifting problem and the Chomsky-Schutzenberger representation theorem Paul-André Melliès Noam Zeilberger Sat 24 December 2022
- Infinite Hex is a draw Joel David Hamkins Davide Leonessi Sat 24 December 2022
- Differentially Transcendental Functions Zarko Mijajlovic Branko Malesevic Sat 24 December 2022
- Julia's equation and differential transcendence Matthias Aschenbrenner Walter Bergweiler Sat 24 December 2022
- The exponential generating function of labelled blocks N. Wormald E.M. Wright Thu 22 December 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
