- Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture Hao Huang Tue 02 December 2025
- 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
- Hopf Algebras in General and in Combinatorial Physics: a practical introduction G. H. E. Duchamp P. Blasiak A. Horzela K. A. Penson A. I. Solomon Mon 31 March 2025
- Polyregular Model Checking Aliaume Lopez Rafał Stefański Tue 25 March 2025
- A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations Timothy Duff Tue 25 March 2025
- Symbolic Summation of Multivariate Rational Functions Shaoshi Chen Lixin Du Hanqian Fang Tue 18 March 2025
- Randomized Black-Box PIT for Small Depth +-Regular Non-commutative Circuits G V Sumukha Bharadwaj S Raja Fri 14 March 2025
- Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs Michal Ajdarw Thu 13 March 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
- Positivity of Schubert Coefficients Igor Pak Colleen Robichaux Mon 30 December 2024
- Signed combinatorial interpretations in algebraic combinatorics Igor Pak Colleen Robichaux Mon 30 December 2024
- Attention Is All You Need Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan N. Gomez Lukasz Kaiser Illia Polosukhin Tue 17 December 2024
- Reduced Grobner Basis With Double Exponential Cardinality Archana S Morye Sreenanda S B Prakash Saivasan Tue 10 December 2024
- 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
- A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity Stefan Mengel Harry Vinall-Smeeth 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
- Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton Günter Rote Tue 10 December 2024
- A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata Semyon Petrov Alexander Okhotin 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
- Algebraic Tools for Computing Polynomial Loop Invariants Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet Tue 10 December 2024
- On Recurrence Relations of Multi-dimensional Sequences Hamid Rahkooy Tue 10 December 2024
- mathbbN-polyregular functions arise from well-quasi-orderings Aliaume Lopez Fri 18 October 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
- Rademacher Complexity of Neural ODEs via Chen-Fliess Series Joshua Hanson Maxim Raginsky Fri 11 October 2024
- Functorial String Diagrams for Reverse-Mode Automatic Differentiation Mario Alvarez-Picallo Dan R. Ghica David Sprunger Fabio Zanasi Fri 02 March 2012
- Infinite Separation between General and Chromatic Memory Alexander Kozachinskiy Fri 02 March 2012
- History-deterministic Parikh Automata Enzo Erlich Shibashis Guha Ismaël Jecker Karoliina Lehtinen Martin Zimmermann Fri 02 March 2012
- Parikh Automata on Infinite Words Mario Grobler Leif Sabellek Sebastian Siebertz Fri 02 March 2012
- Logarithmic Weisfeiler--Leman and Treewidth Michael Levet Puck Rombach Nicholas Sieger Fri 02 March 2012
Library Size: 13G (37 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
