- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives Raphaël Berthon Joost-Pieter Katoen Tobias Winkler Wed 25 September 2024
- Catamorphic Abstractions for Constrained Horn Clause Satisfiability Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Tue 24 September 2024
- Query Learning of Advice and Nominal Automata Kevin Zhou Tue 24 September 2024
- Algebraic power series and their automatic complexity II: modulo prime powers Eric Rowland Reem Yassawi Tue 24 September 2024
- A Linear-Time Nominal mu-Calculus with Name Allocation Daniel Hausmann Stefan Milius Lutz Schröder Mon 23 September 2024
- Hilberts Nullstellensatz in Infinite-Dimensional Space Serge Lang Mon 23 September 2024
- A Connection between The Baker-Hausdorff Formula and a Problem of Burnside Wilhelm Magnus Sun 22 September 2024
- Differentiable Weighted Automata Anand Balakrishnan Jyotirmoy V. Deshmukh Sun 22 September 2024
- Kleene theorems for skew formal power series Werner Kuich Sun 22 September 2024
- Parikh Automata over Infinite Words Shibashis Guha Ismael Jecker Karoliina Lehtinen Martin Zimmermann Thu 05 September 2024
- Bisimulation and Coinduction Enhancements: A Historical Perspective Damien Pous Davide Sangiorgi Mon 02 September 2024
- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Lutz Klinkenberg Christian Blumenthal Mingshuai Chen Darion Haase Joost-Pieter Katoen Mon 02 September 2024
- Analysis of probabilistic processes and automata theory Kousha Etessami Mon 02 September 2024
- Validity of Contextual Formulas Javier Esparza Rubén Rubio Mon 02 September 2024
- Stochastic context-free grammers for tRNA modeling Yasubumi Sakakibara Michael Brown Richard Hughey I. Saira Mian Kimmen Sjölander Rebecca C. Underwood David Haussler Sat 31 August 2024
- Learning of Structurally Unambiguous Probabilistic Grammars Dolav Nitay Dana Fisman Michal Ziv-Ukelson Sat 31 August 2024
- Learning of Structurally Unambiguous Probabilistic Grammars Dana Fisman Dolav Nitay Michal Ziv-Ukelson Sat 31 August 2024
- Weighted Basic Parallel Processes and Combinatorial Enumeration Lorenzo Clemente Thu 29 August 2024
- Fine-Grained Complexity of Program Analysis Rupak Majumdar Tue 27 August 2024
- Challenges of the Reachability Problem in Infinite-State Systems Wojciech Czerwiński Tue 27 August 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
