| # |  | Year | | Title | Type | |
|---|
| 1 |
![Show details for Naumann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Naumann [-] |
| |
| 1 |
| |
| 1 |
| Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow] |
| |
| 1 |
| |
| 3 |
| Nonnengart [-] |
| |
| 1 |
| |
| 1 |
| Nonnengart [MacNish, Pearce, Pereira] |
| |
| 1 |
| Nonnengart [McRobbie, Slaney] |
| |
| 1 |
| Nonnengart, Ohlbach [Bläsius, Bürckert] |
| |
| 1 |
| Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay] |
| |
| 1 |
| Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach] |
| |
| 1 |
| Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner] |
| |
| 1 |
| Nonnengart, Szalas [Szalas, Orlowska] |
| |
| 1 |
| Nonnengart, Weidenbach [Robinson, Voronkov] |
| |
| 8 |
| Ohlbach [-] |
| |
| 1 |
| Ohlbach [McRobbie, Slaney] |
| |
| 1 |
| Ohlbach [Voronkov] |
| |
| 1 |
| |
| 1 |
| Ohlbach, Koehler [Koehler] |
| |
| 1 |
| |
| 1 |
| Ohlbach, Schmidt, Hustadt [Borgida, Lenzerini, Nardi, Nebel] |
| |
| 1 |
| Ohlbach, Schmidt, Hustadt [Wansing] |
| |
| 1 |
| Ohlbach, Siekmann [-] |
| |
| 1 |
| |
| 1 |
| Pacholski, Podelski [Pacholski, Smolka] |
| |
| 1 |
| |
| 2 |
| Plaisted [-] |
| |
| 1 |
| Pnueli, Podelski, Rybalchenko [Pnueli, Halbwachs, Zuck] |
| |
| 1 |
| Podelski (ed.) [-] |
| |
| 2 |
| |
