- Beyond Bits: An Introduction to Computation over the Reals Tillmann Miltzow Thu 02 April 2026
- The Mystery Deepens: On the Query Complexity of Tarski Fixed Points Xi Chen Yuhao Li Mihalis Yannakakis Thu 02 April 2026
- Model checking with temporal graphs and their derivative Binh-Minh Bui-Xuan Florent Krasnopol Bruno Monasson Nathalie Sznajder Wed 18 February 2026
- Out-of-Order Membership to Regular Languages Antoine Amarilli Sebastien Labbe Charles Paperman Wed 18 February 2026
- mathrmTIME[t]subseteq mathrmSPACE[O(sqrtt)] via Tree Height Compression Logan Nye Mon 17 November 2025
- Dynamic Membership for Regular Tree Languages Antoine Amarilli Corentin Barloy Louis Jachiet Charles Paperman Fri 25 April 2025
- The Model Counting Competitions 2021-2023 Johannes K. Fichte Markus Hecher Fri 25 April 2025
- Graph classes through the lens of logic Michał Pilipczuk Thu 09 January 2025
- Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Michael Blondin Michaël Cadilhac Xin-Yi Cui Philipp Czerner Javier Esparza Jakob Schulz Tue 10 December 2024
- Logarithmic Weisfeiler--Leman and Treewidth Michael Levet Puck Rombach Nicholas Sieger Fri 02 March 2012
Library Size: 13G (10 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
