- Long Runs Imply Big Separators in Vector Addition Systems Wojciech Czerwiński Adam Jędrych Fri 16 September 2022
- Model Checking Temporal Properties of Recursive Probabilistic Programs Tobias Winkler Christina Gehnen Joost-Pieter Katoen Fri 16 September 2022
- Learning of Structurally Unambiguous Probabilistic Grammars Dana Fisman Dolav Nitay Michal Ziv-Ukelson Fri 16 September 2022
- Subset Sum in O(n^11łog(n)) Rion Tolchin Fri 16 September 2022
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Fri 16 September 2022
- Formalising the Krull Topology in Lean Sebastian Monnet Fri 16 September 2022
- On Identity Testing and Noncommutative Rank Computation over the Free Skew Field V. Arvind Abhranil Chatterjee Utsab Ghosal Partha Mukhopadhyay C. Ramya Fri 16 September 2022
- Composing Copyless Streaming String Transducers Rajeev Alur Taylor Dohmen Ashutosh Trivedi Fri 16 September 2022
- What is a combinatorial interpretation Igor Pak Fri 16 September 2022
- How Much Structure Is Needed for Huge Quantum Speedups Scott Aaronson Fri 16 September 2022
- On Power Set Axiom Leonid A. Levin Fri 16 September 2022
- How to decide Functionality of Compositions of Top-Down Tree Transducers Sebastian Maneth Helmut Seidl Martin Vu Wed 07 September 2022
- Bounded Delay Timed Channel Coding Bernardo Jacobo Inclán Aldric Degorre Eugene Asarin Wed 07 September 2022
- Universal Algorithms for Parity Games and Nested Fixpoints Marcin Jurdziński Rémi Morvan K. S. Thejaswini Tue 30 August 2022
- Reachability in Timed Automata B Srivathsan Tue 30 August 2022
- Morphisms and minimisation of weighted automata Sylvain Lombardy Jacques Sakarovitch Tue 30 August 2022
- Structure and Power: an emerging landscape Samson Abramsky Mon 29 August 2022
- Synthesis of Parametric Hybrid Automata from Time Series Miriam García Soto Thomas A. Henzinger Christian Schilling Mon 29 August 2022
- Walking on Words Ian Pratt-Hartmann Mon 29 August 2022
- Complementing Buchi Automata with Ranker Vojtěch Havlena Ondřej Lengál Barbora Šmahlíková Mon 29 August 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
