- FORQ-based Language Inclusion Formal Testing Kyveli Doveri Pierre Ganty Nicolas Mazzocchi Mon 01 August 2022
- Learning Hands-On Electronics from Home: A Simulator for Fritzing Andres Faiña Wed 27 July 2022
- Measure, Pi10-classes and complete extensions of PA Antonín Kučera Wed 27 July 2022
- Countdown games, and simulation on (succinct) one-counter nets Petr Jancar Petr Osicka Zdenek Sawa Tue 26 July 2022
- State Complexity of Protocols with Leaders Jérôme Leroux Tue 26 July 2022
- Natural Colors of Infinite Words Rudiger Ehlers Sven Schewe Tue 26 July 2022
- From linear temporal logic and limit-deterministic Buchi automata to deterministic parity automata Javier Esparza Jan Křetínský Jean-François Raskin Salomon Sickert Tue 26 July 2022
- From Kruskal's theorem to Friedman's gap condition Anton Freund Fri 22 July 2022
- Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology Jean Goubault-Larrecq Simon Halfon Aliaume Lopez Thu 21 July 2022
- Infinitary Noetherian Constructions I. Infinite Words Jean Goubault-Larrecq Thu 21 July 2022
- Statures and Sobrification Ranks of Noetherian Spaces Jean Goubault-Larrecq Bastien Laboureix Thu 21 July 2022
- Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031) Jean Goubault-Larrecq Monika Seisenberger Victor Selivanov Andreas Weiermann Thu 21 July 2022
- Neural Networks in Imandra: Matrix Representation as a Verification Choice Remi Desmartin Grant Passmore Ekaterina Komendantskaya Thu 21 July 2022
- Z-polyregular functions Thomas Colcombet Gaetan Douéneau-Tabot Aliaume Lopez 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 Congruence-Based Perspective on Finite Tree Automata Pierre Ganty Elena Gutiérrez Pedro Valero Sat 16 July 2022
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
