| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 10 |       | Oliver Friedmann, Martin Lange: The Modal μ-Calculus Caught Off Guard. TABLEAUX 2011: 149-163 |
| 9 | | Oliver Friedmann, Martin Lange: More on balanced diets. J. Funct. Program. 21(2): 135-157 (2011) |
| 7 | | Oliver Friedmann, Martin Lange: Local Strategy Improvement for Parity Game Solving GANDALF 2010: 118-131 |
| 6 | | Oliver Friedmann, Markus Latte, Martin Lange: A Decision Procedure for CTL* Based on Tableaux and Automata. IJCAR 2010: 331-345 |
| 5 | | Oliver Friedmann, Martin Lange: A Solver for Modal Fixpoint Logics. Electr. Notes Theor. Comput. Sci. 262: 99-111 (2010) |
| 3 | | Oliver Friedmann, Martin Lange: Solving Parity Games in Practice. ATVA 2009: 182-196 |
Selection of 6 from 13 records - Oliver Friedmann has 4 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page