| # |  | 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 |
| |
| 1 |
| Podelski, Smolka [Smolka] |
| |
| 1 |
| Podelski, Wagner [Hespanha, Tiwari] |
| |
| 2 |
| Podelski, Wagner [Podelski] |
| |
| 1 |
| Podelski, Wies [Hankin, Siveroni] |
| |
| 1 |
| Prevosto [Coquand, Lombardi, Roy] |
| |
| 1 |
| Prevosto, Boulmé [Boulmé, Urzyczyn] |
| |
| 1 |
| Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz] |
| |
| 1 |
| Rahman, Rückert, Fischmann [Rahman, Rückert] |
| |
| 2 |
| Ratschan [-] |
| |
| 1 |
| Ratschan [Dolzmann, Seidl, Sturm] |
| |
| 1 |
| Ratschan [Rossi] |
| |
| 2 |
| |
| 1 |
| Ratschan, She [Calmet, Ida, Wang] |
| |
| 1 |
| Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon] |
| |
| 1 |
| Ratschan, Vehi [Bittanti] |
| |
| 1 |
| |
| 1 |
| Reinold [-] |
| |
| 1 |
| |
| 1 |
| Rybalchenko [-] |
| |
| 1 |
| Rybalchenko [Malkis, Podelski, Filé, Nielson] |
| |
| 1 |
| Rybalchenko, Sofronie-Stokkermans [Cook, Podelski] |
| |
| 1 |
| |
| 1 |
| Schlobach [-] |
| |
| 6 |
| |
| 1 |
| Schmidt [Böttner, Thümmel] |
| |
| 1 |
| Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev] |
| |
| 1 |
| Schmidt [Nipkow] |
| |
| 1 |
| Schmidt, Hustadt [Hustadt, Baader] |
| |
| 1 |
| Schmidt, Orłowska, Hustadt [Or{ |
| |
| 1 |
| Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky] |
| |
| 1 |
| Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni] |
| |
| 1 |
| Schmidt, Tishkovsky [Schmidt, Tishkovsky] |
| |
| 1 |
| Schmidt, Tishkovsky [Tishkovsky] |
| |
| 1 |
| Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt] |
| |
| 1 |
| Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt] |
| |
| 1 |
| |
| 1 |
| She, Ratschan [-] |
| |
| 1 |
| She, Xia, Xiao [Xiao, Kovalerchuk] |
| |
| 1 |
| Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling] |
| |
| 1 |
| |
| 8 |
| Socher-Ambrosius [-] |
| |
| 14 |
| |
| 1 |
| Sofronie-Stokkermans [Autexier, Mantel] |
| |
| 1 |
| Sofronie-Stokkermans [Cachro, Kijania-Placek] |
| |
| 1 |
| Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer] |
| |
| 1 |
| Sofronie-Stokkermans [Egly, Fermüller] |
| |
| 1 |
| Sofronie-Stokkermans [Eklund, Escalada-Imaz, Haehnle, Vojtas] |
| |
| 1 |
| Sofronie-Stokkermans [Fitting, Orlowska] |
| |
| 1 |
| Sofronie-Stokkermans [Furbach, Shankar] |
| |
| 1 |
| Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen] |
| |
| 1 |
| Sofronie-Stokkermans [McAllester] |
| |
| 1 |
| Sofronie-Stokkermans [Nadif, Napoli, SanJuan, Sigayret] |
| |
| 1 |
| Sofronie-Stokkermans [Nieuwenhuis] |
| |
| 1 |
| Sofronie-Stokkermans [Prade] |
| |
| 1 |
| Sofronie-Stokkermans [Vaz de Carvalho, Ferreirim] |
| |
| 1 |
| Sofronie-Stokkermans, Stokkermans [Stokkermans, Ciobanu, Paun] |
| |
| 3 |
| Struth [-] |
| |
| 1 |
| |
| 6 |
| Stuber [-] |
| |
| 1 |
| |
| 1 |
| Stuber [Bonacina, Furbach] |
| |
| 1 |
| Stuber [Narendran, Rusinowitch] |
| |
| 1 |
| Suchanek [-] |
| |
| 1 |
| |
| 1 |
| Talbot [Parigot, Voronkov] |
| |
| 1 |
| Talbot, Devienne, Tison [Devienne, Tison] |
| |
| 1 |
| Talbot, Niehren, Müller [Niehren, Müller, Longo] |
| |
| 1 |
| Thiebaux, Hoffmann, Nebel [Thiebaux, Nebel, Gottlob] |
| |
| 1 |
| Timm [-] |
| |
| 1 |
| Trueg, Hoffmann, Nebel [Trueg, Nebel, Biundo, Frühwirth, Palm] |
| |
| 1 |
| Tzakova [-] |
| |
| 1 |
| |
| 2 |
| van der Torre [-] |
| |
| 1 |
| van der Torre [Hunter, Parsons] |
| |
| 1 |
| van der Torre, Tan [Tan, Cavalcanti] |
| |
| 1 |
| van der Torre, Tan [Tan, Laskey, Prade] |
| |
| 1 |
| van der Torre, Tan [Tan, McNamara, Prakken] |
| |
| 8 |
| |
| 1 |
| van der Torre, Weydert [van der Torre] |
| |
| 2 |
| |
| 1 |
| Veit [-] |
| |
| 1 |
| |
| 5 |
| Vorobyov [-] |
| |
| 1 |
| |
| 1 |
| Vorobyov [Gottlob, Grandjean, Seyr] |
| |
| 1 |
| |
| 1 |
| Vorobyov [McRobbie, Slaney] |
| |
| 1 |
| |
| 1 |
| Vorobyov, Voronkov [-] |
| |
| 1 |
| |
| 1 |
| Wagner, Podelski [Podelski, Raskin, Thiagarajan] |
| |
| 6 |
| |
| 1 |
| Waldmann [Bonacina, Furbach] |
| |
| 1 |
| Waldmann [Goré, Leitsch, Nipkow] |
| |
| 1 |
| Waldmann [Kirchner, Kirchner] |
| |
| 1 |
| Waldmann [McAllester, Voronkov] |
| |
| 3 |
| Wang [-] |
| |
| 11 |
| |
| 1 |
| Weidenbach [Bibel, Schmitt] |
| |
| 1 |
| Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk] |
| |
| 1 |
| Weidenbach [Hermann, Salzer] |
| |
| 1 |
| Weidenbach [McRobbie, Slaney] |
| |
| 1 |
| Weidenbach [Robinson, Voronkov] |
| |
| 1 |
| Weidenbach [Schulz, Kepser] |
| |
| 1 |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-] |
| |
| 1 |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov] |
| |
| 1 |
| Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney] |
| |
| 1 |
| Weidenbach, Meyer, Cohrs, Engel, Keen [-] |
| |
| 3 |
| Werner, Bockmayr, Krischer [-] |
| |
| 2 |
| Werner, Bockmayr, Krischer [Werner, Krischer] |
| |
| 7 |
| Weydert [-] |
| |
| 1 |
| |
| 1 |
| Weydert [Brewka, Witteveen, Schaub] |
| |
| 1 |
| Weydert [Brewka, Witteveen] |
| |
| 1 |
| Weydert [Cohn, Schubert, Shapiro] |
| |
| 1 |
| Weydert [Cunningham, Gabbay] |
| |
| 1 |
| Weydert [de Leon, Wallin, Hulth] |
| |
| 1 |
| Weydert [Delgrande, Truszczynski] |
| |
| 1 |
| Weydert [Froideveaux, Kohlas] |
| |
| 1 |
| |
| 1 |
| Weydert [Gabbay, Kruse] |
| |
| 1 |
| Weydert [Gabbay, Ohlbach] |
| |
| 1 |
| Weydert [Horn] |
| |
| 1 |
| Weydert [Lopez de Mantaraz, Poole] |
| |
| 1 |
| Weydert [Niemelä] |
| |
| 1 |
| Weydert [Rott, Albert, Brewka, Witteveen] |
| |
| 1 |
| Weydert [Wachsmuth, Rollinger, Brauer] |
| |
| 1 |
| Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen] |
| |
| 1 |
| Weydert, van der Torre [Lang] |
| |
| 1 |
| Weydert, van der Torre [van der Torre] |
| |
| 1 |
| Wies [-] |
| |
| 1 |
| Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi] |
| |
| 1 |
| Wu [Gao, Wang] |
| |
| 1 |
| |
| 1 |
| Wu, Lu [Lu] |
| |
| 1 |
| |
| 1 |
| Xia, Yang [Yang] |
| |
| 1 |
| Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh] |
| |
| 1 |
| Yuan, Billington, Freiheit [Yuan, Billington] |
| |
| 1 |
| |
| 782 |
| |
