- Synthesis for Structure Rewriting Systems undefinedukasz Kaiser Wed 28 July 2021
- From LTL to deterministic automata Javier Esparza Jan Křetínský Salomon Sickert Tue 27 July 2021
- Forest Automata for Verification of Heap Manipulation Peter Habermehl Lukáš Holík Adam Rogalewicz Jiří Šimáček Tomáš Vojnar Tue 27 July 2021
- Minimization of visibly pushdown automata is NP-complete Olivier Gauwin Anca Muscholl Michael Raskin Tue 27 July 2021
- Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata Iovka Boneva Joachim Niehren Momar Sakho Tue 27 July 2021
- Determinization and Minimization of Automata for Nested Words Revisited Joachim Niehren Momar Sakho Tue 27 July 2021
- Rational Verification for Probabilistic Systems Julian Gutierrez Lewis Hammond Anthony Lin Muhammad Najib Michael Wooldridge Tue 27 July 2021
- C^r-Lohner algorithm D. Wilczak P. Zgliczyński Mon 26 July 2021
- Computer Assisted Proofs of Attracting Invariant Tori for ODEs Maciej J. Capinski Emmanuel Fleurantin Jason D. Mireles James Mon 26 July 2021
- Constructing invariant tori using guaranteed Euler method Jawher Jerray Laurent Fribourg Mon 26 July 2021
- Directed Tree-Width Thor Johnson Neil Robertson P.D. Seymour Robin Thomas Mon 26 July 2021
- D-Width: A More Natural Measure for Directed Tree Width Mohammad Ali Safari Mon 26 July 2021
- On tree-partition-width David R. Wood Mon 26 July 2021
- Directed Width Measures and Monotonicity of Directed Graph Searching Łukasz Kaiser Stephan Kreutzer Roman Rabinovich Sebastian Siebertz Mon 26 July 2021
- Decision algorithms for multiplayer noncooperative games of incomplete information G. Peterson J. Reif S. Azhar Mon 26 July 2021
- Hierarchical information and the synthesis of distributed strategies Dietmar Berwanger Anup Basil Mathew Marie van den Bogaard Mon 26 July 2021
- Strategy Logic with Imperfect Information Raphael Berthon Bastien Maubert Aniello Murano Sasha Rubin Moshe Y. Vardi Mon 26 July 2021
- A Rational Rotation Method for Robust Geometric Algorithms John Canny Bruce Donald Eugene K. Ressler Fri 23 July 2021
- Reducibility among Combinatorial Problems Richard M. Karp Fri 23 July 2021
- On deciding linear arithmetic constraints over p-adic integers for all primes Christoph Haase Alessio Mansutti Thu 22 July 2021
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
