- Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi Anders Mørtberg Andreas Abel Tue 17 December 2019
- Automata on Timed Structures Samy Jaziri Tue 17 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
- Counter machines and counter languages Patrick C. Fischer Albert R. Meyer Arnold L. Rosenberg Fri 13 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 game approach to determinize timed automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen Wed 11 December 2019
- Expected Window Mean-Payoff Benjamin Bordais Shibashis Guha Jean-François Raskin Wed 11 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
- Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk) Ranko Lazic 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
- Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs Susanna F. de Rezende Jakob Nordstrøm Kilian Risse Dmitry Sokolov Wed 11 December 2019
- On the Determinization of Timed Systems Patricia Bouyer Samy Jaziri Nicolas Markey Tue 10 December 2019
- Effective definability of the reachability relation in timed automata Martin Franzle Karin Quaas Mahsa Shirmohammadi James Worrell Mon 09 December 2019
- Monadic generalized spectra Ronald Fagin Thu 28 November 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
