| # |  | Year | | Title | Type | |
|---|
| 8 |
![Show details for Ohlbach [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | 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 |
| |
| 1 |
| Podelski [Leuschel] |
| |
| 1 |
| |
| 1 |
| Podelski [Zuck, Attie, Cortesi, Mukhopadhyay] |
| |
| 1 |
| Podelski, Ball, Rajamani [Ball, Rajamani, Ball, Rajamani] |
| |
| 1 |
| Podelski, Ball, Rajamani [Ball, Rajamani, Kaoen, Stevens] |
| |
| 1 |
| Podelski, Charatonik, Müller [Müller, Swierstra] |
| |
| 2 |
| Podelski, Rybalchenko [-] |
| |
| 1 |
| Podelski, Rybalchenko [Levi, Steffen] |
| |
| 1 |
| Podelski, Rybalchenko [Palsberg, Abadi] |
| |
| 1 |
| Podelski, Rybalchenko [Podelski] |
| |
| 1 |
| Podelski, Rybalchenko, Cook [Cook] |
| |
| 1 |
| Podelski, Schaefer, Wagner [-] |
| |
| 1 |
| Podelski, Schaefer, Wagner [Sagiv] |
| |
| 2 |
| |
