- Erratum to: Model-checking continuous-time Markov chains by Aziz et al David N. Jansen Tue 10 March 2026
- Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Wed 18 February 2026
- The Determinacy of Context-Free Games Olivier Finkel Thu 12 February 2026
- A Categorical Programming Language Tatsuya Hagino Sat 29 November 2025
- Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot Sat 15 November 2025
- On the computability of conditional probability Nathanael L. Ackerman Cameron E. Freer Daniel M. Roy Sat 05 July 2025
- Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers Jonathan Gorard Ammar Hakim Sat 05 April 2025
- Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof Manfred Borzechowski Malvin Gattinger Helle Hvid Hansen Revantha Ramanayake Valentina Trucco Dalmas Yde Venema Sat 05 April 2025
- Rerailing Automata Rudiger Ehlers Sat 05 April 2025
- The Fertile Steppe: Computability Logic and the decidability of one of its fragments Stella Spadoni Sat 05 April 2025
- The memory of ømega-regular and BC(Sigma2^0) objectives Antonio Casares Pierre Ohlmann Fri 14 March 2025
- Robin Milner's Work on Concurrency: An Appreciation Samson Abramsky Sun 09 March 2025
- Twin-width and types Jakub Gajarský Michał Pilipczuk Wojciech Przybyszewski Szymon Toruńczyk Sun 09 March 2025
- Merge-width and First-Order Model Checking Jan Dreier Szymon Toruńczyk Sun 09 March 2025
- Formalizing zeta and L-functions in Lean David Loeffler Michael Stoll Sun 09 March 2025
- Linearization via Rewriting (Long Version) Ugo Dal Lago Federico Olimpieri Sun 09 March 2025
- Learning Deterministic One-Counter Automata in Polynomial Time Prince Mathew Vincent Penelle A.~V. Sreejith Sun 09 March 2025
- Substructural Parametricity C.~B. Aberlé Chris Martens Frank Pfenning Sun 09 March 2025
- Denotational Semantics for Probabilistic and Concurrent Programs Noam Zilberstein Daniele Gorla Alexandra Silva Sun 09 March 2025
- On describing trees and quasi-trees from their leaves Bruno Courcelle Sun 09 March 2025
- Existential and positive games: a comonadic and axiomatic view Samson Abramsky Thomas Laure Luca Reggio Sun 09 March 2025
- Bounded First-Class Universe Levels in Dependent Type Theory Jonathan Chan Stephanie Weirich Mon 03 March 2025
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back Kevin Batz Joost-Pieter Katoen Francesca Randone Tobias Winkler Mon 03 March 2025
- A Compositional Atlas for Algebraic Circuits Benjie Wang Denis Deratani Mauá Guy Van den Broeck YooJung Choi Mon 03 March 2025
- An excursion into Dialectica and Differentiation Davide Barbarossa Mon 03 March 2025
- Logic.py: Bridging the Gap between LLMs and Constraint Solvers Pascal Kesseli Peter O'Hearn Ricardo Silveira Cabral Mon 03 March 2025
- Resolving Nondeterminism with Randomness Thomas A. Henzinger Aditya Prakash K. S. Thejaswini Wed 26 February 2025
- Constant-delay enumeration for SLP-compressed documents Martín Muñoz Cristian Riveros Tue 25 February 2025
- Complete Symmetry Breaking for Finite Models Marek Dančo Mikoláš Janota Michael Codish João Jorge Araújo Tue 25 February 2025
- Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Michael Cadilhac Vanessa Flğel Guillermo A. Pérez Shrisha Rao Tue 25 February 2025
- Compositional Taylor expansion in cartesian differential categories Walch Aymeric Tue 25 February 2025
- A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances Xichen Tang Tue 25 February 2025
- Relators and Notions of Simulation Revisited Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schrøder Paul Wild Tue 18 February 2025
- On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number Jorge Gallego-Hernandez Alessio Mansutti Tue 18 February 2025
- Petri Nets and Higher-Dimensional Automata Amazigh Amrane Hugo Bazille Uli Fahrenberg Loic Hélouet Philipp Schlehuber-Caissier Tue 18 February 2025
- Low rank MSO Mikołaj Bojańczyk Michał Pilipczuk Wojciech Przybyszewski Marek Sokołowski Giannos Stamoulis Fri 14 February 2025
- Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests Roland Guttenberg Wojciech Czerwiński Sławomir Lasota Fri 14 February 2025
- Fair Vertex Problems Parameterized by Cluster Vertex Deletion Tomáš Masařík Jędrzej Olkowski Anna Zych-Pawlewicz Fri 14 February 2025
- STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving Kefan Dong Tengyu Ma Sat 08 February 2025
- POPACheck: a Model Checker for probabilistic Pushdown Automata Francesco Pontiggia Ezio Bartocci Michele Chiari Sat 08 February 2025
- Weihrauch problems as containers Cécilia Pradic Ian Price Fri 31 January 2025
- Graphs of unbounded linear cliquewidth must transduce all trees Mikołaj Bojanczyk Pierre Ohlmann Fri 31 January 2025
- Model-checking real-time systems: revisiting the alternating automaton route Patricia Bouyer B Srivathsan Vaishnavi Vishwanath Fri 31 January 2025
- The equational theory of the Weihrauch lattice with (iterated) composition Cécilia Pradic Fri 31 January 2025
- The Algebra of Parity Games Robin Piedeleu Fri 31 January 2025
- Synthesis of Infinite State Systems Ohad Drucker Alexander Rabinovich Wed 29 January 2025
- The structure of polynomial growth for tree automata/transducers and MSO set queries Paul Gallot Nathan Lhote Lê Thành Dũng Nguyên Wed 29 January 2025
- Algebraic and algorithmic synergies between promise and infinite-domain CSPs Antoine Mottet Wed 29 January 2025
- Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO Nikolas Mahlmann Wed 29 January 2025
- Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report) Kevin Batz Joost-Pieter Katoen Nora Orhan Wed 29 January 2025
- A General Completeness Theorem for Skip-free Star Algebras Tobias Kappé Todd Schmid Wed 29 January 2025
- Guarded Negation Transitive Closure Logic is 2-EXPTIME-complete Yoshiki Nakamura Wed 29 January 2025
- Complete Quantum Relational Hoare Logics from Optimal Transport Duality Gilles Barthe Minbo Gao Theo Wang Li Zhou Wed 29 January 2025
- Variable Elimination as Rewriting in a Linear Lambda Calculus Thomas Ehrhard Claudia Faggian Michele Pagani Wed 29 January 2025
- Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages Davide Barbarossa Paolo Pistone Wed 29 January 2025
- The Alternation Hierarchy of First-Order Logic on Words is Decidable Corentin Barloy Michael Cadilhac Charles Paperman Howard Straubing Wed 29 January 2025
- A Dichotomy Theorem for Ordinal Ranks in MSO Damian Niwiński Paweł Parys Michał Skrzypczak Wed 15 January 2025
- A Primal-Dual Perspective on Program Verification Algorithms (Extended Version) Takeshi Tsukada Hiroshi Unno Oded Padon Sharon Shoham Mon 06 January 2025
- Reachability in Vector Addition System with States Parameterized by Geometric Dimension Yangluo Zheng Mon 06 January 2025
- Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains Jingyi Mei Ming Xu Ji Guan Yuxin Deng Nengkun Yu Mon 06 January 2025
- Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly Nathanael Fijalkow Hugo Gimbert Florian Horn Guillermo A. Pérez Pierre Vandenhove Mon 06 January 2025
- Safe Composition of Systems of Communicating Finite State Machines Franco Barbanera Rolf Hennicker Mon 06 January 2025
- One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Benjamin Bisping David N. Jansen Mon 25 November 2024
- On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus Naoki Kobayashi Mon 25 November 2024
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Thu 07 November 2024
- Intuitionistic Propositional Logic in Lean Dafina Trufaş Sat 02 November 2024
- Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages Andy Yang David Chiang Dana Angluin Sat 02 November 2024
- Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report) Parosh Aziz Abdulla Yo-Ga Chen Yu-Fang Chen Lukáš Holík Ondřej Lengál Jyun-Ao Lin Fang-Yi Lo Wei-Lun Tsai Sat 02 November 2024
- A LOCAL View of the Polynomial Hierarchy Fabian Reiter Sat 26 October 2024
- Exact Exploration Andreas Blass Nachum Dershowitz Yuri Gurevich Sat 26 October 2024
- The Qualitative Collapse of Concurrent Games Pierre Clairambault Sat 26 October 2024
- Temporal Hyperproperties for Population Protocols Nicolas Waldburger Chana Weil-Kennedy Pierre Ganty César Sánchez Sat 26 October 2024
- Certifying rings of integers in number fields Anne Baanen Alain Chavarri Villarello Sander R. Dahmen Sat 12 October 2024
- Beyond Decisiveness of Infinite Markov Chains Benoît Barbot Patricia Bouyer Serge Haddad Sat 12 October 2024
- Deciding subspace reachability problems with application to Skolem's Problem Samuel Everett Sat 12 October 2024
- Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof Christian Choffrut Sat 12 October 2024
- First-Order Model Checking on Monadically Stable Graph Classes Jan Dreier Ioannis Eleftheriadis Nikolas Mahlmann Rose McCarty Michał Pilipczuk Szymon Toruńczyk Wed 02 October 2024
- Catamorphic Abstractions for Constrained Horn Clause Satisfiability Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Tue 24 September 2024
- Learning of Structurally Unambiguous Probabilistic Grammars Dana Fisman Dolav Nitay Michal Ziv-Ukelson Sat 31 August 2024
- Algorithms for Markov Binomial Chains Alejandro Alarcón Gonzalez Niel Hens Tim Leys Guillermo A. Pérez Wed 14 August 2024
- Extension preservation on dense graph classes Ioannis Eleftheriadis Wed 14 August 2024
- PolyHorn: A Polynomial Horn Clause Solver Krishnendu Chatterjee Amir Kafshdar Goharshady Ehsan Kafshdar Goharshady Mehrdad Karrabi Milad Saadat Đorđe Žikelić Wed 14 August 2024
- Satisfiability of commutative vs. non-commutative CSPs Andrei A. Bulatov Stanislav Živný Thu 01 August 2024
- Simple grammar bisimilarity, with an application to session type equivalence Diogo Poças Vasco T. Vasconcelos Thu 01 August 2024
- Specification and Automatic Verification of Computational Reductions Julien Grange Fabian Vehlken Nils Vortmeier Thomas Zeume Thu 01 August 2024
- Color Refinement for Relational Structures Benjamin Scheidt Nicole Schweikardt Wed 31 July 2024
- The Existential Theory of the Reals as a Complexity Class: A Compendium Marcus Schaefer Jean Cardinal Tillmann Miltzow Wed 31 July 2024
- A Cobham theorem for scalar multiplication Philipp Hieronymi Sven Manthe Chris Schulz Wed 31 July 2024
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories Christoph Haase Alessio Mansutti Amaury Pouly Wed 31 July 2024
- A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL Richard Schmoetten Jacques D. Fleuriot Wed 31 July 2024
- On the complexity of Maslov's class øverlinetextK Oskar Fiuk Emanuel Kieronski Vincent Michielini 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
- 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
- A Unifying Categorical View of Nondeterministic Iteration and Tests Sergey Goncharov Tarmo Uustalu Mon 15 July 2024
- Validity of contextual formulas (extended version) Javier Esparza Rubén Rubio Mon 15 July 2024
- A Spectrum of Approximate Probabilistic Bisimulations Timm Spork Christel Baier Joost-Pieter Katoen Jakob Piribauer Tim Quatmann Mon 15 July 2024
- Completeness of Finitely Weighted Kleene Algebra With Tests Igor Sedlár Mon 15 July 2024
- Risk-averse optimization of total rewards in Markovian models using deviation measures Christel Baier Jakob Piribauer Maximilian Starke Thu 11 July 2024
- Domain theory in univalent foundations I: Directed complete posets and Scott's Dinfty Tom de Jong Thu 11 July 2024
- Domain theory in univalent foundations II: Continuous and algebraic domains Tom de Jong Martín Høtzel Escardó Thu 11 July 2024
- An automata-based approach for synchronizable mailbox communication Romain Delpy Anca Mushcoll Grégoire Sutre Thu 11 July 2024
- Integer Linear-Exponential Programming in NP by Quantifier Elimination Dmitry Chistikov Alessio Mansutti Mikhail R. Starchak Thu 11 July 2024
- On the Decidability of Presburger Arithmetic Expanded with Powers Toghrul Karimov Florian Luca Joris Nieuwveld Joel Ouaknine James Worrell Thu 11 July 2024
- Left-Linear Rewriting in Adhesive Categories Paolo Baldan Davide Castelnovo Andrea Corradini Fabio Gadducci Thu 11 July 2024
- Guarded Successor: A Novel Temporal Logic Ohad Asor Thu 11 July 2024
- Weighted basic parallel processes and combinatorial enumeration Lorenzo Clemente Wed 10 July 2024
- On the Number of Quantifiers Needed to Define Boolean Functions Marco Carmosino Ronald Fagin Neil Immerman Phokion Kolaitis Jonathan Lenchner Rik Sengupta Thu 04 July 2024
- Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets Hao Wu Jie Wang Bican Xia Xiakun Li Naijun Zhan Ting Gan Thu 04 July 2024
- An invitation to game comonads Samson Abramsky Luca Reggio Thu 04 July 2024
- Learning Closed Signal Flow Graphs Ekaterina Piotrovskaya Leo Lobski Fabio Zanasi Thu 04 July 2024
- Minimising the Probabilistic Bisimilarity Distance Stefan Kiefer Qiyi Tang Tue 02 July 2024
- Reachability and Safety Games under TSO Semantics (Extended Version) Stephan Spengler Mon 01 July 2024
- The Complexity of Simplifying ømega-Automata through the Alternating Cycle Decomposition Antonio Casares Corto Mascle Mon 01 July 2024
- Parameterizing the quantification of CMSO: model checking on minor-closed graph classes Ignasi Sau Giannos Stamoulis Dimitrios M. Thilikos Thu 27 June 2024
- The Power of Counting Steps in Quantitative Games Sougata Bose Rasmus Ibsen-Jensen David Purser Patrick Totzke Pierre Vandenhove Thu 27 June 2024
- Positive and monotone fragments of FO and LTL Denis Kuperberg Quentin Moreau Thu 27 June 2024
- Drag Rewriting Nachum Dershowitz Jean-Pierre Jouannaud Fernando Orejas Thu 27 June 2024
- Model Checking Markov Chains as Distribution Transformers Rajab Aghamov Christel Baier Toghrul Karimov Joris Nieuwveld Joel Ouaknine Jakob Piribauer Mihir Vahanwala Thu 27 June 2024
- Phase-Bounded Broadcast Networks over Topologies of Communication Lucie Guillou Arnaud Sangnier Nathalie Sznajder Thu 27 June 2024
- Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups Ruiwen Dong Sun 23 June 2024
- Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer Sun 23 June 2024
- A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata Yoshiaki Takata Akira Onishi Ryoma Senda Hiroyuki Seki Sun 23 June 2024
- The strength of the dominance rule Leszek Aleksander Kołodziejczyk Neil Thapen Sun 23 June 2024
- Algebraic Reasoning over Relational Structures Jan Jurka Stefan Milius Henning Urbat Tue 11 June 2024
- On Efficient Algorithms For Partial Quantifier Elimination Eugene Goldberg Sat 08 June 2024
- Modal Separability of Fixpoint Formulae Jean Christoph Jung Jędrzej Kołodziejski Fri 07 June 2024
- Element-Free Probability Distributions and Random Partitions Victor Blanchi Hugo Paquet Thu 30 May 2024
- Natural numbers from integers Christian Sattler David Warn Thu 30 May 2024
- Bi-reachability in Petri nets with data Łukasz Kamiński Sławomir Lasota Thu 30 May 2024
- The 2-Dimensional Constraint Loop Problem is Decidable Quentin Guilmant Engel Lefaucheux Joel Ouaknine James Worrell Fri 24 May 2024
- Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width Aliaume Lopez Wed 22 May 2024
- Concurrent Games over Relational Structures: The Origin of Game Comonads Yoàv Montacute Glynn Winskel Wed 22 May 2024
- Decidability and Complexity of Decision Problems for Affine Continuous VASS A.~R. Balasubramanian Wed 22 May 2024
- Equivalence and Conditional Independence in Atomic Sheaf Logic Alex Simpson Wed 22 May 2024
- Monoidal bicategories, differential linear logic, and analytic functors M. Fiore N. Gambino M. Hyland Thu 16 May 2024
- Between proof construction and SAT-solving Aleksy Schubert Paweł Urzyczyn Konrad Zdanowski Thu 16 May 2024
- On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates Valérie Berthé Toghrul Karimov Joris Nieuwveld Joel Ouaknine Mihir Vahanwala James Worrell Wed 15 May 2024
- Slice closures of indexed languages and word equations with counting constraints Laura Ciobanu Georg Zetzsche Wed 15 May 2024
- Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat Jan Tóth Ondřej Kużelka Wed 15 May 2024
- The Existential Theory of the Reals with Summation Operators Markus Blaser Julian Dørfler Maciej Liskiewicz Benito van der Zander Thu 09 May 2024
- An efficient quantifier elimination procedure for Presburger arithmetic Christoph Haase Shankara Narayanan Krishna Khushraj Madnani Om Swostik Mishra Georg Zetzsche Wed 08 May 2024
- On classes of bounded tree rank, their interpretations, and efficient sparsification Jakub Gajarský Rose McCarty Tue 07 May 2024
- Decidability of Graph Neural Networks via Logical Characterizations Michael Benedikt Chia-Hsuan Lu Boris Motik Tony Tan Tue 07 May 2024
- The Algebras for Automatic Relations Rémi Morvan Tue 30 April 2024
- A proof theory of (omega-)context-free languages, via non-wellfounded proofs Anupam Das Abhishek De Tue 30 April 2024
- Uniform Substitution for Differential Refinement Logic Enguerrand Prebet André Platzer Tue 30 April 2024
- Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron Tue 30 April 2024
- Improved Algorithm for Reachability in d-VASS Yuxi Fu Qizhe Yang Yangluo Zheng Mon 29 April 2024
- Solving promise equations over monoids and groups Alberto Larrauri Stanislav Živný Wed 24 April 2024
- Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification Till Tantau Sun 21 April 2024
- The General and Finite Satisfiability Problems for PCTL are Undecidable Miroslav Chodil Antonín Kučera Sat 20 April 2024
- Implicit automata in łambda-calculi III: affine planar string-to-string functions Cécilia Pradic Ian Price Thu 18 April 2024
- Pi2^P vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem Dmitriy Zhuk Thu 18 April 2024
- Function spaces for orbit-finite sets Mikołaj Bojańczyk Lê Thành Dũng Nguyên Rafał Stefański Thu 18 April 2024
- The Church Synthesis Problem over Continuous Time Alexander Rabinovich Daniel Fattal Thu 18 April 2024
- A Uniform Framework for Language Inclusion Problems Kyveli Doveri Pierre Ganty Chana Weil-Kennedy Thu 18 April 2024
- Linear Arboreal Categories Samson Abramsky Yoàv Montacute Nihil Shah Sat 06 April 2024
- Regular Games with Imperfect Information Are Not That Regular Laurent Doyen Thomas Soullard Sat 06 April 2024
- Commutative N-polyregular functions Aliaume Lopez Fri 05 April 2024
- Lifted Inference beyond First-Order Logic Sagar Malhotra Davide Bizzaro Luciano Serafini Tue 02 April 2024
- Learning Algorithms for Verification of Markov Decision Processes Tomáš Brázdil Krishnendu Chatterjee Martin Chmelik Vojtěch Forejt Jan Křetínský Marta Kwiatkowska Tobias Meggendorfer David Parker Mateusz Ujma Tue 02 April 2024
- Logic and Languages of Higher-Dimensional Automata Amazigh Amrane Hugo Bazille Uli Fahrenberg Marie Fortin Sun 31 March 2024
- Chase Termination Beyond Polynomial Time Philipp Hanisch Markus Krøtzsch Sun 31 March 2024
- The equational theory of the Weihrauch lattice with multiplication Eike Neumann Arno Pauly Cécilia Pradic Tue 26 March 2024
- Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes Jan Dreier Nikolas Mahlmann Szymon Toruńczyk Tue 26 March 2024
- Are Targeted Messages More Effective Martin Grohe Eran Rosenbluth Sun 24 March 2024
- Multiple Reachability in Linear Dynamical Systems Toghrul Karimov Edon Kelmendi Joel Ouaknine James Worrell Sun 24 March 2024
- On the Counting Complexity of the Skolem Problem Gorav Jindal Joel Ouaknine Mon 04 March 2024
- Continuous Pushdown VASS in One Dimension are Easy Guillermo A. Perez Shrisha Rao Sun 03 March 2024
- Equational Bit-Vector Solving via Strong Grøbner Bases Jiaxin Song Hongfei Fu Charles Zhang Sun 03 March 2024
- Tree-Verifiable Graph Grammars Mark Chimes Radu Iosif Florian Zuleger Sun 03 March 2024
- Linear Loop Synthesis for Quadratic Invariants S. Hitarth George Kenison Laura Kovács Anton Varonka Thu 29 February 2024
- Profinite trees, through monads and the lambda-calculus Vincent Moreau Thu 29 February 2024
- Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras Libor Barto Zarathustra Brady Andrei Bulatov Marcin Kozik Dmitriy Zhuk Thu 29 February 2024
- Equivariant ideals of polynomials Arka Ghosh Sławomir Lasota Wed 28 February 2024
- Theoretical foundations for programmatic reinforcement learning Guruprerana Shabadi Nathanael Fijalkow Théo Matricon Tue 20 February 2024
- Random DFA With One Added Transition Arnaud Carayol Philippe Duchon Florent Koechlin Cyril Nicaud Tue 13 February 2024
- Introduction to Categories and Categorical Logic S. Abramsky N. Tzevelekos Thu 08 February 2024
- The Formal Theory of Monads, Univalently Niels van der Weide Tue 06 February 2024
- Semilinear Home-space is Decidable for Petri Nets Petr Jančar Jérôme Leroux Tue 06 February 2024
- Semitopology: distributed collaborative action via topology, algebra, and logic Murdoch J. Gabbay Giuliano Losa Tue 06 February 2024
- Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees Sandra Kiefer Daniel Neuen Tue 06 February 2024
- Half-positional ømega-regular languages Antonio Casares Pierre Ohlmann Thu 01 February 2024
- A Resolution-Based Interactive Proof System for UNSAT Philipp Czerner Javier Esparza Valentin Krasotin Thu 01 February 2024
- Elementary first-order model checking for sparse graphs Jakub Gajarský Michał Pilipczuk Marek Sokołowski Giannos Stamoulis Szymon Toruńczyk Thu 01 February 2024
- Rank-decreasing transductions Mikołaj Bojańczyk Pierre Ohlmann Tue 30 January 2024
- A proof theory of right-linear (omega-)grammars via cyclic proofs Anupam Das Abhishek De Tue 30 January 2024
- Memoryless Strategies in Stochastic Reachability Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 January 2024
- On Dependent Variables in Reactive Synthesis S. Akshay Eliyahu Basa Supratik Chakraborty Dror Fried Tue 30 January 2024
- In Memory of Martin Davis Wesley Calvert Valentina Harizanov Eugenio G. Omodeo Alberto Policriti Alexandra Shlapentokh Sat 20 January 2024
- Diagrammatic Algebra of First Order Logic Filippo Bonchi Alessandro Di Giorgio Nathan Haydon Pawel Sobocinski Fri 19 January 2024
- Satisfiability of Context-free String Constraints with Subword-ordering and Transducers C Aiswarya Soumodev Mal Prakash Saivasan Fri 19 January 2024
- Causal Stream Inclusions Harald Ruess Sat 06 January 2024
- A Decision Method for Elementary Stream Calculus Harald Ruess Sat 06 January 2024
- Measuring well quasi-ordered finitary powersets Sergio Abriola Simon Halfon Aliaume Lopez Sylvain Schmitz Philippe Schnoebelen Isa Vialard Wed 27 December 2023
- A faster FPRAS for NFA Kuldeep S. Meel Sourav Chakraborty Umang Mathur Fri 22 December 2023
- Automatic Theorem Proving in Walnut Hamoon Mousavi Sat 16 December 2023
- Extending the WMSO+U Logic With Quantification Over Tuples Anita Badyl Paweł Parys Thu 30 November 2023
- Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version) Julian Gutierrez Anthony W. Lin Muhammad Najib Thomas Steeples Michael Wooldridge Tue 28 November 2023
- The Church Synthesis Problem with Parameters Alexander Rabinovich Sat 25 November 2023
- Place Bisimilarity is Decidable, Indeed Roberto Gorrieri Sat 25 November 2023
- Model Checking Linear Dynamical Systems under Floating-point Rounding Engel Lefaucheux Joel Ouaknine David Purser Mohammadamin Sharifi Sat 25 November 2023
- On the Metric Temporal Logic for Continuous Stochastic Processes Mitsumasa Ikeda Yoriyuki Yamagata Takayuki Kihara Sat 25 November 2023
- Factoring Pattern-Free Permutations into Separable ones Édouard Bonnet Romain Bourneuf Colin Geniet Stéphan Thomassé Sat 25 November 2023
- Stubborn Set Reduction for Two-Player Reachability Games Frederik Meyer Bønneland Peter Gjøl Jensen Kim Guldstrand Larsen Marco Muñiz Jiří Srba Fri 24 November 2023
- Partially Ordered Automata and Piecewise Testability Tomáš Masopust Markus Krøtzsch Fri 24 November 2023
- Checking Presence Reachability Properties on Parameterized Shared-Memory Systems Nicolas Waldburger Thu 23 November 2023
- Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries Diego Figueira Rémi Morvan Tue 21 November 2023
- The umbilical cord of finite model theory Yuri Gurevich Sun 19 November 2023
- An Automata Theoretic Characterization of Weighted First-Order Logic Dhruv Nevatia Benjamin Monmege Sun 19 November 2023
- Polynomial Time and Dependent Types Robert Atkey Thu 16 November 2023
- Nonnegativity Problems for Matrix Semigroups Julian D'Costa Joel Ouaknine James Worrell Thu 16 November 2023
- Syntactically and semantically regular languages of lambda-terms coincide through logical relations Vincent Moreau Lê Thành Dũng Nguyên Thu 16 November 2023
- Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems Mihir Vahanwala Sun 12 November 2023
- The Monadic Theory of Toric Words Valérie Berthé Toghrul Karimov Joel Ouaknine Mihir Vahanwala James Worrell Fri 10 November 2023
- Polyregular functions on unordered trees of bounded height Mikołaj Bojańczyk Bartek Klin Wed 08 November 2023
- Ramsey Quantifiers in Linear Arithmetics Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche Wed 08 November 2023
- Parikh's Theorem Made Symbolic Matthew Hague Artur Jeż Anthony W. Lin Wed 08 November 2023
- Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos Mon 06 November 2023
- A new proof of Euclid's algorithm Andrzej Salwicki Mon 06 November 2023
- A symmetric attractor-decomposition lifting algorithm for parity games Marcin Jurdziński Rémi Morvan Pierre Ohlmann K.~S. Thejaswini Mon 06 November 2023
- A Survey on Analog Models of Computation Olivier Bournez Amaury Pouly Mon 06 November 2023
- Intensional Kleene and Rice Theorems for Abstract Program Semantics Paolo Baldan Francesco Ranzato Linpeng Zhang Mon 06 November 2023
- A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages Frits Vaandrager Abhisek Midya Mon 06 November 2023
- A Decidable Equivalence for a Turing-complete, Distributed Model of Computation Arnaldo Cesco Roberto Gorrieri Mon 06 November 2023
- Latticed k-Induction with an Application to Probabilistic Programs Kevin Batz Mingshuai Chen Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Philipp Schrøer Sun 05 November 2023
- Lovász-Type Theorems and Game Comonads Anuj Dawar Tomáš Jakl Luca Reggio Sun 05 November 2023
- Deciding FO-definability of regular languages Agi Kurucz Vladislav Ryzhikov Yury Savateev Michael Zakharyaschev Sun 05 November 2023
- Multi-Structural Games and Number of Quantifiers Ronald Fagin Jonathan Lenchner Kenneth W. Regan Nikhil Vyas Sun 05 November 2023
- The Logic of Graph Neural Networks Martin Grohe Sun 05 November 2023
- Delta-Complete Decision Procedures for Satisfiability over the Reals Sicun Gao Jeremy Avigad Edmund Clarke Sun 05 November 2023
- Collatz conjecture becomes theorem Grażyna Mirkowska Andrzej Salwicki Thu 26 October 2023
- On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell Thu 26 October 2023
- Word Equations in Synergy with Regular Constraints (Technical Report) František Blahoudek Yu-Fang Chen David Chocholatý Vojtěch Havlena Lukáš Holík Ondřej Lengál Juraj Síč Sat 21 October 2023
- On the Length of Strongly Monotone Descending Chains over mathbbN^d Sylvain Schmitz Lia Schutze Sat 07 October 2023
- Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity Yoshiki Nakamura Sat 07 October 2023
- Reasoning about Intuitionistic Computation Tree Logic Davide Catta Vadim Malvone Aniello Murano Sat 07 October 2023
- A Formalization of Complete Discrete Valuation Rings and Local Fields María Inés de Frutos-Fernández Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio Thu 05 October 2023
- Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata Ismael Jecker Filip Mazowiecki David Purser Thu 05 October 2023
- Acyclic Petri and Workflow Nets with Resets Dmitry Chistikov Wojciech Czerwiński Piotr Hofman Filip Mazowiecki Henry Sinclair-Banks Thu 05 October 2023
- Positionality in Sigma0^2 and a completeness result Pierre Ohlmann Michał Skrzypczak Mon 02 October 2023
- The Membership and Threshold Problems for Hypergeometric Sequences with Quadratic Parameters George Kenison Wed 27 September 2023
- Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) Jos C. M. Baeten Bas Luttik Thu 21 September 2023
- A General Verification Framework for Dynamical and Control Models via Certificate Synthesis Alec Edwards Andrea Peruffo Alessandro Abate Thu 21 September 2023
- Recursive Solution of Initial Value Problems with Temporal Discretization Abbas Edalat Amin Farjudian Yiran Li Thu 21 September 2023
- Propositional Logics for the Lawvere Quantale Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin Thu 21 September 2023
- On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek Thu 14 September 2023
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Monus semantics in vector addition systems with states Pascal Baumann Khushraj Madnani Filip Mazowiecki Georg Zetzsche Fri 01 September 2023
- Integer Programming with GCD Constraints Rémy Defossez Christoph Haase Alessio Mansutti Guillermo A. Perez Tue 29 August 2023
- Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements Martin Grohe Moritz Lichter Daniel Neuen Pascal Schweitzer Mon 28 August 2023
- Algorithmic Verification of Continuous and Hybrid Systems Oded Maler Wed 09 August 2023
- On Robustness for the Skolem, Positivity and Ultimate Positivity Problems S. Akshay Hugo Bazille Blaise Genest Mihir Vahanwala Wed 09 August 2023
- On Streaming String Transducers and HDT0L Systems Emmanuel Filiot Pierre-Alain Reynier Wed 09 August 2023
- Real Equation Systems with Alternating Fixed-points (full version with proofs) Jan Friso Groote Tim A. C. Willemse Fri 28 July 2023
- Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations Manon Blanc Olivier Bournez Tue 25 July 2023
- A system of inference based on proof search: an extended abstract Dale Miller Tue 25 July 2023
- A Local-Time Semantics for Negotiations Madhavan Mukund Adwitee Roy B Srivathsan Sat 15 July 2023
- A first-order logic characterization of safety and co-safety languages Alessandro Cimatti Luca Geatti Nicola Gigante Angelo Montanari Stefano Tonetta Fri 14 July 2023
- Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond Jan Dreier Daniel Mock Peter Rossmanith Fri 14 July 2023
- Model-checking parametric lock-sharing systems against regular constraints Corto Mascle Anca Muscholl Igor Walukiewicz Thu 13 July 2023
- Foundations of probability-raising causality in Markov decision processes Christel Baier Jakob Piribauer Robin Ziemek Tue 11 July 2023
- Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system Joshua A. Grochow Tue 11 July 2023
- Logarithmic Weisfeiler--Leman Identifies All Graphs of Bounded Rank Width Michael Levet Nicholas Sieger Tue 11 July 2023
- Semenov Arithmetic, Affine VASS, and String Constraints Andrei Draghici Christoph Haase Florin Manea Thu 06 July 2023
- Deciding Predicate Logical Theories of Real-Valued Functions Stefan Ratschan Thu 06 July 2023
- Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Symmetric Weighted First-Order Model Counting Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu Thu 06 July 2023
- On Discovering Interesting Combinatorial Integer Sequences Martin Svatoš Peter Jung Jan Tóth Yuyi Wang Ondřej Kużelka Wed 28 June 2023
- Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs Sandra Kiefer Lê Thành Dũng Nguy~ên Cécilia Pradic Thu 22 June 2023
- Universal quantification makes automatic structures hard to decide Christoph Haase Radosław Piórkowski Thu 22 June 2023
- Reachability in 3-VASS is in Tower Qizhe Yang Yuxi Fu Tue 13 June 2023
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic Lê Thành Dung Nguy~ên Lutz Straßburger Wed 07 June 2023
- The category of MSO transductions Mikołaj Bojańczyk Fri 02 June 2023
- Termination of linear loops under commutative updates Ruiwen Dong Fri 26 May 2023
- Positive First-order Logic on Words and Graphs Denis Kuperberg Fri 26 May 2023
- On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation Chris Barrett Fri 26 May 2023
- Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates Bernard Boigelot Pascal Fontaine Baptiste Vergain Fri 26 May 2023
- Existential Definability over the Subword Ordering Pascal Baumann Moses Ganardi Ramanathan S. Thinniyam Georg Zetzsche Fri 26 May 2023
- Recursion Schemes, the MSO Logic, and the U quantifier Paweł Parys Thu 25 May 2023
- Making textsfIP=textsfPSPACE Practical: Efficient Interactive Protocols for BDD Algorithms Eszter Couillard Philipp Czerner Javier Esparza Rupak Majumdar Wed 24 May 2023
- Fermat's Last Theorem for regular primes Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi Wed 24 May 2023
- Simply typed convertibility is TOWER-complete even for safe lambda-terms Lê Thành Dũng Nguy~ên Wed 24 May 2023
- An Introduction to String Diagrams for Computer Scientists Robin Piedeleu Fabio Zanasi Tue 16 May 2023
- On the of Limits of Decision: the Adjacent Fragment of First-Order Logic Bartosz Bednarczyk Daumantas Kojelis Ian Pratt-Hartmann Mon 15 May 2023
- DNN Verification, Reachability, and the Exponential Function Problem Omri Isac Yoni Zohar Clark Barrett Guy Katz Sat 13 May 2023
- Logic for Explainable AI Adnan Darwiche Fri 12 May 2023
- Differentiable Inductive Logic Programming in High-Dimensional Space Stanisław J. Purgał David M. Cerna Cezary Kaliszyk Thu 11 May 2023
- Population Protocols with Unordered Data Michael Blondin François Ladouceur Sun 07 May 2023
- The complexity of Presburger arithmetic with power or powers Michael Benedikt Dmitry Chistikov Alessio Mansutti Sun 07 May 2023
- Contextual Equivalence for Alternation and Urgency Eren Keskin Roland Meyer Søren van der Wall Sun 07 May 2023
- A Monoidal View on Fixpoint Checks Paolo Baldan Richard Eggert Barbara Kønig Timo Matt Tommaso Padoan Sun 07 May 2023
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity Clemens Grabmayer Fri 05 May 2023
- Geometry of Reachability sets of Vector Addition Systems Roland Guttenberg Mikhail Raskin Javier Esparza Fri 05 May 2023
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures Luisa Herrmann Sebastian Rudolph Fri 05 May 2023
- History-deterministic Vector Addition Systems Sougata Bose David Purser Patrick Totzke Fri 05 May 2023
- Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes Jan Dreier Fri 05 May 2023
- Positionality of mean-payoff games on infinite graphs Pierre Ohlmann Fri 05 May 2023
- A semi-abelian approach to directed homology Eric Goubault Fri 05 May 2023
- On Exact Sampling in the Two-Variable Fragment of First-Order Logic Yuanhong Wang Juhua Pu Yuyi Wang Ondřej Kużelka Fri 28 April 2023
- Quantifying over Trees in Monadic Second-Order Logic Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron Fri 28 April 2023
- Central Submonads and Notions of Computation TItouan Carette Louis Lemonnier Vladimir Zamdzhiev Fri 28 April 2023
- Set-Theoretic and Type-Theoretic Ordinals Coincide Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu Fri 28 April 2023
- Weak Similarity in Higher-Order Mathematical Operational Semantics Henning Urbat Stelios Tsampas Sergey Goncharov Stefan Milius Lutz Schrøder Fri 28 April 2023
- ømegaPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs Mathieu Huot Alexander K. Lew Vikash K. Mansinghka Sam Staton Fri 28 April 2023
- Symmetries of structures that fail to interpret something finite Libor Barto Bertalan Bodor Marcin Kozik Antoine Mottet Michael Pinsker Fri 28 April 2023
- Computational expressivity of (circular) proofs with fixed points Gianluca Curzi Anupam Das Fri 28 April 2023
- Semi-simplicial Set Models for Distributed Knowledge Eric Goubault Roman Kniazev Jérémy Ledent Sergio Rajsbaum Fri 28 April 2023
- Higher-dimensional subdiagram matching Amar Hadzihasanovic Diana Kessler Fri 28 April 2023
- A categorical account of composition methods in logic Tomáš Jakl Dan Marsden Nihil Shah Fri 28 April 2023
- Simulating Logspace-Recursion with Logarithmic Quantifier Depth Steffen van Bergerem Martin Grohe Sandra Kiefer Luca Oeljeklaus Fri 28 April 2023
- Automatic Amortized Resource Analysis with Regular Recursive Types Jessie Grosen David M. Kahn Jan Hoffmann Fri 28 April 2023
- Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF Johannes K. Fichte Robert Ganian Markus Hecher Friedrich Slivovsky Sebastian Ordyniak Fri 28 April 2023
- Cut-restriction: from cuts to analytic cuts Agata Ciabattoni Timo Lang Revantha Ramanayake Fri 28 April 2023
- The Probabilistic Rabin Tree Theorem Damian Niwiński Paweł Parys Michał Skrzypczak Fri 28 April 2023
- Pseudorandom Finite Models Jan Dreier Jamie Tucker-Foltz Fri 28 April 2023
- Cartesian Coherent Differential Categories Thomas Ehrhard Aymeric Walch Fri 28 April 2023
- The Logic of Prefixes and Suffixes is Elementary under Homogeneity Dario Della Monica Angelo Montanari Gabriele Puppis Pietro Sala Fri 28 April 2023
- Formalizing pi4(mathbbS^3) cong mathbbZ/2mathbbZ and Computing a Brunerie Number in Cubical Agda Axel Ljungstrøm Anders Mørtberg Fri 28 April 2023
- Intuitionistic S4 is decidable Marianna Girlando Roman Kuznets Sonia Marin Marianela Morales Lutz Straßburger Fri 28 April 2023
- Minimization of Dynamical Systems over Monoids Georgios Argyris Alberto Lluch Lafuente Alexander Leguizamon Robayo Mirco Tribastone Max Tschaikowski Andrea Vandin Fri 28 April 2023
- Evidential Decision Theory via Partial Markov Categories Elena Di Lavore Mario Román Fri 28 April 2023
- The Iteration Number of the Weisfeiler-Leman Algorithm Martin Grohe Moritz Lichter Daniel Neuen Fri 28 April 2023
- Complete Graphical Language for Hermiticity-Preserving Superoperators Titouan Carette Timothée Hoffreumon Émile Larroque Renaud Vilmart Fri 28 April 2023
- Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations Yoshiki Nakamura Fri 28 April 2023
- From Thin Concurrent Games to Generalized Species of Structures Pierre Clairambault Federico Olimpieri Hugo Paquet Fri 28 April 2023
- The Cartesian Closed Bicategory of Thin Spans of Groupoids Pierre Clairambault Simon Forest Fri 28 April 2023
- A note on encoding infinity in ZFA with applications to register automata Michał R. Przybyłek Fri 28 April 2023
- The Krohn-Rhodes Logics Alessandro Ronca Fri 28 April 2023
- Embedded Finite Models beyond Restricted Quantifier Collapse Michael Benedikt Ehud Hrushovski Fri 28 April 2023
- The Descriptive Complexity of Graph Neural Networks Martin Grohe Fri 28 April 2023
- PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse Diego Figueira Santiago Figueira Edwin Pin Fri 28 April 2023
- On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata Tobias Winkler Joost-Pieter Katoen Fri 28 April 2023
- Universal Algebra for Generalised Metric Spaces Matteo Mio Ralph Sarkis Valeria Vignudelli Fri 28 April 2023
- Verifying linear temporal specifications of constant-rate multi-mode systems Michael Blondin Philip Offtermatt Alex Sansfaçon-Buchanan Fri 28 April 2023
- Distal combinatorial tools for graphs of bounded twin-width Wojciech Przybyszewski Fri 28 April 2023
- Revisiting Membership Problems in Subclasses of Rational Relations Pascal Bergstraßer Moses Ganardi Fri 28 April 2023
- Deterministic stream-sampling for probabilistic programming: semantics and verification Fredrik Dahlqvist Alexandra Silva William Smith Fri 28 April 2023
- A coherent differential PCF Thomas Ehrhard Wed 19 April 2023
- About the Expressive Power and Complexity of Order-Invariance with Two Variables Bartosz Bednarczyk Julien Grange Tue 18 April 2023
- A language for evaluating derivatives of functionals using automatic differentiation Pietro Di Gianantonio Abbas Edalat Ran Gutin Tue 18 April 2023
- Complementation: a bridge between finite and infinite proofs Gilles Dowek Ying Jiang Mon 17 April 2023
- The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete) Laure Daviaud David Purser Mon 17 April 2023
- Markov Chains and Unambiguous Automata Christel Baier Stefan Kiefer Joachim Klein David Muller James Worrell Mon 17 April 2023
- Circular (Yet Sound) Proofs Albert Atserias Massimo Lauria Mon 17 April 2023
- Model-Checking Branching-Time Properties of Stateless Probabilistic Pushdown Systems and Related Expansion Tianrong Lin Thu 30 March 2023
- The Membership Problem for Hypergeometric Sequences with Quadratic Parameters George Kenison Klara Nosan Mahsa Shirmohammadi James Worrell Tue 28 March 2023
- Algebra, coalgebra, and minimization in polynomial differential equations Michele Boreale Sat 25 March 2023
- A Formal Proof of the Strong Normalization Theorem for System T in Agda Sebastián Urciuoli Sat 25 March 2023
- An implicit function theorem for the stream calculus Michele Boreale Luisa Collodi Daniele Gorla Sat 25 March 2023
- Reachability in Injective Piecewise Affine Maps Faraz Ghahremani Edon Kelmendi Joel Ouaknine Fri 24 March 2023
- Bijective proofs for Eulerian numbers in types B and D Luigi Santocanale Fri 10 March 2023
- Stabilized profunctors and stable species of structures Marcelo Fiore Zeinab Galal Hugo Paquet Fri 10 March 2023
- Fixpoint operators for 2-categorical structures Zeinab Galal Fri 10 March 2023
- Canonical decompositions in monadically stable and bounded shrubdepth graph classes Pierre Ohlmann Michał Pilipczul Szymon Toruńczyk Wojciech Przybyszewski Fri 03 March 2023
- The mathsfAC^0-Complexity Of Visibly Pushdown Languages Stefan Gøller Nathan Grosshans Thu 02 March 2023
- Positivity-hardness results on Markov decision processes Jakob Piribauer Christel Baier Thu 02 March 2023
- String Diagrammatic Electrical Circuit Theory Guillaume Boisseau Paweł Sobociński Mon 20 February 2023
- A compositional theory of digital circuits Dan R. Ghica George Kaye David Sprunger Mon 20 February 2023
- Computing Reachable Simulations Pierre Ganty Nicolas Manini Francesco Ranzato Mon 20 February 2023
- First-Order Model Checking on Structurally Sparse Graph Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Mon 20 February 2023
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures Stephane Demri Karin Quaas Mon 20 February 2023
- Lower bounds for Choiceless Polynomial Time via Symmetric XOR-circuits Benedikt Pago Mon 20 February 2023
- Languages With Decidable Learning: A Meta-Theorem Paul Krogmeier P. Madhusudan Mon 20 February 2023
- From Polynomial Invariants to Linear Loops George Kenison Laura Kovács Anton Varonka Mon 20 February 2023
- Deterministic regular functions of infinite words Olivier Carton Gaetan Douéneau-Tabot Emmanuel Filiot Sarah Winter Mon 20 February 2023
- Exact Probabilistic Inference Using Generating Functions Lutz Klinkenberg Mingshuai Chen Joost-Pieter Katoen Tobias Winkler Thu 09 February 2023
- Orbit-finite linear programming Arka Ghosh Piotr Hofman Sławomir Lasota Tue 07 February 2023
- Flip-width: Cops and Robber on dense graphs Szymon Toruńczyk Tue 07 February 2023
- Flipper games for monadically stable graph classes Jakub Gajarský Nikolas Mahlmann Rose McCarty Pierre Ohlmann Michał Pilipczuk Wojciech Przybyszewski Sebastian Siebertz Marek Sokołowski Szymon Toruńczyk Tue 07 February 2023
- Characterizing Positionality in Games of Infinite Duration over Infinite Graphs Pierre Ohlmann Tue 07 February 2023
- Alien Coding Thibault Gauthier Miroslav Olšák Josef Urban Tue 07 February 2023
- Profinite lambda-terms and parametricity Sam van Gool Paul-André Melliès Vincent Moreau Thu 02 February 2023
- Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs Patricia Bouyer Mickael Randour Pierre Vandenhove Fri 20 January 2023
- On Presburger arithmetic extended with non-unary counting quantifiers Peter Habermehl Dietrich Kuske Fri 20 January 2023
- Shades of Iteration: from Elgot to Kleene Sergey Goncharov Fri 20 January 2023
- Folding interpretations Mikołaj Bojańczyk Tue 17 January 2023
- Modular Mix-and-Match Complementation of Buchi Automata (Technical Report) Vojtěch Havlena Ondřej Lengál Yong Li Barbora Šmahlíková Andrea Turrini Wed 11 January 2023
- An Automated Approach to the Collatz Conjecture Emre Yolcu Scott Aaronson Marijn J. H. Heule Sat 07 January 2023
- On the growth rate of polyregular functions Mikołaj Bojańczyk Thu 29 December 2022
- Sum and Tensor of Quantitative Effects Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin Thu 29 December 2022
- Completeness and the Finite Model Property for Kleene Algebra, Reconsidered Tobias Kappé Thu 29 December 2022
- Branch-Well-Structured Transition Systems and Extensions Benedikt Bollig Alain Finkel Amrita Suresh Thu 15 December 2022
- The Functional Machine Calculus II: Semantics Chris Barrett Willem Heijltjes Guy McCusker Tue 29 November 2022
- An invitation to the promise constraint satisfaction problem Andrei Krokhin Jakub Opršal Sat 26 November 2022
- Alternating Good-for-MDP Automata Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi Dominik Wojtczak Fri 28 October 2022
- Timed Games with Bounded Window Parity Objectives James C. A. Main Mickael Randour Jeremy Sproston Fri 28 October 2022
- NP Decision Procedure for Monomial and Linear Integer Constraints Rodrigo Raya Jad Hamza Viktor Kunčak Tue 25 October 2022
- Compiling Petri Net Mutual Reachability in Presburger Jérôme Leroux Tue 25 October 2022
- How to Play Optimally for Regular Objectives Patricia Bouyer Nathanael Fijalkow Mickael Randour Pierre Vandenhove Tue 25 October 2022
- Fairness and promptness in Muller formulas Youssouf Oualhadj Léo Tible Daniele Varacca Mon 17 October 2022
- Descriptive complexity of the generalized spectra of graphs Aida Abiad Anuj Dawar Octavio Zapata Mon 17 October 2022
- Solving Infinite Games in the Baire Space Benedikt Brutsch Wolfgang Thomas Sun 09 October 2022
- The Geometry of Reachability in Continuous Vector Addition Systems with States Shaull Almagor Arka Ghosh Tim Leys Guillermo A. Perez Sun 09 October 2022
- Order-theoretic trees: monadic second-order descriptions and regularity Bruno Courcelle Sun 09 October 2022
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics Jos C. M. Baeten Cesare Carissimo Bas Luttik Sun 09 October 2022
- Recursion does not always help Gordon Plotkin Mon 03 October 2022
- Twin-width V: linear minors, modular counting, and matrix multiplication Édouard Bonnet Ugo Giocanti Patrice Ossona de Mendez Stéphan Thomassé Mon 03 October 2022
- Characterising memory in infinite games Antonio Casares Pierre Ohlmann Mon 03 October 2022
- A characterization of functions over the integers computable in polynomial time using discrete differential equations Olivier Bournez Arnaud Durand Mon 03 October 2022
- Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions) Clemens Grabmayer Mon 03 October 2022
- What's Decidable about Discrete Linear Dynamical Systems Toghrul Karimov Edon Kelmendi Joel Ouaknine James Worrell Fri 23 September 2022
- A Hierarchy of Nondeterminism Bader Abu Radi Orna Kupferman Ofer Leshkowitz Fri 23 September 2022
- Model-Checking Branching-Time Properties of Stateless Probabilistic Pushdown Systems and Its Quantum Extension Tianrong Lin Fri 23 September 2022
- From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics Corto Mascle Daniel Neider Maximilian Schwenger Paulo Tabuada Alexander Weinert Martin Zimmermann Fri 16 September 2022
- Model Checking Temporal Properties of Recursive Probabilistic Programs Tobias Winkler Christina Gehnen Joost-Pieter Katoen Fri 16 September 2022
- Learning of Structurally Unambiguous Probabilistic Grammars Dana Fisman Dolav Nitay Michal Ziv-Ukelson Fri 16 September 2022
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Fri 16 September 2022
- Formalising the Krull Topology in Lean Sebastian Monnet Fri 16 September 2022
- On Power Set Axiom Leonid A. Levin Fri 16 September 2022
- Universal Algorithms for Parity Games and Nested Fixpoints Marcin Jurdziński Rémi Morvan K. S. Thejaswini Tue 30 August 2022
- Structure and Power: an emerging landscape Samson Abramsky Mon 29 August 2022
- Verifying generalised and structural soundness of workflow nets via relaxations Michael Blondin Filip Mazowiecki Philip Offtermatt Mon 29 August 2022
- Basic Elements of Logical Graphs Lucas Dixon Mon 29 August 2022
- Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics Erich Gradel Hayyan Helal Matthias Naaf Richard Wilke Mon 29 August 2022
- Order-Invariance of Two-Variable Logic is coNExpTime-complete Bartosz Bednarczyk Thu 18 August 2022
- One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Tue 16 August 2022
- Countdown mu-calculus Jędrzej Kołodziejski Bartek Klin Wed 03 August 2022
- Countdown games, and simulation on (succinct) one-counter nets Petr Jancar Petr Osicka Zdenek Sawa Tue 26 July 2022
- Natural Colors of Infinite Words Rudiger Ehlers Sven Schewe Tue 26 July 2022
- Neural Networks in Imandra: Matrix Representation as a Verification Choice Remi Desmartin Grant Passmore Ekaterina Komendantskaya Thu 21 July 2022
- Zone-based verification of timed automata: extrapolations, simulations and what next Patricia Bouyer Paul Gastin Frédéric Herbreteau Ocan Sankur B. Srivathsan Thu 21 July 2022
- Fixed Points and Noetherian Topologies Aliaume Lopez Thu 21 July 2022
- First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs Colin Geniet Stéphan Thomassé Thu 21 July 2022
- Parikh Automata over Infinite Words Shibashis Guha Ismael Jecker Karoliina Lehtinen Martin Zimmermann Thu 21 July 2022
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus Marcelo Fiore Thu 21 July 2022
- A Survey on Satisfiability Checking for the mu-Calculus through Tree Automata Daniel Hausmann Nir Piterman Sat 16 July 2022
- On the Complexity of Rational Verification Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Sat 16 July 2022
- Order-Invariance in the Two-Variable Fragment of First-Order Logic Julien Grange Sat 16 July 2022
- On two-variable guarded fragment logic with expressive local Presburger constraints Chia-Hsuan Lu Tony Tan Fri 01 July 2022
- Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Szymon Toruńczyk Fri 01 July 2022
- Monitoring Timed Properties (Revisited) Thomas Møller Grosen Sean Kauffman Kim Guldstrand Larsen Martin Zimmermann Fri 01 July 2022
- Counting of Teams in First-Order Team Logics Anselm Haak Juha Kontinen Fabian Muller Heribert Vollmer Fan Yang Fri 01 July 2022
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic Beniamino Accattoli Thu 02 June 2022
- Properties of the Hebrew Calendar David M. Russinoff Tue 31 May 2022
- The boundedness and zero isolation problems for weighted automata over nonnegative rationals Wojciech Czerwiński Engel Lefaucheux Filip Mazowiecki David Purser Markus A. Whiteland Tue 31 May 2022
- Choiceless Polynomial Time with Witnessed Symmetric Choice Moritz Lichter Pascal Schweitzer Tue 31 May 2022
- Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche Thu 26 May 2022
- Register Set Automata (Technical Report) Sabína Gulčíková Ondřej Lengál Thu 26 May 2022
- On eventual non-negativity and positivity for the weighted sum of powers of matrices S Akshay Supratik Chakraborty Debtanu Pal Thu 26 May 2022
- Automata Learning: An Algebraic Approach Henning Urbat Lutz Schrøder Fri 20 May 2022
- Does a Program Yield the Right Distribution Verifying Probabilistic Programs via Generating Functions Mingshuai Chen Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler Tue 10 May 2022
- Half-Positional Objectives Recognized by Deterministic Buchi Automata Patricia Bouyer Antonio Casares Mickael Randour Pierre Vandenhove Tue 10 May 2022
- The variance-penalized stochastic shortest path problem Jakob Piribauer Ocan Sankur Christel Baier Sat 30 April 2022
- Distributed controller synthesis for deadlock avoidance Hugo Gimbert Corto Mascle Anca Muscholl Igor Walukiewicz Sat 30 April 2022
- The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems Julian D'Costa Toghrul Karimov Joel Ouaknine Mahmoud Salamati James Worrell Fri 29 April 2022
- Skolem Meets Schanuel Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell Fri 29 April 2022
- Unboundedness for Recursion Schemes: A Simpler Type System David Barozzini Paweł Parys Jan Wróblewski Wed 27 April 2022
- Parameterized safety verification of round-based shared-memory systems Nathalie Bertrand Nicolas Markey Ocan Sankur Nicolas Waldburger Wed 27 April 2022
- Learning Higher-Order Programs without Meta-Interpretive Learning Stanisław J. Purgał David M. Cerna Cezary Kaliszyk Wed 27 April 2022
- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability Michael Cadilhac Guillermo A. Pérez Thu 14 April 2022
- Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep Michael Pinsker Sat 02 April 2022
- The Regular Languages of First-Order Logic with One Alternation Corentin Barloy Michael Cadilhac Charles Paperman Thomas Zeume Mon 14 March 2022
- Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński Łukasz Orlikowski Sat 12 March 2022
- Stochastic Games with Synchronizing Objectives Laurent Doyen Mon 28 February 2022
- One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Thu 24 February 2022
- Identity testing for radical expressions Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell Thu 17 February 2022
- Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable Wojciech Czerwiński Piotr Hofman Thu 17 February 2022
- The Membership Problem for Hypergeometric Sequences with Rational Parameters Klara Nosan Amaury Pouly Mahsa Shirmohammadi James Worrell Thu 17 February 2022
- Optimizing tree decompositions in MSO Mikołaj Bojańczyk Michał Pilipczuk Mon 07 February 2022
- Focus-style proof systems and interpolation for the alternation-free mu-calculus Johannes Marti Yde Venema Thu 03 February 2022
- Treelike decompositions for transductions of sparse graphs Jan Dreier Jakub Gajarský Sandra Kiefer Michał Pilipczuk Szymon Toruńczyk Tue 01 February 2022
- An Overview of the HFL Model Checking Project Naoki Kobayashi Tue 14 September 2021
- Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses Jerome Jochems Mon 13 September 2021
- Logics Meet 2-Way 1-Clock Alternating Timed Automata Shankara Narayanan Krishna Khushraj Nanik Madnani Manuel Jr. Mazo Paritosh K. Pandya Wed 08 September 2021
- A Survey of the Proof-Theoretic Foundations of Logic Programming Dale Miller Tue 07 September 2021
- The Weihrauch degree of finding Nash equilibria in multiplayer games Tonicha Crook Arno Pauly Fri 03 September 2021
- Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Mon 16 August 2021
- First-order natural deduction in Agda Louis Warren Tue 10 August 2021
- Decidable Verification of Uninterpreted Programs Umang Mathur P. Madhusudan Mahesh Viswanathan Mon 02 August 2021
- Pecan: An Automated Theorem Prover for Automatic Sequences using Buchi Automata Reed Oei Dun Ma Christian Schulz Philipp Hieronymi Mon 02 August 2021
- Logical Characterization of Coherent Uninterpreted Programs Hari Govind V K Sharon Shoham Arie Gurfinkel Mon 02 August 2021
- First-Order Logic with Connectivity Operators Nicole Schrader Sebastian Siebertz Alexandre Vigny Fri 30 July 2021
- Separator logic and star-free expressions for graphs Mikolaj Bojanczyk Fri 30 July 2021
- Rational Verification for Probabilistic Systems Julian Gutierrez Lewis Hammond Anthony Lin Muhammad Najib Michael Wooldridge Tue 27 July 2021
- Semiring Provenance for Buchi Games: Strategy Analysis with Absorptive Polynomials Erich Gradel Niels Lucking Matthias Naaf Fri 25 June 2021
- Towards an arboretum of monadically stable classes of graphs Jaroslav Nesetril Patrice Ossona de Mendez Sebastian Siebertz Wed 19 May 2021
- On sets of terms with a given intersection type Richard Statman Andrew Polonsky Wed 12 May 2021
- A Variety Theorem for Relational Universal Algebra Chad Nester Wed 12 May 2021
- Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey Abolfazl Lavaei Sadegh Soudjani Alessandro Abate Majid Zamani Fri 07 May 2021
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Shibashis Guha Ismael Jecker Karoliina Lehtinen Martin Zimmermann Fri 07 May 2021
- Higher-Order Model Checking Step by Step Paweł Parys Thu 06 May 2021
- Reachability Switching Games John Fearnley Martin Gairing Matthias Mnich Rahul Savani Fri 30 April 2021
- Towards a more efficient approach for the satisfiability of two-variable logic Ting-Wei Lin Chia-Hsuan Lu Tony Tan Fri 30 April 2021
- A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis Preey Shah Aman Bansal S. Akshay Supratik Chakraborty Fri 30 April 2021
- Reachability in Vector Addition Systems is Ackermann-complete Wojciech Czerwiński Łukasz Orlikowski Thu 29 April 2021
- Multi-weighted Automata and MSO Logic Manfred Droste Vitaly Perevoshchikov Thu 29 April 2021
- Parikh's theorem for infinite alphabets Piotr Hofman Marta Juzepczuk Sławomir Lasota Mohnish Pattathurajan Tue 27 April 2021
- The Reachability Problem for Petri Nets is Not Primitive Recursive Jérôme Leroux Tue 27 April 2021
- Extraction of a computer-certified ODE solver Grigory Devadze Lars Flessing Stefan Streif Thu 08 April 2021
- A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné Thu 08 April 2021
- Scalar and Vectorial mu-calculus with Atoms Bartek Klin Mateusz Łełyk Wed 17 March 2021
- Combinators and the Story of Computation Stephen Wolfram Mon 22 February 2021
- On synthesizing Skolem functions for first order logic formulae S. Akshay Supratik Chakraborty Mon 22 February 2021
- Exploring Rulial Space: The Case of Turing Machines Stephen Wolfram Sun 14 February 2021
- Products in a Category with Only One Object Richard Statman Sun 14 February 2021
- Determinacy in Discrete-Bidding Infinite-Duration Games Milad Aghajohari Guy Avni Thomas A. Henzinger Sun 14 February 2021
- Complete trace models of state and control Guilhem Jaber Andrzej S. Murawski Fri 22 January 2021
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruńczyk Thomas Zeume Thu 21 January 2021
- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP Richard Mayr Sven Schewe Patrick Totzke Dominik Wojtczak Thu 21 January 2021
- Computability of Data-Word Transductions over Different Data Domains Léo Exibard Emmanuel Filiot Nathan Lhote Pierre-Alain Reynier Thu 21 January 2021
- Yet another argument in favour of NP=CoNP Edward Hermann Haeusler Wed 13 January 2021
- A circular version of Gødel's T and its abstraction complexity Anupam Das Tue 05 January 2021
- Reachability relations of timed pushdown automata Lorenzo Clemente Sławomir Lasota Fri 01 January 2021
- Fast Computations on Ordered Nominal Sets David Venhoek Joshua Moerman Jurriaan Rot Sun 27 December 2020
- Intersection Types and (Positive) Almost-Sure Termination Ugo Dal Lago Claudia Faggian Simona Ronchi Della Rocca Sun 27 December 2020
- Formalizing the Ring of Witt Vectors Johan Commelin Robert Y. Lewis Sun 27 December 2020
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals Miika Hannula Jonni Virtema Sun 27 December 2020
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities Jeremy Sproston Fri 11 December 2020
- Optimizing tree decompositions in MSO Mikołaj Bojańczyk Michał Pilipczuk Fri 11 December 2020
- Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete Stefan Gøller Mathieu Hilaire Mon 23 November 2020
- Proof compression and NP versus PSPACE. Part 2 Lev Gordeev Thu 19 November 2020
- On the Complexity of CSP-based Ideal Membership Problems Andrei A. Bulatov Akbar Rafiey Thu 12 November 2020
- Type safety of rewrite rules in dependent types Frédéric Blanqui Wed 04 November 2020
- Formalizing IMO Problems and Solutions in Isabelle/HOL Filip Marić Sana Stojanović-Đurđević Wed 04 November 2020
- Isabelle/HOL as a Meta-Language for Teaching Logic Asta Halkjær From Jørgen Villadsen Patrick Blackburn Wed 04 November 2020
- String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report) Lukas Holik Petr Janku Anthony W. Lin Philipp Rummer Tomas Vojnar Wed 04 November 2020
- Linear Integer Arithmetic Revisited Martin Bromberger Thomas Sturm Christoph Weidenbach Fri 30 October 2020
- Deductive Stability Proofs for Ordinary Differential Equations Yong Kiam Tan André Platzer Fri 30 October 2020
- Deciding ømega-Regular Properties on Linear Recurrence Sequences Shaull Almagor Toghrul Karimov Edon Kelmendi Jøel Ouaknine James Worrell Fri 30 October 2020
- Relatively Complete Verification of Probabilistic Programs Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Fri 30 October 2020
- Verification of Flat FIFO Systems Alain Finkel M. Praveen Sun 25 October 2020
- Harnessing LTL With Freeze Quantification Daniel Hausmann Stefan Milius Lutz Schrøder Sun 25 October 2020
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Thomas Gogacz Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Jean Christoph Jung Filip Murlak Sun 25 October 2020
- Completeness of Kozen's Axiomatization for the Modal mu-Calculus: A Simple Proof Kuniaki Tamura Tue 20 October 2020
- Word equations in linear space Artur Jeż Mon 19 October 2020
- Relating Structure and Power: Extended Version Samson Abramsky Nihil Shah Sun 18 October 2020
- Reachability is Tower Complete Yuxi Fu Qizhe Yang Fri 16 October 2020
- A Survey of Languages for Formalizing Mathematics Cezary Kaliszyk Florian Rabe Fri 16 October 2020
- Directed Reachability for Infinite-State Systems Michael Blondin Christoph Haase Philip Offtermatt Fri 16 October 2020
- The Complexity of the Homomorphism Problem for Boolean structures Libor Barto William DeMeo Antoine Mottet Thu 15 October 2020
- Twin-width II: small classes Édouard Bonnet Colin Geniet Eun Jung Kim Stéphan Thomassé Rémi Watrigant Wed 14 October 2020
- Twin-width I: tractable FO model checking Édouard Bonnet Eun Jung Kim Stéphan Thomassé Rémi Watrigant Wed 14 October 2020
- Reachability for Updatable Timed Automata made faster and more effective Paul Gastin Sayan Mukherjee B Srivathsan Wed 07 October 2020
- The Complexity of Reachability in Parametric Markov Decision Processes Sebastian Junges Joost-Pieter Katoen Guillermo A. Pérez Tobias Winkler Wed 07 October 2020
- Equivalence of Hidden Markov Models with Continuous Observations Oscar Darwin Stefan Kiefer Wed 07 October 2020
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs Naoki Kobayashi Ugo Dal Lago Charles Grellois Wed 07 October 2020
- Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Tue 06 October 2020
- Local Higher-Order Fixpoint Iteration Florian Bruse Jørg Kreiker Martin Lange Marco Salzer Thu 24 September 2020
- Foundations Jeremy Avigad Tue 22 September 2020
- A general definition of dependent type theories Andrej Bauer Philipp G. Haselwarter Peter LeFanu Lumsdaine Sun 20 September 2020
- Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus Andreas Abel Christian Sattler Mon 14 September 2020
- Definable decompositions for graphs of bounded linear cliquewidth Mikołaj Bojańczyk Martin Grohe Michał Pilipczuk Sat 12 September 2020
- Ambiguity Hierarchy of Regular Infinite Tree Languages Alexander Rabinovich Doron Tiferet Sat 12 September 2020
- A Functional (Monadic) Second-Order Theory of Infinite Trees Anupam Das Colin Riba Mon 07 September 2020
- A Henkin-style completeness proof for the modal logic S5 Bruno Bentzen Mon 07 September 2020
- Qualitative Multi-Objective Reachability for Ordered Branching MDPs Kousha Etessami Emanuel Martinov Mon 31 August 2020
- Taming denumerable Markov decision processes with decisiveness Nathalie Bertrand Patricia Bouyer Thomas Brihaye Paulin Fournier Mon 31 August 2020
- Finite Model Reasoning in Expressive Fragments of First-Order Logic Lidia Tendera Tue 18 August 2020
- Implicit automata in typed łambda-calculi II: streaming transducers vs categorical semantics Nguyên Thành Dũng Lê Camille Noûs Pierre Pradic Tue 04 August 2020
- Decision problems for linear recurrences involving arbitrary real numbers Eike Neumann Tue 04 August 2020
- Inductive Reachability Witnesses Ali Asadi Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady Mohammad Mahdavi Sat 01 August 2020
- Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility Anthony W. Lin Rupak Majumdar Fri 31 July 2020
- Reasoning about strategies on collapsible pushdown arenas with imperfect information Bastien Maubert Aniello Murano Olivier Serre Fri 31 July 2020
- Dependent Pearl: Normalization by realizability Pierre-Évariste Dagand Lionel Rieg Gabriel Scherer Tue 28 July 2020
- What is an EUTxO blockchain Murdoch J. Gabbay Tue 28 July 2020
- Formalizing Constructive Quantifier Elimination in Agda Jeremy Pope Sat 25 July 2020
- Infinite Types, Infinite Data, Infinite Interaction Pierre Hyvernat Sat 25 July 2020
- Differential games, locality and model checking for FO logic of graphs Jakub Gajarský Maximilian Gorsky Stephan Kreutzer Thu 23 July 2020
- Who Verifies the Verifiers A Computer-Checked Implementation of the DPLL Algorithm in Dafny Cezar-Constantin Andrici Ştefan Ciobâcă Thu 23 July 2020
- Universality Problem for Unambiguous VASS Wojciech Czerwiński Diego Figueira Piotr Hofman Thu 23 July 2020
- Efficient Restrictions of Immediate Observation Petri Nets Michael Raskin Chana Weil-Kennedy Thu 23 July 2020
- Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free Jérôme Leroux Grégoire Sutre Tue 21 July 2020
- Smart Choices and the Selection Monad Martin Abadi Gordon Plotkin Tue 21 July 2020
- The Big-O Problem for Labelled Markov Chains and Weighted Automata Dmitry Chistikov Stefan Kiefer Andrzej S. Murawski David Purser Sat 18 July 2020
- Rankwidth meets stability Jaroslav Nesetril Patrice Ossona de Mendez Michal Pilipczuk Roman Rabinovich Sebastian Siebertz Sat 18 July 2020
- Solving Random Parity Games in Polynomial Time Richard Combes Mikael Touati Sat 18 July 2020
- Strategy Complexity of Parity Objectives in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 14 July 2020
- On flat lossy channel machines Philippe Schnoebelen Tue 14 July 2020
- Generating Functions for Probabilistic Programs Lutz Klinkenberg Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Joshua Moerman Tobias Winkler Tue 14 July 2020
- Certifying Emptiness of Timed Buchi Automata Simon Wimmer Frédéric Herbreteau Jaco van de Pol Thu 09 July 2020
- A Curry-Howard Approach to Church's Synthesis Pierre Pradic Colin Riba Wed 08 July 2020
- Cantor-Bernstein implies Excluded Middle Pierre Pradic Chad E. Brown Wed 08 July 2020
- Typed lambda-calculi and superclasses of regular functions Lê Thành Dung Nguy~ên Wed 08 July 2020
- Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals Alessandro Artale Jean Christoph Jung Andrea Mazzullo Ana Ozaki Frank Wolter Wed 08 July 2020
- On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems Toghrul Karimov Joel Ouaknine James Worrell Wed 08 July 2020
- Parameterized Analysis of Immediate Observation Petri Nets Javier Esparza Mikhail Raskin Chana Weil-Kennedy Wed 08 July 2020
- The Complexity of Verifying Population Protocols Javier Esparza Stefan Jaax Mikhail Raskin Chana Weil-Kennedy Wed 08 July 2020
- Flatness and Complexity of Immediate Observation Petri Nets Mikhail Raskin Chana Weil-Kennedy Javier Esparza Wed 08 July 2020
- Controlling a Random Population is EXPTIME-hard Corto Mascle Mahsa Shirmohammadi Patrick Totzke Wed 08 July 2020
- The Complexity of Flat Freeze LTL Benedikt Bollig Karin Quaas Arnaud Sangnier Wed 08 July 2020
- Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game Rupak Majumdar Anne-Kathrin Schmuck Mon 06 July 2020
- Active learning of timed automata with unobservable resets Léo Henry Nicolas Markey Thierry Jéron Mon 06 July 2020
- Logical Separability of Incomplete Data under Ontologies Jean Christoph Jung Carsten Lutz Hadrien Pulcini Frank Wolter Mon 06 July 2020
- Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment Jean Christoph Jung Frank Wolter Mon 06 July 2020
- On the decidability and complexity of Metric Temporal Logic over finite words Joel Ouaknine James Worrell Mon 06 July 2020
- The Integers as a Higher Inductive Type Thorsten Altenkirch Luis Scoccola Sat 04 July 2020
- An Approach to Regular Separability in Vector Addition Systems Wojciech Czerwiński Georg Zetzsche Sat 04 July 2020
- Correct and Efficient Antichain Algorithms for Refinement Checking Maurice Laveaux Jan Friso Groote Tim A. C. Willemse Mon 22 June 2020
- Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis Grigory Devadze Victor Magron Stefan Streif Mon 22 June 2020
- On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Mohan Dantam Amaury Pouly Mon 22 June 2020
- A program for the full axiom of choice Jean-Louis Krivine Sat 13 June 2020
- On Decidability of Time-bounded Reachability in CTMDPs Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Sat 13 June 2020
- A complete equational axiomatisation of partial differentiation Gordon Plotkin Sat 13 June 2020
- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version) Yannick Forster Dominik Kirst Dominik Wehr Tue 09 June 2020
- Testing Membership for Timed Automata Richard Lassaigne Michel de Rougemont Fri 29 May 2020
- Formalising perfectoid spaces Kevin Buzzard Johan Commelin Patrick Massot Fri 29 May 2020
- The Iteration Number of Colour Refinement Sandra Kiefer Brendan D. McKay Thu 21 May 2020
- On the Separability Problem of String Constraints Parosh Aziz Abdulla Mohamed Faouzi Atig Vruda Dave Shankara Narayanan Krishna Wed 20 May 2020
- Monads and ``do'' notation in the Wolfram Language Kacper Topolnicki Wed 20 May 2020
- Gems of Corrado Böhm Henk P. Barendregt Wed 20 May 2020
- The Extended Theory of Trees and Algebraic (Co)datatypes Fabian Zaiser C. -H. Luke Ong Tue 19 May 2020
- Qualitative Controller Synthesis for Consumption Markov Decision Processes František Blahoudek Tomáš Brázdil Petr Novotný Melkior Ornik Pranay Thangeda Ufuk Topcu Tue 19 May 2020
- Partial Quantifier Elimination By Certificate Clauses Eugene Goldberg Tue 19 May 2020
- Monads and Quantitative Equational Theories for Nondeterminism and Probability Matteo Mio Valeria Vignudelli Tue 19 May 2020
- How to generate random lambda terms Maciej Bendkowski Tue 19 May 2020
- Bouncing threads for infinitary and circular proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Tue 19 May 2020
- Infinite-Duration All-Pay Bidding Games Guy Avni Ismael Jecker Đorđe Žikelić Fri 15 May 2020
- Proof-relevant Category Theory in Agda Jason Z. S. Hu Jacques Carette Fri 15 May 2020
- The Extended HOA Format for Synthesis Guillermo A. Perez Thu 14 May 2020
- Bisimilarity in fresh-register automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos Thu 14 May 2020
- Some Model Theory of Guarded Negation Vince Barany Michael Benedikt Balder ten Cate Thu 14 May 2020
- Bisimulation Finiteness of Pushdown Systems Is Elementary Stefan Gøller Paweł Parys Thu 14 May 2020
- Featured Games Uli Fahrenberg Axel Legay Wed 13 May 2020
- MathZero, The Classification Problem, and Set-Theoretic Type Theory David McAllester Wed 13 May 2020
- Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra Paul Brunet David Pym Wed 13 May 2020
- Compositionality of the MSO+U Logic Paweł Parys Wed 13 May 2020
- Games Where You Can Play Optimally with Arena-Independent Finite Memory Patricia Bouyer Stéphane Le Roux Youssouf Oualhadj Mickael Randour Pierre Vandenhove Wed 13 May 2020
- Insignificant Choice Polynomial Time Klaus-Dieter Schewe Wed 13 May 2020
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics Nicolas Behr Jean Krivine Wed 13 May 2020
- Dynamic IFC Theorems for Free Maximilian Algehed Jean-Philippe Bernardy Catalin Hritcu Wed 13 May 2020
- Revisiting Synthesis for One-Counter Automata Guillermo A. Pérez Ritam Raha Wed 06 May 2020
- Regular Model Checking Revisited (Technical Report) Anthony W. Lin Philipp Rummer Wed 06 May 2020
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata Salomon Sickert Javier Esparza Tue 05 May 2020
- Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Thu 30 April 2020
- Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier Tue 28 April 2020
- Invariants for Continuous Linear Dynamical Systems Shaull Almagor Edon Kelmendi Joel Ouaknine James Worrell Mon 27 April 2020
- Verification of Continuous-time Markov Chains Ji Guan Nengkun Yu Sat 25 April 2020
- Formalization of Forcing in Isabelle/ZF Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Sat 25 April 2020
- Characterizing consensus in the Heard-Of model A. R. Balasubramanian Igor Walukiewicz Sat 25 April 2020
- The Imandra Automated Reasoning System (system description) Grant Olney Passmore Simon Cruanes Denis Ignatovich Dave Aitken Matt Bray Elijah Kagan Kostya Kanishev Ewen Maclean Nicola Mometto Sat 25 April 2020
- Proof Theory of Riesz Spaces and Modal Riesz Spaces Christophe Lucas Matteo Mio Sat 25 April 2020
- Descriptive complexity of real computation and probabilistic independence logic Miika Hannula Juha Kontinen Jan Van den Bussche Jonni Virtema Sun 19 April 2020
- Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory Dominik Kirst Dominique Larchey-Wendling Sun 19 April 2020
- The Resolution of Keller's Conjecture Joshua Brakensiek Marijn Heule John Mackey David Narváez Wed 08 April 2020
- Decidability and Synthesis of Abstract Inductive Invariants Francesco Ranzato Wed 08 April 2020
- Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady Ehsan Kafshdar Goharshady Tue 07 April 2020
- On amenability of constraint satisfaction problems Michał R. Przybyłek Wed 01 April 2020
- Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs Michele Boreale Wed 01 April 2020
- No-Go Theorems for Distributive Laws Maaike Zwart Dan Marsden Mon 30 March 2020
- Deep Weisfeiler Leman Martin Grohe Pascal Schweitzer Daniel Wiebking Sun 29 March 2020
- Automated Formal Synthesis of Lyapunov Neural Networks Alessandro Abate Daniele Ahmed Mirco Giacobbe Andrea Peruffo Sat 21 March 2020
- The Strahler number of a parity game Laure Daviaud Marcin Jurdziński K. S. Thejaswini Sat 21 March 2020
- QED at Large: A Survey of Engineering of Formally Verified Software Talia Ringer Karl Palmskog Ilya Sergey Milos Gligoric Zachary Tatlock Sat 21 March 2020
- Hilbert's Tenth Problem in Coq Dominique Larchey-Wendling Yannick Forster Thu 12 March 2020
- Beyond sets with atoms: definability in first order logic Michał R. Przybyłek Thu 12 March 2020
- From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy Anupam Das Sat 07 March 2020
- How Good Is a Strategy in a Game With Nature Arnaud Carayol Olivier Serre Tue 03 March 2020
- Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS Silvio Ghilardi Alessandro Gianola Deepak Kapur Tue 03 March 2020
- FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis Anshumali Shrivastava Moshe Y. Vardi Zhiwei Zhang Tue 03 March 2020
- On Computability of Data Word Functions Defined by Transducers Léo Exibard Emmanuel Filiot Pierre-Alain Reynier Tue 03 March 2020
- A Bridge between Polynomial Optimization and Games with Imperfect Recall Hugo Gimbert Soumyajit Paul B. Srivathsan Tue 03 March 2020
- Formal verification of higher-order probabilistic programs Tetsuya Sato Alejandro Aguirre Gilles Barthe Marco Gaboardi Deepak Garg Justin Hsu Tue 03 March 2020
- Decomposing Probabilistic Lambda-calculi Ugo Dal Lago Giulio Guerrieri Willem Heijltjes Tue 03 March 2020
- Extensions of ømega-Regular Languages Mikołaj Bojańczyk Edon Kelmendi Rafał Stefański Georg Zetzsche Tue 03 March 2020
- Mathematical Logic in Computer Science Assaf Kfoury Sun 23 February 2020
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership Andreas Krebs Kamal Lodaya Paritosh K. Pandya Howard Straubing Fri 21 February 2020
- Continuous Regular Functions Alexi Block Gorman Philipp Hieronymi Elliot Kaplan Ruoyu Meng Erik Walsberg Zihe Wang Ziqin Xiong Hongru Yang Fri 14 February 2020
- Theories of real addition with and without a predicate for integers Alexis Bès Christian Choffrut Wed 12 February 2020
- Relativization of Gurevich's Conjectures Anatole Dahan Anuj Dawar Wed 12 February 2020
- Means-fit effectivity Yuri Gurevich Wed 12 February 2020
- SAT-Based ATL Satisfiability Checking Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek Wed 12 February 2020
- Alternating Tree Automata with Qualitative Semantics Raphael Berthon Nathanael Fijalkow Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Sophie Pinchinat Sasha Rubin Olivier Serre Wed 12 February 2020
- A proof of strong normalisation using domain theory Thierry Coquand Arnaud Spiwack Sat 08 February 2020
- Modular coinduction up-to for higher-order languages via first-order transition systems Jean-Marie Madiot Damien Pous Davide Sangiorgi Thu 30 January 2020
- Pumping lemmas for weighted automata Agnishom Chattopadhyay Filip Mazowiecki Anca Muscholl Cristian Riveros Fri 24 January 2020
- Algorithmic Meta-Theorems Stephan Kreutzer Thu 23 January 2020
- On the Parameterized Intractability of Monadic Second-Order Logic Stephan Kreutzer Thu 23 January 2020
- Expansions of MSO by cardinality relations Alexis Bès Tue 21 January 2020
- Tabled Typeclass Resolution Daniel Selsam Sebastian Ullrich Leonardo de Moura Tue 14 January 2020
- Decisiveness of Stochastic Systems and its Application to Hybrid Models Patricia Bouyer Thomas Brihaye Mickael Randour Cédric Rivière Pierre Vandenhove Tue 14 January 2020
- One-Clock Priced Timed Games are PSPACE-hard John Fearnley Rasmus Ibsen-Jensen Rahul Savani Tue 14 January 2020
- Aggregate Queries on Sparse Databases Szymon Toruńczyk Wed 01 January 2020
- Axiomatizing rectangular grids with no extra non-unary relations Eryk Kopczynski Fri 27 December 2019
- Notes on Category Theory with examples from basic mathematics Paolo Perrone Fri 27 December 2019
- Using Hoare logic in a process algebra setting J. A. Bergstra C. A. Middelburg Fri 27 December 2019
- A Formal Proof of the Irrationality of zeta(3) Assia Mahboubi Thomas Sibut-Pinote Mon 16 December 2019
- idris-ct: A Library to do Category Theory in Idris Fabrizio Genovese Alex Gryzlov Jelle Herold Andre Knispel Marco Perone Erik Post André Videla Mon 16 December 2019
- Life is Random, Time is Not: Markov Decision Processes with Window Objectives Thomas Brihaye Florent Delgrange Youssouf Oualhadj Mickael Randour Thu 12 December 2019
- A Survey on Theorem Provers in Formal Methods M. Saqib Nawaz Moin Malik Yi Li Meng Sun M. Ikram Ullah Lali Wed 11 December 2019
- Sequential Relational Decomposition Dror Fried Axel Legay Joel Ouaknine Moshe Y. Vardi Wed 11 December 2019
- Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar Qingxiang Wang Chad Brown Cezary Kaliszyk Josef Urban Wed 11 December 2019
- Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity Dušan Knop Martin Koutecký Tomáš Masařík Tomáš Toufar Wed 11 December 2019
- Revisiting Call-by-value Bohm trees in light of their Taylor expansion Emma Kerinec Giulio Manzonetto Michele Pagani Wed 11 December 2019
- Properties of nowhere dense graph classes related to independent set problem Grzegorz Fabiański Wed 11 December 2019
- A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time Flavio Ferrarotti Senen Gonzáles Klaus-Dieter Schewe José María Turull-Torres Wed 11 December 2019
- Forward Analysis for WSTS, Part III: Karp-Miller Trees Michael Blondin Alain Finkel Jean Goubault-Larrecq Thu 07 November 2019
- Verifying Visibility-Based Weak Consistency Siddharth Krishna Michael Emmi Constantin Enea Dejan Jovanovic Wed 06 November 2019
- Introduction to Univalent Foundations of Mathematics with Agda Martín Høtzel Escardó Tue 05 November 2019
- Controlling a random population Thomas Colcombet Nathanael Fijalkow Pierre Ohlmann Tue 05 November 2019
- Polynomial Probabilistic Invariants and the Optional Stopping Theorem Anne Schreuder C. -H. Luke Ong Tue 29 October 2019
- MSO-Definable Regular Model Checking Vrunda Dave Taylor Dohmen Shankara Narayana Krishna Ashutosh Trivedi Tue 29 October 2019
- Fifty years of Hoare's Logic Krzysztof R. Apt Ernst-Ruediger Olderog Fri 25 October 2019
- An operational interpretation of coinductive types Łukasz Czajka Fri 25 October 2019
- Metamath Zero: The Cartesian Theorem Prover Mario Carneiro Fri 25 October 2019
- A Curry-Howard Approach to Church's Synthesis Pierre Pradic Colin Riba Fri 18 October 2019
- Logical and Algebraic Characterizations of Rational Transductions Emmanuel Filiot Olivier Gauwin Nathan Lhote Fri 18 October 2019
- Circuit pedantry Andreas Blass Yuri Gurevich Fri 18 October 2019
- Mixed powerdomains for probability and nondeterminism Klaus Keimel Gordon Plotkin Mon 14 October 2019
- CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories Fadil Kallat Tristan Schafer Anna Vasileva Mon 14 October 2019
- Affine Extensions of Integer Vector Addition Systems with States Michael Blondin Christoph Haase Filip Mazowiecki Mikhail Raskin Mon 14 October 2019
- Categories for Me, and You Clément Aubert Mon 14 October 2019
- Succinct Population Protocols for Presburger Arithmetic Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax Fri 11 October 2019
- Revisiting MITL to Fix Decision Procedures Nima Roohi Mahesh Viswanathan Fri 11 October 2019
- The Well Structured Problem for Presburger Counter Machines Alain Finkel Ekanshdeep Gupta Tue 08 October 2019
- On the variable hierarchy of first-order spectra Eryk Kopczynski Tony Tan Wed 02 October 2019
- Aperiodic Weighted Automata and Weighted First-Order Logic Manfred Droste Paul Gastin Tue 01 October 2019
- Towards Races in Linear Logic Wen Kokke J. Garrett Morris Philip Wadler Tue 01 October 2019
- Descriptive complexity of graph spectra Anuj Dawar Simone Severini Octavio Zapata Mon 30 September 2019
- The Complexity of Reachability in Affine Vector Addition Systems with States Michael Blondin Mikhail Raskin Tue 10 September 2019
- PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic Christoph Wernhard Fri 30 August 2019
- A Type-Based HFL Model Checking Algorithm Youkichi Hosoi Naoki Kobayashi Takeshi Tsukada Thu 29 August 2019
- Verification of Flat FIFO Systems Alain Finkel M. Praveen Wed 21 August 2019
- Two-variable logic revisited Yanger Ma Tony Tan Wed 21 August 2019
- Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Wed 21 August 2019
- Bidirectional Typing Joshua Dunfield Neel Krishnaswami Mon 19 August 2019
- Shortest paths in one-counter systems Dmitry Chistikov Wojciech Czerwiński Piotr Hofman Michał Pilipczuk Michael Wehar Sun 18 August 2019
- Parikh Images of Regular Languages: Complexity and Applications Anthony Widjaja To Fri 16 August 2019
- The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs Sandra Kiefer Daniel Neuen Thu 15 August 2019
- The far side of the cube Dan R. Ghica Wed 14 August 2019
- Regular Separability and Intersection Emptiness are Independent Problems Ramanathan S. Thinniyam Georg Zetzsche Wed 14 August 2019
- Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable Raphael Berthon Emmanuel Filiot Shibashis Guha Bastien Maubert Aniello Murano Laureline Pinault Jean-François Raskin Sasha Rubin Sun 11 August 2019
- Recompression: a simple and powerful technique for word equations Artur Jeż Thu 08 August 2019
- Continuity of Functional Transducers: A Profinite Study of Rational Functions Michael Cadilhac Olivier Carton Charles Paperman Wed 07 August 2019
- On the Monniaux Problem in Abstract Interpretation Nathanael Fijalkow Engel Lefaucheux Pierre Ohlmann Joel Ouaknine Amaury Pouly James Worrell Mon 22 July 2019
- Computing Nested Fixpoints in Quasipolynomial Time Daniel Hausmann Lutz Schrøder Sat 20 July 2019
- One-Variable Logic Meets Presburger Arithmetic Bartosz Bednarczyk Sat 20 July 2019
- Solving Mean-Payoff Games via Quasi Dominions Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero Sat 20 July 2019
- Algebraic Invariants for Linear Hybrid Automata Rupak Majumdar Joel Ouaknine Amaury Pouly James Worrell Fri 19 July 2019
- Weihrauch Complexity in Computable Analysis Vasco Brattka Guido Gherardi Arno Pauly Fri 12 July 2019
- On the logical complexity of cyclic arithmetic Anupam Das Thu 11 July 2019
- From LCF to Isabelle/HOL Lawrence C. Paulson Tobias Nipkow Makarius Wenzel Tue 09 July 2019
- On Higher-Order Probabilistic Subrecursion (Long Version) Flavien Breuvart Ugo Dal Lago Agathe Herrou Tue 09 July 2019
- Revisiting local time semantics for networks of timed automata R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 09 July 2019
- What's decidable about parametric timed automata Étienne André Tue 09 July 2019
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Qiyi Tang Franck van Breugel Tue 09 July 2019
- Timed Basic Parallel Processes Lorenzo Clemente Piotr Hofman Patrick Totzke Wed 03 July 2019
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
- Verification and Control of Turn-Based Probabilistic Real-Time Games Marta Kwiatkowska Gethin Norman David Parker Mon 24 June 2019
- Ontology Focusing: Knowledge-enriched Databases on Demand Tomasz Gogacz Víctor Gutiérrez-Basulto Yazmín A. Ibáñez-García Filip Murlak Magdalena Ortiz Mantas Šimkus Fri 21 June 2019
- Parity Games with Weights Sven Schewe Alexander Weinert Martin Zimmermann Wed 19 June 2019
- Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence Petr Jancar Wed 12 June 2019
- Definability and Interpolation within Decidable Fixpoint Logics Michael Benedikt Pierre Bourhis Michael Vanden Boom Fri 07 June 2019
- Separation and Renaming in Nominal Sets Joshua Moerman Jurriaan Rot Fri 07 June 2019
- Non-Homogenizable Classes of Finite Structures Albert Atserias Szymon Toruńczyk Fri 07 June 2019
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases Bernard Boigelot Julien Brusten Veronique Bruyere Fri 31 May 2019
- Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski Cezary Kaliszyk Josef Urban Fri 31 May 2019
- String-to-String Interpretations with Polynomial-Size Output Mikołaj Bojańczyk Sandra Kiefer Nathan Lhote Fri 31 May 2019
- A new coinductive confluence proof for infinitary lambda calculus Łukasz Czajka Tue 28 May 2019
- Automata Terms in a Lazy WSkS Decision Procedure (Technical Report) Vojtěch Havlena Lukáš Holík Ondřej Lengál Tomáš Vojnar Tue 28 May 2019
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic Sandra Kiefer Pascal Schweitzer Tue 28 May 2019
- Simulations in Rank-Based Buchi Automata Complementation Yu-Fang Chen Vojtěch Havlena Ondřej Lengál Mon 20 May 2019
- holpy: Interactive Theorem Proving in Python Bohua Zhan Thu 16 May 2019
- Lambda Calculus and Probabilistic Computation Claudia Faggian Simona Ronchi della Rocca Mon 13 May 2019
- Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero Sat 11 May 2019
- The height of piecewise-testable languages and the complexity of the logic of subwords Prateek Karandikar Philippe Schnoebelen Wed 08 May 2019
- Covering and separation for logical fragments with modular predicates Thomas Place Varun Ramanathan Pascal Weil Mon 06 May 2019
- Termination Analysis by Learning Terminating Programs Matthias Heizmann Jochen Hoenicke Andreas Podelski Wed 24 April 2019
- Fast algorithms for handling diagonal constraints in timed automata Paul Gastin Sayan Mukherjee B Srivathsan Tue 23 April 2019
- Cubical Type Theory: a constructive interpretation of the univalence axiom Cyril Cohen Thierry Coquand Simon Huber Anders Mørtberg Mon 15 April 2019
- On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Mon 18 March 2019
- The complexity of mean payoff games using universal graphs Nathanael Fijalkow Paweł Gawrychowski Pierre Ohlmann Mon 18 March 2019
- Timed Systems through the Lens of Logic S. Akshay Paul Gastin Vincent Juge Shankara Narayanan Krishna Thu 14 March 2019
- Equivalence of pushdown automata via first-order grammars Petr Jancar Thu 14 March 2019
- On the Mints Hierarchy in First-Order Intuitionistic Logic Aleksy Schubert Paweł Urzyczyn Konrad Zdanowski Sat 09 March 2019
- Efficient reduction of nondeterministic automata with application to language inclusion testing Lorenzo Clemente Richard Mayr Thu 07 March 2019
- Decidability of Timed Communicating Automata Lorenzo Clemente Mon 04 March 2019
- Automata theory in nominal sets Mikołaj Bojańczyk Bartek Klin Sławomir Lasota Wed 30 January 2019
- Model Checking Flat Freeze LTL on One-Counter Automata Antonia Lechner Richard Mayr Joel Ouaknine Amaury Pouly James Worrell Mon 21 January 2019
- Intersection Types and Counting Paweł Parys Fri 11 January 2019
- Normalisation by Traversals C. -H. Luke Ong Fri 21 December 2018
- Universal Safety for Timed Petri Nets is PSPACE-complete P. Aziz Abdulla M. Faouzi Atig R. Ciobanu R. Mayr P. Totzke Fri 23 November 2018
- Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata Vojtěch Forejt Petr Jančar Stefan Kiefer James Worrell Tue 20 November 2018
- The Complexity of Bisimulation and Simulation on Finite Systems Moses Ganardi Stefan Gøller Markus Lohrey Tue 20 November 2018
- Efficient reduction of nondeterministic automata with application to language inclusion testing L. Clemente R. Mayr Tue 20 November 2018
- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence K. Asada N. Kobayashi R. Sin'ya T. Tsukada Tue 30 October 2018
- Occam's Razor Applied to the Petri Net Coverability Problem T. Geffroy J. Leroux G. Sutre Wed 17 October 2018
- Gossiping in Message-Passing Systems B. Bollig M. Fortin P. Gastin Tue 09 October 2018
- On parametrized verification of asynchronous, shared-memory pushdown systems M. Fortin A. Muscholl I. Walukiewicz Tue 09 October 2018
- Presburger arithmetic, rational generating functions, and quasi-polynomials K. Woods Mon 10 September 2018
- Nash Equilibrium and Bisimulation Invariance J. Gutierrez P. Harrenstein G. Perelli M. Wooldridge Thu 06 September 2018
- The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 S. Kiefer I. Ponomarenko P. Schweitzer Thu 06 September 2018
- A Proof of Kamp's theorem A. Rabinovich Thu 23 August 2018
- Bbackslash``uchi-Kamp Theorems for 1-clock ATA S. Narayanan Krishna K. Madnani P. Pandya Wed 18 July 2018
- Boundedness in languages of infinite words Mikołaj Bojańczyk Thomas Colcombet Wed 18 July 2018
- Star Height via Games M. Bojanczyk Wed 18 July 2018
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems M. Hague R. Meyer S. Muskalla M. Zimmermann Fri 06 July 2018
- The Complexity of Concurrent Rational Synthesis R. Condurache Y. Oualhadj N. Troquard Thu 21 June 2018
- Alternating Nonzero Automata P. Fournier H. Gimbert Thu 21 June 2018
- Linear Equations with Ordered Data P. Hofman S. Lasota Thu 21 June 2018
- It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ``Happened Before'' B. Bollig M. Fortin P. Gastin Thu 21 June 2018
- An Optimal Value Iteration Algorithm for Parity Games N. Fijalkow Tue 19 June 2018
- Verification for Timed Automata extended with Unbounded Discrete Data Structures Karin Quaas Tue 19 June 2018
- Model Checking Markov Chains Against Unambiguous Buchi Automata M. Benedikt R. Lenhardt J. Worrell Fri 15 June 2018
- A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games L. Daviaud M. Jurdzinski R. Lazic Wed 06 June 2018
- Beyond admissibility: Dominance between chains of strategies N. Basset I. Jecker A. Pauly J.-F. Raskin M. Van den Bogaard Sat 02 June 2018
- Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms L. Clemente S. Lasota Tue 01 May 2018
- Timed pushdown automata revisited L. Clemente S. Lasota Thu 26 April 2018
- Monadic Second Order Logic with Measure and Category Quantifiers Matteo Mio Michał Skrzypczak Henryk Michalewski Tue 10 April 2018
- DroidStar: Callback Typestates for Android Classes A. Radhakrishna N. V. Lewchenko S. Meier S. Mover K. Chaitanya Sripada D. Zufferey B.-Y. E. Chang P. Černý Sat 31 March 2018
- Timed Session Types Massimo Bartoletti Tiziana Cimoli Maurizio Murgia Tue 13 March 2018
- Typing weak MSOL properties Sylvain Salvati Igor Walukiewicz Fri 02 March 2018
Library Size: 13G (807 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
