- Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics George Kaye Fri 18 April 2025
- Codd's Theorem for Databases over Semirings Guillermo Badia Phokion G. Kolaitis Carles Noguera Wed 16 April 2025
- Games with ømega-Automatic Preference Relations Véronique Bruyère Christophe Grandmont Jean-François Raskin Thu 13 March 2025
- Graph classes through the lens of logic Michał Pilipczuk Thu 09 January 2025
- Multi-Structural Games and Beyond Marco Carmosino Ronald Fagin Neil Immerman Phokion Kolaitis Jonathan Lenchner Rik Sengupta Tue 10 December 2024
- 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
- Revisiting Stateful Partial-Order Reduction Frédéric Herbreteau Sarah Larroze-Jardiné Gérald Point Igor Walukiewicz Tue 10 December 2024
- CMSO-transducing tree-like graph decompositions Rutger Campbell Bruno Guillon Mamadou Moustapha Kanté Eun Jung Kim Noleen Köhler Tue 10 December 2024
- Probability and Angelic Nondeterminism with Multiset Semantics Shawn Ong Stephanie Ma Dexter Kozen Tue 10 December 2024
- Regular Model Checking Upside-Down: An Invariant-Based Approach Javier Esparza Michael Raskin Christoph Welzel-Mohr Tue 10 December 2024
- The Functional Machine Calculus III: Choice (Early Announcement) Willem Heijltjes Tue 10 December 2024
- Effective Littlestone Dimension Valentino Delle Rose Alexander Kozachinskiy Tomasz Steifer Tue 10 December 2024
- Axiomatization of Compact Initial Value Problems: Open Properties André Platzer Long Qian Fri 18 October 2024
- Verification of Linear Dynamical Systems via O-Minimality of Real Numbers Toghrul Karimov Joël Ouaknine James Worrell Fri 18 October 2024
- Logarithmic Weisfeiler--Leman and Treewidth Michael Levet Puck Rombach Nicholas Sieger Fri 02 March 2012
Library Size: 13G (15 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
