- Operators on generalized power series Joris van der Hoeven Tue 30 July 2024
- On the complexity of Maslov's class øverlinetextK Oskar Fiuk Emanuel Kieronski Vincent Michielini Wed 24 July 2024
- Simple Linear Loops: Algebraic Invariants and Applications Rida Ait El Manssour George Kenison Mahsa Shirmohammadi Anton Varonka Wed 24 July 2024
- Combining fixpoint and differentiation theory Zeinab Galal Jean-Simon Pacaud Lemay Wed 24 July 2024
- Tree algebras and bisimulation-invariant MSO on finite graphs Thomas Colcombet Amina Doumane Denis Kuperberg Wed 24 July 2024
- Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondřej Kużelka Yuanhong Wang Yuyi Wang Wed 24 July 2024
- Faster and Smaller Solutions of Obliging Games Daniel Hausmann Nir Piterman Wed 24 July 2024
- Strategic Dominance: A New Preorder for Nondeterministic Processes Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç Wed 24 July 2024
- Coalgebraic Behavioral Metrics Paolo Baldan Filippo Bonchi Henning Kerstan Barbara Kønig Wed 24 July 2024
- Explicit Commutative ROABPs from Partial Derivatives Vishwas Bhargava Anamay Tengse Wed 24 July 2024
- Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination Takamasa Okudono Masaki Waga Taro Sekiyama Ichiro Hasuo Wed 24 July 2024
- MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm S. Akshay Paul Gastin R. Govind B. Srivathsan Wed 24 July 2024
- A henselian preparation theorem Laurent Moret-Bailly Mon 15 July 2024
- Positivity of the symmetric group characters is as hard as the polynomial time hierarchy Christian Ikenmeyer Igor Pak Greta Panova Mon 15 July 2024
- Relational Perspective on Graph Query Languages Diego Figueira Anthony W. Lin Liat Peterfreund Mon 15 July 2024
- A Unifying Categorical View of Nondeterministic Iteration and Tests Sergey Goncharov Tarmo Uustalu Mon 15 July 2024
- History-Determinism vs Fair Simulation Udi Boker Thomas A. Henzinger Karoliina Lehtinen Aditya Prakash Mon 15 July 2024
- Discounted-Sum Automata with Real-Valued Discount Factors Udi Boker Mon 15 July 2024
- Finitely Ambiguous and Finitely Sequential Weighted Automata over Fields Peter Kostolányi Mon 15 July 2024
- Validity of contextual formulas (extended version) Javier Esparza Rubén Rubio Mon 15 July 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
