- Verifying Performance Equivalence for Timed Basic Parallel Processes Béatrice Bérard Anne Labroue Philippe Schnoebelen Sat 13 April 2019
- Inductive-inductive definitions Fredrik Nordvall Forsberg Sat 13 April 2019
- Lambda terms for natural deduction, sequent calculus and cut elimination Henk Barendregt Silvia Ghilezan Sat 13 April 2019
- Races in Classical Linear Logic Wen Kokke Sat 13 April 2019
- Jerzy Łoś Positional Calculus and the Origin of Temporal Logic Marcin Tkaczyk Tomasz Jarmużek Sat 13 April 2019
- On the minimum computation time of functions Stephen A. Cook Sat 13 April 2019
- Lower Bounds for Multiplication via Network Coding Peyman Afshani Casper Benjamin Freksen Lior Kamma Kasper Green Larsen Sat 13 April 2019
- On Functions Weakly Computable by Pushdown Petri Nets and Related Systems J. Leroux M. Praveen Ph. Schnoebelen G. Sutre Fri 12 April 2019
- Efficient Parallel Strategy Improvement for Parity Games John Fearnley Fri 12 April 2019
- Inapproximability results for constrained approximate Nash equilibria Argyrios Deligkas John Fearnley Rahul Savani Fri 12 April 2019
- Efficient approximation of optimal control for continuous-time Markov games John Fearnley Markus N. Rabe Sven Schewe Lijun Zhang Fri 12 April 2019
- Mean-Payoff Games on Timed Automata Shibashis Guha Marcin Jurdzinski Krishna S. Ashutosh Trivedi Fri 12 April 2019
- Two-Player Reachability-Price Games on Single-Clock Timed Automata Michal Rutkowski Fri 12 April 2019
- On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction Leonid Khachiyan Endre Boros Konrad Borys Khaled Elbassioni Vladimir Gurvich Gabor Rudolf Jihui Zhao Fri 12 April 2019
- Geometric Intersection Problems Michael Ian Shamos Dan Hoey Fri 12 April 2019
- Approximating the Existential Theory of the Reals Argyrios Deligkas John Fearnley Themistoklis Melissourgos Paul G. Spirakis Thu 11 April 2019
- Competitive optimisation on timed automata Ashutosh Trivedi Thu 11 April 2019
- A Faster Algorithm for Solving One-Clock Priced Timed Games Thomas Dueholm Hansen Rasmus Ibsen-Jensen Peter Bro Miltersen Thu 11 April 2019
- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words Pierre Pradic Colin Riba Thu 11 April 2019
- The Bernays-Schønfinkel-Ramsey Class of Separation Logic on Arbitrary Domains Mnacho Echenim Radu Iosif Nicolas Peltier Thu 11 April 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
