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