- Deciding the First Level of the mu-Calculus Alternation Hierarchy Ralf Kusters Thomas Wilke Tue 11 August 2020
- The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata Antoine Mottet Karin Quaas Tue 11 August 2020
- Markov Chains and Unambiguous Büchi Automata Christel Baier Stefan Kiefer Joachim Klein Sascha Klüppelholz David Müller James Worrell Tue 11 August 2020
- Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations Jingyi Wang Yican Sun Hongfei Fu Amir Kafshdar Goharshady Krishnendu Chatterjee Mon 10 August 2020
- On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars Lorenzo Clemente Fri 07 August 2020
- The Extended Theory of Trees and Algebraic (Co)datatypes Fabian Zaiser C.-H. Luke Ong Fri 07 August 2020
- From Well Structured Transition Systems to Program Verification Alain Finkel Fri 07 August 2020
- A Historical Account of My Early Research Interests Alberto Pettorossi Fri 07 August 2020
- Synthesis with Identifiers Rudiger Ehlers Sanjit A. Seshia Hadas Kress-Gazit Wed 05 August 2020
- On Computability of Data Word Functions Defined by Transducers Léo Exibard Emmanuel Filiot Pierre-Alain Reynier Wed 05 August 2020
- Ambiguous classes in mu-calculi hierarchies Luigi Santocanale André Arnold Wed 05 August 2020
- Descriptive set theoretic methods in automata theory Michał Skrzypczak Wed 05 August 2020
- The Part-Time Parliament Leslie Lamport Wed 05 August 2020
- Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille Aaron Stump Christopher Jenkins Stephan Spahn Colin McDonald Tue 04 August 2020
- Stable Relations and Abstract Interpretation of Higher-Order Programs Benoît Montagu Thomas Jensen Tue 04 August 2020
- Separation Logic for Sequential Programs (Functional Pearl) Arthur Charguéraud Tue 04 August 2020
- Sealing Pointer-Based Optimizations behind Pure Functions Daniel Selsam Simon Hudon Leonardo de Moura Tue 04 August 2020
- Regular Language Type Inference with Term Rewriting Timothée Haudebourg Thomas Genet Thomas Jensen Tue 04 August 2020
- Implicit automata in typed łambda-calculi II: streaming transducers vs categorical semantics Nguyên Thành Dũng Lê Camille Noûs Pierre Pradic Tue 04 August 2020
- Decision problems for linear recurrences involving arbitrary real numbers Eike Neumann Tue 04 August 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
