- Complexity of solutions of equations over sets of natural numbers Alexander Okhotin Artur Jez Mon 22 December 2014
- Percentile Queries in Multi-Dimensional Markov Decision Processes Mickael Randour Jean-François Raskin Ocan Sankur Sat 20 December 2014
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tomás Brázdil Václav Brozek Krishnendu Chatterjee Vojtech Forejt Antonín Kucera Mon 15 December 2014
- The Fixpoint-Iteration Algorithm for Parity Games Florian Bruse Michael Falk Martin Lange Thu 11 December 2014
- Buffered Simulation Games for Buchi Automata Milka Hutagalung Martin Lange Etienne Lozes Thu 11 December 2014
- A Logical Characterization of Timed Pushdown Languages Manfred Droste Vitaly Perevoshchikov Thu 27 November 2014
- Get me off Your Fucking Mailing List David Mazières Eddie Kohler Tue 25 November 2014
- Appraising Fairness in Distributed Languages K. R. Apt N. Francez S. Katz Mon 24 November 2014
- Structured Communication-Centered Programming for Web Services Marco Carbone Kohei Honda Nobuko Yoshida Fri 21 November 2014
- On Global Types and Multi-Party Session Giuseppe Castagna Mariangiola Dezani-Ciancaglini Luca Padovani Fri 21 November 2014
- Heaps and Hops Jules Villard Thu 20 November 2014
- ACME: Automata with Counters, Monoids and Equivalence Nathanael Fijalkow Denis Kuperberg Tue 18 November 2014
- Energy parity games Krishnendu Chatterjee Laurent Doyen Fri 14 November 2014
- Multipoint Session Types for a Distributed Calculus Eduardo Bonelli Adriana Compagnoni Thu 13 November 2014
- An Object Calculus for Asynchronous Communication Kohei Honda Mario Tokoro Thu 13 November 2014
- Model Checking Succinct and Parametric One-counter Automata Stefan Gøller Christoph Haase Joel Ouaknine James Worrell Thu 13 November 2014
- Branching-Time Model Checking of One-Counter Processes and Timed Automata S. Gøller M. Lohrey Thu 13 November 2014
- How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) Nils Bulling Valentin Goranko Wed 12 November 2014
- Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models Steen Vester Wed 12 November 2014
- Multiparty Asynchronous Session Types Kohei Honda Nobuko Yoshida Marco Carbone Mon 10 November 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
