- Finite delay solutions for sequential conditions F. A. Hosch L. H. Landweber Thu 01 October 2015
- How Much Lookahead is Needed to Win Infinite Games Felix Klein Martin Zimmermann Thu 01 October 2015
- Automated Composition of e-Services: Lookaheads Çagdaş Evren Gerede Richard Hull Oscar H. Ibarra Jianwen Su Thu 01 October 2015
- The PGSolver Collection of Parity Game Solvers Oliver Friedmann Martin Lange Thu 01 October 2015
- Simulation distances Pavol Černý Thomas A. Henzinger Arjun Radhakrishna Thu 01 October 2015
- Quantitative Specifications for Verification and Synthesis Arjun Radhakrishna Thu 01 October 2015
- Mechanizing the Minimization of Deterministic Generalized Buchi Automata Souheib Baarir Alexandre Duret-Lutz Thu 01 October 2015
- Minimization of Symbolic Automata Loris D'Antoni Margus Veanes Thu 01 October 2015
- Efficient Buchi Automata from LTL Formulae Fabio Somenzi Roderick Bloem Wed 30 September 2015
- Controller synthesis for MDPs and Frequency LTLsetminusGU Vojtěch Forejt Jan Krčál Jan Křetínský Sun 20 September 2015
- On the Expressiveness of Multiparty Session Types Romain Demangeon Nobuko Yoshida Sat 19 September 2015
- The Odds of Staying on Budget Christoph Haase Stefan Kiefer Sat 19 September 2015
- Reasoning About Substructures and Games Massimo Benerecetti Fabio Mogavero Aniello Murano Sat 19 September 2015
- The Power of Priority Channel Systems Christoph Haase Sylvain Schmitz Philippe Schnoebelen Sat 19 September 2015
- Bisimilarity in Fresh-Register Automata A.S. Murawski S.J. Ramsay N. Tzevelekos Sat 19 September 2015
- Monadic Chain Logic Over Iterations and Applications to Pushdown Systems Dietrich Kuske Markus Lohrey Fri 18 September 2015
- A Computing Procedure for Quantification Theory Martin Davis Hilary Putnam Wed 16 September 2015
- Unboundedness and Downwards Closures of Higher-Order Pushdown Automata Matthew Hague Jonathan Kochems C.-H. Luke Ong Wed 16 September 2015
- Max and Sum Semantics for Alternating Weighted Automata Shaull Almagor Orna Kupferman Tue 15 September 2015
- Alternating Weighted Automata Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Tue 15 September 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
