# | | Year | | Title | Type | |
1 |
| Hagemann [-] |
| |
1 |
| Hähnle, Kerber, Weidenbach [Hähnle, Kerber] |
| |
16 |
| Hanus [-] |
| |
1 |
| |
1 |
| Hanus, Zartmann [-] |
| |
1 |
| Hillenbrand [Dahn, Vigneron] |
| |
1 |
| Hillenbrand [Sattler] |
| |
1 |
| Hillenbrand, Löchner [Löchner, Schulz] |
| |
| | 2001 | | The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | Proceedings Article | |
1 |
| Hillenbrand, Löchner [Löchner, Voronkov] |
| |
1 |
| Hillenbrand, Podelski, Topić [-] |
| |
1 |
| Hillenbrand, Topic, Weidenbach [Ahrendt] |
| |
1 |
| Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki] |
| |
3 |
| |
1 |
| Hoffmann [Edelkamp] |
| |
1 |
| Hoffmann [Kupferschmid, Kaelbling] |
| |
1 |
| Hoffmann [Thiebaux, Nebel] |
| |
1 |
| Hoffmann, Brafman [Brafman, Biundo, Meyers, Rajan] |
| |
1 |
| Hoffmann, Brafman [Brafman] |
| |
1 |
| Hoffmann, Geffner [Geffner, Giunchiglia, Muscettola, Nau] |
| |
1 |
| Hoffmann, Gomes, Selman [Gomes, Selman, Long, Smith, Borrajo, McCluskey] |
| |
1 |
| Hoffmann, Porteous, Sebastia [Porteous, Sebastia] |
| |
1 |
| Hoffmann, Sabharwal, Domshlak [Sabharwal, Domshlak, Long, Smith, Borrajo, McCluskey] |
| |
2 |
| |
2 |
| Hopf [Claus, Schwefel] |
| |
1 |
| |
1 |
| Hopf, Klawonn [Klawonn, Kruse, Palm, Gebhardt] |
| |
1 |
| |
1 |
| Hopf, Rau [Jamshidi, Fathi, Pierrot] |
| |
8 |
| |