| |
| 2008 | ||
|---|---|---|
| 4 | EE | Roland Axelsson, Keijo Heljanko, Martin Lange: Analyzing Context-Free Grammars Using an Incremental SAT Solver. ICALP (2) 2008: 410-422 |
| 2007 | ||
| 3 | EE | Roland Axelsson, Martin Lange: Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. LPAR 2007: 62-76 |
| 2 | EE | Roland Axelsson, Martin Lange, Rafal Somla: The Complexity of Model Checking Higher-Order Fixpoint Logic CoRR abs/0704.3931: (2007) |
| 1 | EE | Roland Axelsson, Martin Lange, Rafal Somla: The Complexity of Model Checking Higher-Order Fixpoint Logic. Logical Methods in Computer Science 3(2): (2007) |
| 1 | Keijo Heljanko | [4] |
| 2 | Martin Lange | [1] [2] [3] [4] |
| 3 | Rafal Somla | [1] [2] |