- Two Easy Theories Whose Combination is Hard V. R. Pratt Mon 29 April 2019
- Modular difference logic is hard Nikolaj Bjørner Andreas Blass Yuri Gurevich Madan Musuvathi Mon 29 April 2019
- Complexity Results for First-Order Theories of Temporal Constraints Manolis Koubarakis Mon 29 April 2019
- How Unequal Is Europe Evidence from Distributional National Accounts, 1980-2017 Thomas Blanchet Lucas Chancel Amory Gethin Thu 25 April 2019
- GNU Emacs Reference Card AAVV Thu 25 April 2019
- A Simple and Optimal Complementation Algorithm for Buchi Automata Joel D. Allred Ulrich Ultes-Nitsche Wed 24 April 2019
- Advanced Automata-based Algorithms for Program Termination Checking Yu-Fang Chen Matthias Heizmann Ondřej Lengál Yong Li Ming-Hsien Tsai Andrea Turrini Lijun Zhang Wed 24 April 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
- Parametric updates in parametric timed automata Étienne André Didier Lime Mathias Ramparison Tue 23 April 2019
- KRONOS: a verification tool for real-time systems Sergio Yovine Mon 22 April 2019
- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems Abdeldjalil Boudjadar Frits Vaandrager Jean-Paul Bodeveix Mamoun Filali Mon 22 April 2019
- Model-checking Timed ATL for Durational Concurrent Game Structures François Laroussinie Nicolas Markey Ghassan Oreiby Sat 20 April 2019
- Definitional Proof-Irrelevance without K Gaetan Gilbert Jesper Cockx Matthieu Sozeau Nicolas Tabareau Tue 16 April 2019
- On Higher Inductive Types in Cubical Type Theory Thierry Coquand Simon Huber Anders Mørtberg Tue 16 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
- A Model of Finite Automata on Timed ømega-Trees Salvatore La Torre Margherita Napoli Mon 15 April 2019
- Timed Definite Clause Omega-Grammars Neda Saeedloei Gopal Gupta Mon 15 April 2019
- Nominal Automata with Name Binding Lutz Schrøder Dexter Kozen Stefan Milius Thorsten Wißmann Mon 15 April 2019
- The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers Pierre McKenzie Klaus W. Wagner Sun 14 April 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
