- Verifying generalised and structural soundness of workflow nets via relaxations Michael Blondin Filip Mazowiecki Philip Offtermatt Mon 29 August 2022
- Linear Recurrence Relations for Graph Polynomials Eldar Fischer Johann A. Makowsky Mon 29 August 2022
- Recurrence relations for graph polynomials on bi-iterative families of graphs Tomer Kotek Johann A. Makowsky Mon 29 August 2022
- On Synthesizing Computable Skolem Functions for First Order Logic Supratik Chakraborty S. Akshay Mon 29 August 2022
- A Robust Class of Languages of 2-Nested Words Séverine Fratani Guillaume Maurras Pierre-Alain Reynier Mon 29 August 2022
- A Universal Skolem Set of Positive Lower Density Florian Luca Joel Ouaknine James Worrell Mon 29 August 2022
- Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order Dominik Peteler Karin Quaas Mon 29 August 2022
- Sequences: Polynomial, C-finite, Holonomic, ... Thotsaporn Aek Thanatipanonda Yi Zhang Mon 29 August 2022
- Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set Julian D'Costa Engel Lefaucheux Eike Neumann Joel Ouaknine James Worrell Mon 29 August 2022
- Basic Elements of Logical Graphs Lucas Dixon Mon 29 August 2022
- Long-Term Mentoring for Computer Science Researchers Emily Ruppel Sihang Liu Elba Garza Sukyoung Ryu Alexandra Silva Talia Ringer Mon 29 August 2022
- When Locality Meets Preservation Aliaume Lopez Mon 29 August 2022
- Active Learning for Sound Negotiations Anca Muscholl Igor Walukiewicz Mon 29 August 2022
- Abstractions for the Local-Time Semantics of Timed Automata: A Foundation for Partial-Order Methods R. Govind Frédéric Herbreteau Srivathsan Igor Walukiewicz Mon 29 August 2022
- On the Strength of Sherali-Adams and Nullstellensatz as Propositional Proof Systems Ilario Bonacina Maria Luisa Bonet Mon 29 August 2022
- Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche Mon 29 August 2022
- Complexity of Modular Circuits Paweł M. Idziak Piotr Kawałek Jacek Krzaczkowski Mon 29 August 2022
- Probabilistic Verification Beyond Context-Freeness Guanyan Li Andrzej Murawski Luke Ong Mon 29 August 2022
- Reasoning on Data Words over Numeric Domains Diego Figueira Anthony Widjaja Lin Mon 29 August 2022
- The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume Mon 29 August 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
