- Exponential lower bounds for the pigeonhole principle Toniann Pitassi Paul Beame Russell Impagliazzo Wed 12 February 2020
- Complete Abstractions for Checking Language Inclusion Pierre Ganty Francesco Ranzato Pedro Valero Tue 11 February 2020
- Language Inclusion Algorithms as Complete Abstract Interpretations Pierre Ganty Francesco Ranzato Pedro Valero Tue 11 February 2020
- Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity Daniele Mundici Tue 11 February 2020
- NP and Craig's Interpolation Theorem Daniele Mundici Tue 11 February 2020
- A proof of strong normalisation using domain theory Thierry Coquand Arnaud Spiwack Sat 08 February 2020
- Models of the Lambda Calculus: An Introduction Mark E. Hall Sat 08 February 2020
- On path equivalence of nondeterministic finite automata Wen-Guey Tzeng Fri 07 February 2020
- Complexity of weak acceptance conditions in tree automata Jakub Neumann Andrzej Szepietowski Igor Walukiewicz Fri 07 February 2020
- Fooling Turing machines with sublogarithmic space: a note on `For completeness, sublogarithmic space is no space' by M. Agrawal Andrzej Szepietowski Fri 07 February 2020
- For completeness, sublogarithmic space is no space Manindra Agrawal Fri 07 February 2020
- Nash Equilibria in Concurrent Priced Games Miroslav Klimoš Kim G. Larsen Filip Štefaňák Jeppe Thaarup Thu 06 February 2020
- Timed Control with Observation Based and Stuttering Invariant Strategies Franck Cassez Alexandre David Kim G. Larsen Didier Lime Jean-François Raskin Thu 06 February 2020
- Two-Player Reachability-Price Games on Single-Clock Timed Automata Michal Rutkowski Thu 06 February 2020
- On the optimal reachability problem of weighted timed automata Patricia Bouyer Thomas Brihaye Véronique Bruyère Jean-François Raskin Thu 06 February 2020
- Weighted Timed Automata: Model-Checking and Games Patricia Bouyer Thu 06 February 2020
- UPPAAL-Tiga: Time for Playing Games Gerd Behrmann Agnès Cougnard Alexandre David Emmanuel Fleury Kim G. Larsen Didier Lime Thu 06 February 2020
- Optimal Reachability for Weighted Timed Games Rajeev Alur Mikhail Bernadsky P. Madhusudan Thu 06 February 2020
- Optimal Strategies in Priced Timed Game Automata Patricia Bouyer Franck Cassez Emmanuel Fleury Kim G. Larsen Thu 06 February 2020
- Optimal-Reachability and Control for Acyclic Weighted Timed Automata Salvatore La Torre Supratik Mukhopadhyay Aniello Murano Thu 06 February 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
