# |  | Year | | Title | Type | |
1 |
![Show details for Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin] |
|  |
1 |
![Show details for Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov] |
|  |
1 |
![Show details for Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner] |
|  |
1 |
|  |
1 |
![Show details for Anderson, Basin [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Anderson, Basin [-] |
|  |
1 |
![Show details for Anderson, Basin [Anderson]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Anderson, Basin [Anderson] |
|  |
1 |
![Show details for Antoy, Echahed, Hanus [Antoy, Echahed]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Antoy, Echahed, Hanus [Antoy, Echahed] |
|  |
1 |
![Show details for Areces, de Rijke, de Nivelle [Areces, de Rijke]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Areces, de Rijke, de Nivelle [Areces, de Rijke] |
|  |
1 |
![Show details for Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno] |
|  |
1 |
|  |
1 |
![Show details for Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner] |
|  |
1 |
|  |
2 |
![Show details for Ayari, Basin [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ayari, Basin [-] |
|  |
1 |
|  |
1 |
![Show details for Baader, Ohlbach [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baader, Ohlbach [-] |
|  |
1 |
|  |
10 |
![Show details for Bachmair, Ganzinger [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bachmair, Ganzinger [-] |
|  |
1 |
![Show details for Bachmair, Ganzinger [Bachmair]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bachmair, Ganzinger [Bachmair] |
|  |
1 |
![Show details for Bachmair, Ganzinger [Robinson, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bachmair, Ganzinger [Robinson, Voronkov] |
|  |
1 |
![Show details for Bachmair, Ganzinger, Lynch, Snyder [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bachmair, Ganzinger, Lynch, Snyder [-] |
|  |
1 |
![Show details for Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder] |
|  |
1 |
![Show details for Bachmair, Ganzinger, Stuber [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bachmair, Ganzinger, Stuber [-] |
|  |
1 |
![Show details for Bachmair, Ganzinger, Voronkov [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bachmair, Ganzinger, Voronkov [-] |
|  |
2 |
![Show details for Bachmair, Ganzinger, Waldmann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bachmair, Ganzinger, Waldmann [-] |
|  |
1 |
![Show details for Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici] |
|  |
1 |
![Show details for Bachmair, Ganzinger, Waldmann [Bachmair]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bachmair, Ganzinger, Waldmann [Bachmair] |
|  |
1 |
![Show details for Backes [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Backes [-] |
|  |
2 |
|  |
1 |
![Show details for Ball, Podelski, Rajamani [Ball, Rajamani]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ball, Podelski, Rajamani [Ball, Rajamani] |
|  |
1 |
![Show details for Barnett, Basin, Hesketh [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Barnett, Basin, Hesketh [-] |
|  |
5 |
![Show details for Barth [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Barth [-] |
|  |
6 |
|  |
1 |
![Show details for Barth, Bockmayr [Barth]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Barth, Bockmayr [Barth] |
|  |
1 |
![Show details for Barth, Kleine Büning, Weidenbach [Kleine Büning]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Barth, Kleine Büning, Weidenbach [Kleine Büning] |
|  |
5 |
![Show details for Basin [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin [-] |
|  |
1 |
|  |
1 |
![Show details for Basin, Bundy, Kraan, Matthews [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Bundy, Kraan, Matthews [-] |
|  |
1 |
|  |
1 |
![Show details for Basin, Friedrich [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Friedrich [-] |
|  |
1 |
![Show details for Basin, Friedrich [von Wright, Grundy, Harrison]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Basin, Friedrich [von Wright, Grundy, Harrison] |
|  |
1 |
![Show details for Basin, Ganzinger [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Ganzinger [-] |
|  |
1 |
|  |
1 |
![Show details for Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann] |
|  |
1 |
![Show details for Basin, Giunchiglia, Traverso [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Basin, Giunchiglia, Traverso [-] |
|  |
1 |
![Show details for Basin, Howe [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Howe [-] |
|  |
1 |
|  |
2 |
![Show details for Basin, Klarlund [Klarlund]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Klarlund [Klarlund] |
|  |
1 |
![Show details for Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner] |
|  |
2 |
![Show details for Basin, Matthews [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Matthews [-] |
|  |
1 |
![Show details for Basin, Matthews [Gabbay, Guenthner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Basin, Matthews [Gabbay, Guenthner] |
|  |
1 |
![Show details for Basin, Matthews [McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Matthews [McRobbie, Slaney] |
|  |
6 |
![Show details for Basin, Matthews, Viganò [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Basin, Matthews, Viganò [-] |
|  |
2 |
![Show details for Basin, Matthews, Viganò [Basin, Viganò]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Matthews, Viganò [Basin, Viganò] |
|  |
2 |
|  |
3 |
![Show details for Basin, Walsh [Walsh]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Basin, Walsh [Walsh] |
|  |
4 |
|  |
1 |
![Show details for Baumgartner, Burchardt [Burchardt, Alferes, Leite]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baumgartner, Burchardt [Burchardt, Alferes, Leite] |
|  |
1 |
![Show details for Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe] |
|  |
1 |
![Show details for Baumgartner, Fuchs, Tinelli [Tinelli]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baumgartner, Fuchs, Tinelli [Tinelli] |
|  |
1 |
![Show details for Baumgartner, Furbach [Furbach, Hutter, Stephan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Baumgartner, Furbach [Furbach, Hutter, Stephan] |
|  |
1 |
![Show details for Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Biundo, Frühwirth, Palm]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Biundo, Frühwirth, Palm] |
|  |
1 |
  | Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Seipel, Hanus, Geske, Bartenstein] |
|  |
1 |
![Show details for Baumgartner, Furbach, Gross-Hardt, Sinner [Furbach, Gross-Hardt, Sinner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baumgartner, Furbach, Gross-Hardt, Sinner [Furbach, Gross-Hardt, Sinner] |
|  |
1 |
![Show details for Baumgartner, Furbach, Yahya [Furbach, Yahya]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Baumgartner, Furbach, Yahya [Furbach, Yahya] |
|  |
1 |
![Show details for Baumgartner, Grabowski, Oevel, Melis [Grabowski, Oevel, Melis]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baumgartner, Grabowski, Oevel, Melis [Grabowski, Oevel, Melis] |
|  |
1 |
![Show details for Baumgartner, Mediratta [Mediratta, Sasikumar, Vakil, Kavitha]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Baumgartner, Mediratta [Mediratta, Sasikumar, Vakil, Kavitha] |
|  |
1 |
![Show details for Baumgartner, Suchanek [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Baumgartner, Suchanek [-] |
|  |
1 |
![Show details for Baumgartner, Tinelli [Tinelli, Nieuwenhuis]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Baumgartner, Tinelli [Tinelli, Nieuwenhuis] |
|  |
1 |
![Show details for Becker [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Becker [-] |
|  |
1 |
![Show details for Ben-Amram, Lee [Ben-Amram]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ben-Amram, Lee [Ben-Amram] |
|  |
1 |
![Show details for Bertling, Ganzinger, Schäfers, Nieuwenhuis, Orejas [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bertling, Ganzinger, Schäfers, Nieuwenhuis, Orejas [-] |
|  |
1 |
![Show details for Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Cook, Podelski]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Cook, Podelski] |
|  |
1 |
![Show details for Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Ferrante, McKinley]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Ferrante, McKinley] |
|  |
1 |
![Show details for Bezem, Hendriks, de Nivelle [Bezem, Hendriks]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bezem, Hendriks, de Nivelle [Bezem, Hendriks] |
|  |
1 |
![Show details for Blackburn, Tzakova [Blackburn, Boros, Greiner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Blackburn, Tzakova [Blackburn, Boros, Greiner] |
|  |
4 |
![Show details for Blackburn, Tzakova [Blackburn]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Blackburn, Tzakova [Blackburn] |
|  |
1 |
![Show details for Blanchet, Podelski [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Blanchet, Podelski [-] |
|  |
1 |
![Show details for Blanchet, Podelski [Gordon]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Blanchet, Podelski [Gordon] |
|  |
11 |
![Show details for Bockmayr [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr [-] |
|  |
1 |
![Show details for Bockmayr [Hanus, Lloyd, Moreno Navarro]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bockmayr [Hanus, Lloyd, Moreno Navarro] |
|  |
1 |
![Show details for Bockmayr, Barth, Kasper [Steinbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr, Barth, Kasper [Steinbach] |
|  |
1 |
![Show details for Bockmayr, Brzoska, Deussen, Varsek [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bockmayr, Brzoska, Deussen, Varsek [-] |
|  |
1 |
![Show details for Bockmayr, Dimopoulos [Frank, Sabin, Frank, Sabin]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr, Dimopoulos [Frank, Sabin, Frank, Sabin] |
|  |
1 |
![Show details for Bockmayr, Eisenbrand [Bockmayr]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bockmayr, Eisenbrand [Bockmayr] |
|  |
1 |
![Show details for Bockmayr, Eisenbrand, Hartmann, Schulz [Hartmann, Schulz]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr, Eisenbrand, Hartmann, Schulz [Hartmann, Schulz] |
|  |
1 |
|  |
1 |
![Show details for Bockmayr, Kasper [Geske, Simonis]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr, Kasper [Geske, Simonis] |
|  |
1 |
![Show details for Bockmayr, Krischer, Werner [Krischer, Werner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bockmayr, Krischer, Werner [Krischer, Werner] |
|  |
1 |
![Show details for Bockmayr, Radermacher [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr, Radermacher [-] |
|  |
1 |
![Show details for Bockmayr, Weispfenning [Robinson, Voronkov, Weispfenning]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bockmayr, Weispfenning [Robinson, Voronkov, Weispfenning] |
|  |
1 |
![Show details for Bockmayr, Werner [Werner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bockmayr, Werner [Werner] |
|  |
1 |
|  |
1 |
![Show details for Booth [Baral, Truszczynski]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Booth [Baral, Truszczynski] |
|  |
1 |
|  |
1 |
 | Bozzano, Delzanno, Martelli, Mascardi, Zini [Apt, Marek, Truszczynski, Warren, Bozzano, Martelli, Mascardi, Zini] |
|  |
1 |
![Show details for Bozzano, Delzanno, Martelli, Mascardi, Zini [Bozzano, Martelli, Mascardi, Zini]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Bozzano, Delzanno, Martelli, Mascardi, Zini [Bozzano, Martelli, Mascardi, Zini] |
|  |
1 |
![Show details for Brafman, Hoffmann [Brafman, Zilberstein, Koehler, Koenig]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Brafman, Hoffmann [Brafman, Zilberstein, Koehler, Koenig] |
|  |
2 |
|  |
1 |
![Show details for Brahm, Pitz [Pitz]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Brahm, Pitz [Pitz] |
|  |
1 |
|  |
2 |
![Show details for Brink, Britz, Schmidt [Brink, Britz]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Brink, Britz, Schmidt [Brink, Britz] |
|  |
1 |
![Show details for Brink, Gabbay, Ohlbach [Brink]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Brink, Gabbay, Ohlbach [Brink] |
|  |
1 |
![Show details for Brink, Rewitzky, Schmidt [Brink, Rewitzky]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Brink, Rewitzky, Schmidt [Brink, Rewitzky] |
|  |
1 |
![Show details for Buchmann, Eisenbrand [Buchmann]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Buchmann, Eisenbrand [Buchmann] |
|  |
1 |
![Show details for Bugliesi, Delzanno, Liquori, Martelli [Bugliesi, Liquori, Martelli]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Bugliesi, Delzanno, Liquori, Martelli [Bugliesi, Liquori, Martelli] |
|  |
1 |
|  |
1 |
![Show details for Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri] |
|  |
1 |
|  |
1 |
![Show details for Chadha, Plaisted [Chadha]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Chadha, Plaisted [Chadha] |
|  |
3 |
|  |
1 |
![Show details for Charatonik [Smolka]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik [Smolka] |
|  |
1 |
![Show details for Charatonik, Amadio [Amadio, Brim, Jancar, Kretinsky, Kucera]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Amadio [Amadio, Brim, Jancar, Kretinsky, Kucera] |
|  |
1 |
![Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Honsell, Miculan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Honsell, Miculan] |
|  |
1 |
![Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Mukhopadhyay, Talbot]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Mukhopadhyay, Talbot] |
|  |
1 |
![Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Talbot]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Talbot] |
|  |
1 |
![Show details for Charatonik, Georgieva, Maier [Charatonik, Georgieva, Ong]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Georgieva, Maier [Charatonik, Georgieva, Ong] |
|  |
1 |
![Show details for Charatonik, Gordon, Talbot [Gordon, Talbot, Le Métayer]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Gordon, Talbot [Gordon, Talbot, Le Métayer] |
|  |
1 |
![Show details for Charatonik, McAllester, Niwinski, Podelski, Walukiewicz [McAllester, Niwinski, Walukiewicz, Pratt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, McAllester, Niwinski, Podelski, Walukiewicz [McAllester, Niwinski, Walukiewicz, Pratt] |
|  |
1 |
![Show details for Charatonik, Mukhopadhyay, Podelski [Cortesi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Mukhopadhyay, Podelski [Cortesi] |
|  |
1 |
![Hide details for Charatonik, Mukhopadhyay, Podelski [Stuckey]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=1)  | Charatonik, Mukhopadhyay, Podelski [Stuckey] |
|  |
| | 2002 | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | Proceedings Article |  |
1 |
|  |
1 |
![Show details for Charatonik, Podelski [Freuder]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Podelski [Freuder] |
|  |
1 |
![Show details for Charatonik, Podelski [Levi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Podelski [Levi] |
|  |
1 |
![Show details for Charatonik, Podelski [Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Podelski [Nipkow] |
|  |
1 |
![Show details for Charatonik, Podelski [Steffen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Podelski [Steffen] |
|  |
1 |
![Show details for Charatonik, Podelski [Winskel]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Podelski [Winskel] |
|  |
1 |
![Show details for Charatonik, Podelski, Talbot [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Podelski, Talbot [-] |
|  |
1 |
![Show details for Charatonik, Talbot [Talbot, Tison]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Charatonik, Talbot [Talbot, Tison] |
|  |
1 |
![Show details for Charatonik, Talbot [Talbot]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Charatonik, Talbot [Talbot] |
|  |
1 |
![Show details for Chaudhuri, Dimopoulos, Zaroliagis [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Chaudhuri, Dimopoulos, Zaroliagis [-] |
|  |
1 |
|  |
1 |
![Show details for Chu, Plaisted [Chu]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Chu, Plaisted [Chu] |
|  |
1 |
![Show details for Claus, Hopf, Schwefel (ed.) [Claus, Schwefel]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Claus, Hopf, Schwefel (ed.) [Claus, Schwefel] |
|  |
1 |
![Show details for Cook, Gotsman, Podelski, Rybalchenko, Vardi [Cook, Gotsman, Podelski, Vardi, Hofmann, Felleisen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Cook, Gotsman, Podelski, Rybalchenko, Vardi [Cook, Gotsman, Podelski, Vardi, Hofmann, Felleisen] |
|  |
1 |
![Show details for Cook, Podelski, Rybalchenko [Coo , Ball, Jones]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Cook, Podelski, Rybalchenko [Coo , Ball, Jones] |
|  |
1 |
![Show details for Cook, Podelski, Rybalchenko [Cook, Hankin, Siveroni]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Cook, Podelski, Rybalchenko [Cook, Hankin, Siveroni] |
|  |
1 |
![Show details for Cook, Podelski, Rybalchenko [Cook, Podelski, Ferrante, McKinley]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Cook, Podelski, Rybalchenko [Cook, Podelski, Ferrante, McKinley] |
|  |
1 |
![Show details for Cook, Podelski, Rybalchenko [Cook]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Cook, Podelski, Rybalchenko [Cook] |
|  |
1 |
![Show details for Cortier, Ganzinger, Jacquemard, Veanes [Cortier, Wiedermann, van Emde Boas, Nielsen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Cortier, Ganzinger, Jacquemard, Veanes [Cortier, Wiedermann, van Emde Boas, Nielsen] |
|  |
1 |
![Show details for Cunningham, Gabbay, Ohlbach [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Cunningham, Gabbay, Ohlbach [-] |
|  |
1 |
![Show details for Cuntz, Freiheit, Kindler [Cuntz, Kindler, Nuettgens, Rump]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Cuntz, Freiheit, Kindler [Cuntz, Kindler, Nuettgens, Rump] |
|  |
1 |
 | Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Wirtz, Graf, Zhang] |
|  |
1 |
![Show details for Damm, Pinto, Ratschan [Damm, , Peled, Tsay]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Damm, Pinto, Ratschan [Damm, , Peled, Tsay] |
|  |
1 |
![Show details for Daum, Maus, Schirmer, Seghir [Daum, Schirmer, Sutcliffe, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Daum, Maus, Schirmer, Seghir [Daum, Schirmer, Sutcliffe, Voronkov] |
|  |
2 |
|  |
1 |
![Show details for de Nivelle [Baader]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle [Baader] |
|  |
1 |
|  |
1 |
![Show details for de Nivelle [Faller, Kaufmann, Pauly]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle [Faller, Kaufmann, Pauly] |
|  |
1 |
![Show details for de Nivelle [Konev, Schmidt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Nivelle [Konev, Schmidt] |
|  |
1 |
![Show details for de Nivelle [Nieuwenhuis, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle [Nieuwenhuis, Voronkov] |
|  |
1 |
![Show details for de Nivelle, Areces, de Rijke [Areces, de Rijke]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Nivelle, Areces, de Rijke [Areces, de Rijke] |
|  |
1 |
![Show details for de Nivelle, Baumgartner, Fuchs, Tinelli [Baumgartner, Fuchs, Tinelli, Ahrendt, Baumgartner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Baumgartner, Fuchs, Tinelli [Baumgartner, Fuchs, Tinelli, Ahrendt, Baumgartner] |
|  |
1 |
![Show details for de Nivelle, Bezem, Hendriks [Bezem, Hendriks, McAllester]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Nivelle, Bezem, Hendriks [Bezem, Hendriks, McAllester] |
|  |
1 |
![Show details for de Nivelle, Blackburn, Bos, Kohlhase [Blackburn, Bos, Kohlhase]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Blackburn, Bos, Kohlhase [Blackburn, Bos, Kohlhase] |
|  |
1 |
![Show details for de Nivelle, de Rijke [de Rijke, de Rijke]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Nivelle, de Rijke [de Rijke, de Rijke] |
|  |
1 |
![Show details for de Nivelle, Demri [Demri, Areces, Blackburn]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Demri [Demri, Areces, Blackburn] |
|  |
2 |
![Show details for de Nivelle, Demri [Demri]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Nivelle, Demri [Demri] |
|  |
1 |
![Show details for de Nivelle, Hustadt, Schmidt [Hustadt, Schmidt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Hustadt, Schmidt [Hustadt, Schmidt] |
|  |
1 |
|  |
1 |
![Show details for de Nivelle, Meng [Meng, Furbach, Shankar]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Meng [Meng, Furbach, Shankar] |
|  |
1 |
|  |
1 |
![Show details for de Nivelle, Piskac [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Piskac [-] |
|  |
1 |
![Show details for de Nivelle, Pratt-Hartmann [Pratt-Hartmann, Goré, Leitsch, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Nivelle, Pratt-Hartmann [Pratt-Hartmann, Goré, Leitsch, Nipkow] |
|  |
1 |
![Show details for de Nivelle, Schulz (ed.) [Schulz]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | de Nivelle, Schulz (ed.) [Schulz] |
|  |
1 |
![Show details for de Raedt, Jaeger, Lee, Mannila [de Raedt, Lee, Mannila]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | de Raedt, Jaeger, Lee, Mannila [de Raedt, Lee, Mannila] |
|  |
1 |
![Show details for Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov, Nipkow] |
|  |
1 |
![Show details for Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov] |
|  |
1 |
![Show details for Delahaye, Jaume, Prevosto [Delahaye, Jaume]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Delahaye, Jaume, Prevosto [Delahaye, Jaume] |
|  |
1 |
|  |
1 |
![Show details for Delzanno, Esparza, Podelski [Flum, Rodríguez-Artalejo, Esparza, Flum]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Delzanno, Esparza, Podelski [Flum, Rodríguez-Artalejo, Esparza, Flum] |
|  |
1 |
![Show details for Delzanno, Galmiche, Martelli [Galmiche, Martelli]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Delzanno, Galmiche, Martelli [Galmiche, Martelli] |
|  |
2 |
![Show details for Delzanno, Podelski [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Delzanno, Podelski [-] |
|  |
1 |
![Show details for Delzanno, Raskin [Raskin, Graf, Schwartzbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Delzanno, Raskin [Raskin, Graf, Schwartzbach] |
|  |
1 |
![Show details for Dimitrova [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Dimitrova [-] |
|  |
3 |
|  |
1 |
![Show details for Dimopoulos, Magirou [Magirou]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Dimopoulos, Magirou [Magirou] |
|  |
1 |
![Show details for Dimopoulos, Magirou, Papadimitriou [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Dimopoulos, Magirou, Papadimitriou [-] |
|  |
1 |
![Show details for Domshlak, Hoffmann [Domshlak, Long, Smith, Borrajo, McCluskey]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Domshlak, Hoffmann [Domshlak, Long, Smith, Borrajo, McCluskey] |
|  |
1 |
![Show details for Dräge, Finkbeiner, Podelski [Dräge, Finkbeiner, Valmari]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Dräge, Finkbeiner, Podelski [Dräge, Finkbeiner, Valmari] |
|  |
1 |
![Show details for Dubois, Jaume, Pons, Prevosto [Dubois, Jaume, Pons, Juilland]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Dubois, Jaume, Pons, Prevosto [Dubois, Jaume, Pons, Juilland] |
|  |
3 |
|  |
1 |
![Show details for Eisenbrand, Bockmayr [Bockmayr]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Eisenbrand, Bockmayr [Bockmayr] |
|  |
1 |
![Show details for Eisenbrand, Rinaldi, Ventura [, Ventura]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Eisenbrand, Rinaldi, Ventura [, Ventura] |
|  |
2 |
![Show details for Eisenbrand, Rote [Rote]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Eisenbrand, Rote [Rote] |
|  |
1 |
![Show details for Eisenbrand, Schulz [Schulz, Cornuéjols, Burkard, Woeginger]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Eisenbrand, Schulz [Schulz, Cornuéjols, Burkard, Woeginger] |
|  |
1 |
![Show details for Eisinger, Nonnengart, Präcklein [Eisinger, Bläsius, Bürckert, Präcklein]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Eisinger, Nonnengart, Präcklein [Eisinger, Bläsius, Bürckert, Präcklein] |
|  |
1 |
|  |
1 |
![Show details for Eisinger, Ohlbach, Präcklein [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Eisinger, Ohlbach, Präcklein [-] |
|  |
1 |
|  |
1 |
![Show details for Esparza, Podelski [Esparza]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Esparza, Podelski [Esparza] |
|  |
3 |
|  |
1 |
 | Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert [Baader, Lenzerini, Nutt, Patel-Schneider] |
|  |
1 |
![Show details for Fermüller, Leitsch, Hustadt, Tammet [Robinson, Voronkov, Fermüller, Leitsch, Tammet]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Fermüller, Leitsch, Hustadt, Tammet [Robinson, Voronkov, Fermüller, Leitsch, Tammet] |
|  |
1 |
![Show details for Firozabadhi, van der Torre [Firozabadhi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Firozabadhi, van der Torre [Firozabadhi] |
|  |
1 |
|  |
2 |
![Show details for Frank, Basin [Frank]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Frank, Basin [Frank] |
|  |
1 |
|  |
1 |
![Show details for Freiheit, Luuk, Münch, Sijanski, Zangl [Luuk, Münch, Sijanski, Zangl]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Freiheit, Luuk, Münch, Sijanski, Zangl [Luuk, Münch, Sijanski, Zangl] |
|  |
1 |
![Show details for Freiheit, Münch, Schöttle, Sijanski, Zangl [Münch, Schöttle, Sijanski, Zangl]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Freiheit, Münch, Schöttle, Sijanski, Zangl [Münch, Schöttle, Sijanski, Zangl] |
|  |
1 |
![Show details for Freiheit, Zangl [Zangl, Remenyi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Freiheit, Zangl [Zangl, Remenyi] |
|  |
1 |
|  |
1 |
![Show details for Furbach, Ganzinger, Hasegawa, Kapur (ed.) [Furbach, Hasegawa, Kapur]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Furbach, Ganzinger, Hasegawa, Kapur (ed.) [Furbach, Hasegawa, Kapur] |
|  |
1 |
![Show details for Gabbay, Kruse, Nonnengart, Ohlbach (ed.) [Gabbay, Kruse]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Gabbay, Kruse, Nonnengart, Ohlbach (ed.) [Gabbay, Kruse] |
|  |
1 |
![Show details for Gabbay, Ohlbach (ed.) [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Gabbay, Ohlbach (ed.) [-] |
|  |
3 |
|  |
1 |
![Show details for Gaede [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Gaede [-] |
|  |
1 |
![Show details for Gaillourdet, Hillenbrand, Löchner, Spies [Gaillourdet, Löchner, Spies, Baader, Baader]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Gaillourdet, Hillenbrand, Löchner, Spies [Gaillourdet, Löchner, Spies, Baader, Baader] |
|  |
1 |
![Show details for Gamkrelidze [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Gamkrelidze [-] |
|  |
2 |
|  |
6 |
![Show details for Ganzinger [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger [-] |
|  |
1 |
![Show details for Ganzinger [Danvy, Filinski]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger [Danvy, Filinski] |
|  |
1 |
![Show details for Ganzinger [Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger [Voronkov] |
|  |
1 |
|  |
1 |
![Show details for Ganzinger, de Nivelle [Longo]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, de Nivelle [Longo] |
|  |
1 |
![Show details for Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli [Hagen, Nieuwenhuis, Oliveras, Tinelli, Alur, Peled]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli [Hagen, Nieuwenhuis, Oliveras, Tinelli, Alur, Peled] |
|  |
1 |
![Show details for Ganzinger, Hillenbrand, Waldmann [Baader]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Hillenbrand, Waldmann [Baader] |
|  |
1 |
![Show details for Ganzinger, Hustadt, Meyer, Schmidt [Zakharyaschev, Segerberg, de Rijke, Wansing]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Hustadt, Meyer, Schmidt [Zakharyaschev, Segerberg, de Rijke, Wansing] |
|  |
1 |
![Show details for Ganzinger, Jacquemard, Veanes [Hsiang, Ohori]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Jacquemard, Veanes [Hsiang, Ohori] |
|  |
1 |
![Show details for Ganzinger, Jacquemard, Veanes [Jacquemard, Veanes]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Jacquemard, Veanes [Jacquemard, Veanes] |
|  |
1 |
![Show details for Ganzinger, Korovin [Kolaitis]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Korovin [Kolaitis] |
|  |
2 |
![Show details for Ganzinger, Korovin [Korovin, Hermann, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Korovin [Korovin, Hermann, Voronkov] |
|  |
1 |
![Show details for Ganzinger, Korovin [Marcinkowski, Tarlecki]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Korovin [Marcinkowski, Tarlecki] |
|  |
1 |
![Show details for Ganzinger, McAllester [McAllester, Goré, Leitsch, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, McAllester [McAllester, Goré, Leitsch, Nipkow] |
|  |
1 |
![Show details for Ganzinger, McAllester [McAllester, Stuckey]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, McAllester [McAllester, Stuckey] |
|  |
1 |
![Show details for Ganzinger, McAllester, Voronkov (ed.) [McAllester, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, McAllester, Voronkov (ed.) [McAllester, Voronkov] |
|  |
1 |
![Show details for Ganzinger, Meyer, Veanes [Longo]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Meyer, Veanes [Longo] |
|  |
1 |
![Show details for Ganzinger, Meyer, Weidenbach [McCune]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Meyer, Weidenbach [McCune] |
|  |
1 |
![Show details for Ganzinger, Nieuwenhuis [Nieuwenhuis, Comon, Marché, Treinen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Nieuwenhuis [Nieuwenhuis, Comon, Marché, Treinen] |
|  |
1 |
![Show details for Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela, Goré, Leitsch, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela, Goré, Leitsch, Nipkow] |
|  |
1 |
![Show details for Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela] |
|  |
1 |
![Show details for Ganzinger, Sofronie-Stokkermans [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ganzinger, Sofronie-Stokkermans [-] |
|  |
2 |
![Show details for Ganzinger, Sofronie-Stokkermans, Waldmann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Sofronie-Stokkermans, Waldmann [-] |
|  |
1 |
|  |
2 |
![Show details for Ganzinger, Stuber [Stuber]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ganzinger, Stuber [Stuber] |
|  |
2 |
|  |
1 |
![Show details for Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Horrocks, Tessaris]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Horrocks, Tessaris] |
|  |
1 |
![Show details for Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Voronkov] |
|  |
1 |
![Show details for Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt] |
|  |
1 |
![Show details for Georgieva, Maier [Georgieva, Aichernig, Beckert]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Georgieva, Maier [Georgieva, Aichernig, Beckert] |
|  |
1 |
![Show details for Gerber [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Gerber [-] |
|  |
1 |
![Show details for Göbel, Maier [Göbel, Ganzha, Mayr, Vorozhtsov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Göbel, Maier [Göbel, Ganzha, Mayr, Vorozhtsov] |
|  |
1 |
![Show details for Goncharov, Harizanov, Knight, Morozov, Romina [Goncharov, Harizanov, Knight, Morozov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Goncharov, Harizanov, Knight, Morozov, Romina [Goncharov, Harizanov, Knight, Morozov] |
|  |
1 |
![Show details for Goranko, Hustadt, Schmidt, Vakarelov [Goranko, Hustadt, Vakarelov, Berghammer, Möller, Struth]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Goranko, Hustadt, Schmidt, Vakarelov [Goranko, Hustadt, Vakarelov, Berghammer, Möller, Struth] |
|  |
4 |
![Show details for Graf [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Graf [-] |
|  |
1 |
![Show details for Graf [Carbonell, Siekmann]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Graf [Carbonell, Siekmann] |
|  |
1 |
![Show details for Graf [McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Graf [McRobbie, Slaney] |
|  |
1 |
|  |
1 |
![Show details for Grenner [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Grenner [-] |
|  |
1 |
![Show details for Gurevich, Veanes [Gurevich]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Gurevich, Veanes [Gurevich] |
|  |
1 |
![Show details for Hagemann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hagemann [-] |
|  |
1 |
![Show details for Hähnle, Kerber, Weidenbach [Hähnle, Kerber]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hähnle, Kerber, Weidenbach [Hähnle, Kerber] |
|  |
16 |
![Show details for Hanus [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hanus [-] |
|  |
1 |
|  |
1 |
![Show details for Hanus, Zartmann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hanus, Zartmann [-] |
|  |
1 |
![Show details for Hillenbrand [Dahn, Vigneron]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hillenbrand [Dahn, Vigneron] |
|  |
1 |
![Show details for Hillenbrand [Sattler]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hillenbrand [Sattler] |
|  |
1 |
![Show details for Hillenbrand, Löchner [Löchner, Schulz]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hillenbrand, Löchner [Löchner, Schulz] |
|  |
1 |
![Show details for Hillenbrand, Löchner [Löchner, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hillenbrand, Löchner [Löchner, Voronkov] |
|  |
1 |
![Show details for Hillenbrand, Podelski, Topić [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hillenbrand, Podelski, Topić [-] |
|  |
1 |
![Show details for Hillenbrand, Topic, Weidenbach [Ahrendt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hillenbrand, Topic, Weidenbach [Ahrendt] |
|  |
1 |
![Show details for Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki] |
|  |
3 |
![Show details for Hoffmann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hoffmann [-] |
|  |
1 |
|  |
1 |
![Show details for Hoffmann [Kupferschmid, Kaelbling]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hoffmann [Kupferschmid, Kaelbling] |
|  |
1 |
![Show details for Hoffmann [Thiebaux, Nebel]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hoffmann [Thiebaux, Nebel] |
|  |
1 |
![Show details for Hoffmann, Brafman [Brafman, Biundo, Meyers, Rajan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hoffmann, Brafman [Brafman, Biundo, Meyers, Rajan] |
|  |
1 |
![Show details for Hoffmann, Brafman [Brafman]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hoffmann, Brafman [Brafman] |
|  |
1 |
![Show details for Hoffmann, Geffner [Geffner, Giunchiglia, Muscettola, Nau]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hoffmann, Geffner [Geffner, Giunchiglia, Muscettola, Nau] |
|  |
1 |
![Show details for Hoffmann, Gomes, Selman [Gomes, Selman, Long, Smith, Borrajo, McCluskey]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hoffmann, Gomes, Selman [Gomes, Selman, Long, Smith, Borrajo, McCluskey] |
|  |
1 |
![Show details for Hoffmann, Porteous, Sebastia [Porteous, Sebastia]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hoffmann, Porteous, Sebastia [Porteous, Sebastia] |
|  |
1 |
![Show details for Hoffmann, Sabharwal, Domshlak [Sabharwal, Domshlak, Long, Smith, Borrajo, McCluskey]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hoffmann, Sabharwal, Domshlak [Sabharwal, Domshlak, Long, Smith, Borrajo, McCluskey] |
|  |
2 |
![Show details for Hopf [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hopf [-] |
|  |
2 |
|  |
1 |
![Show details for Hopf [Steele]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hopf [Steele] |
|  |
1 |
![Show details for Hopf, Klawonn [Klawonn, Kruse, Palm, Gebhardt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hopf, Klawonn [Klawonn, Kruse, Palm, Gebhardt] |
|  |
1 |
![Show details for Hopf, Klawonn [Klawonn]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hopf, Klawonn [Klawonn] |
|  |
1 |
![Show details for Hopf, Rau [Jamshidi, Fathi, Pierrot]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Hopf, Rau [Jamshidi, Fathi, Pierrot] |
|  |
8 |
![Show details for Hustadt [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hustadt [-] |
|  |
1 |
|  |
1 |
![Show details for Hustadt, Nonnengart [Rowles, Liu, Foo]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hustadt, Nonnengart [Rowles, Liu, Foo] |
|  |
3 |
|  |
1 |
![Show details for Hustadt, Schmidt [de Swart]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hustadt, Schmidt [de Swart] |
|  |
1 |
|  |
1 |
![Show details for Hustadt, Schmidt, Weidenbach [de Swart]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Hustadt, Schmidt, Weidenbach [de Swart] |
|  |
1 |
![Show details for Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen] |
|  |
1 |
![Show details for Jacobs [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jacobs [-] |
|  |
1 |
![Show details for Jacobs, Sofronie-Stokkermans [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Jacobs, Sofronie-Stokkermans [-] |
|  |
1 |
![Show details for Jacobs, Sofronie-Stokkermans [Cook, Sebastiani]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jacobs, Sofronie-Stokkermans [Cook, Sebastiani] |
|  |
1 |
![Show details for Jacobs, Waldmann [Beckert]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Jacobs, Waldmann [Beckert] |
|  |
1 |
![Show details for Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow] |
|  |
16 |
|  |
1 |
![Show details for Jaeger [Fawcett, Mishra]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jaeger [Fawcett, Mishra] |
|  |
1 |
|  |
1 |
![Show details for Jaeger [Nebel]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jaeger [Nebel] |
|  |
1 |
|  |
1 |
![Show details for Jaeger, Mannila, Weydert [Ng]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jaeger, Mannila, Weydert [Ng] |
|  |
1 |
![Show details for Jaulin, Ratschan, Hardouin [Jaulin, Hardouin]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Jaulin, Ratschan, Hardouin [Jaulin, Hardouin] |
|  |
1 |
![Show details for Jensen, Podelski (ed.) [Jensen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Jensen, Podelski (ed.) [Jensen] |
|  |
1 |
![Show details for Jensen, Podelski [Jensen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Jensen, Podelski [Jensen] |
|  |
1 |
![Show details for Johann, Socher-Ambrosius [Johann]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Johann, Socher-Ambrosius [Johann] |
|  |
1 |
|  |
1 |
![Show details for Kasper [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Kasper [-] |
|  |
2 |
|  |
1 |
![Show details for Kazakov [Alferes, Leite]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Kazakov [Alferes, Leite] |
|  |
1 |
![Show details for Kazakov, de Nivelle [Basin, Rusinowitch]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Kazakov, de Nivelle [Basin, Rusinowitch] |
|  |
1 |
![Show details for Kazakov, de Nivelle [Calvanese, De Giacomo, Franconi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Kazakov, de Nivelle [Calvanese, De Giacomo, Franconi] |
|  |
1 |
|  |
1 |
![Show details for Korovin [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Korovin [-] |
|  |
1 |
![Show details for Korovin, Voronkov [Voronkov, Baader]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Korovin, Voronkov [Voronkov, Baader] |
|  |
1 |
![Show details for Korovin, Voronkov [Voronkov, Kolaitis, Voronkov, Kolaitis]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Korovin, Voronkov [Voronkov, Kolaitis, Voronkov, Kolaitis] |
|  |
2 |
![Show details for Korovin, Voronkov [Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Korovin, Voronkov [Voronkov] |
|  |
2 |
![Show details for Kraan, Basin, Bundy [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Kraan, Basin, Bundy [-] |
|  |
2 |
![Show details for Kraan, Basin, Bundy [Kraan, Bundy]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Kraan, Basin, Bundy [Kraan, Bundy] |
|  |
1 |
![Show details for Krischer, Bockmayr [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Krischer, Bockmayr [-] |
|  |
12 |
|  |
1 |
![Show details for Krishna Rao [Mosses, Nielsen, Schwartzbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Krishna Rao [Mosses, Nielsen, Schwartzbach] |
|  |
1 |
![Show details for Krishna Rao [Wiedermann, Hájek]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Krishna Rao [Wiedermann, Hájek] |
|  |
1 |
![Show details for Krishna Rao, Shyamasundar [Shyamasundar]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Krishna Rao, Shyamasundar [Shyamasundar] |
|  |
1 |
![Show details for Kupferschmid, Hoffmann, Dierks, Behrmann [Kupferschmid, Dierks, Behrmann, Valmari]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Kupferschmid, Hoffmann, Dierks, Behrmann [Kupferschmid, Dierks, Behrmann, Valmari] |
|  |
2 |
![Show details for Lang, van der Torre, Weydert [Lang, van der Torre]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Lang, van der Torre, Weydert [Lang, van der Torre] |
|  |
2 |
|  |
2 |
![Show details for Lee, Plaisted [Lee]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Lee, Plaisted [Lee] |
|  |
1 |
![Show details for Letz, Stenz [Letz, Cialdea Mayer, Pirri]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Letz, Stenz [Letz, Cialdea Mayer, Pirri] |
|  |
1 |
![Show details for Letz, Weidenbach [Letz]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Letz, Weidenbach [Letz] |
|  |
1 |
|  |
1 |
![Show details for Levy, Veanes [Levy]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Levy, Veanes [Levy] |
|  |
1 |
![Show details for Lilith, Billington, Freiheit [Lilith, Billington]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Lilith, Billington, Freiheit [Lilith, Billington] |
|  |
1 |
![Show details for Löchner, Hillenbrand [Löchner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Löchner, Hillenbrand [Löchner] |
|  |
1 |
|  |
3 |
![Show details for Madden [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Madden [-] |
|  |
1 |
|  |
1 |
![Show details for Madden, Bundy, Smaill [Bundy, Smaill]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Madden, Bundy, Smaill [Bundy, Smaill] |
|  |
1 |
|  |
3 |
![Show details for Maier [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Maier [-] |
|  |
1 |
|  |
1 |
![Show details for Maier [Marcinkowski, Tarlecki]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Maier [Marcinkowski, Tarlecki] |
|  |
1 |
![Show details for Maier [Orejas, Spirakis, van Leeuwen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Maier [Orejas, Spirakis, van Leeuwen] |
|  |
2 |
![Show details for Makinson, van der Torre [Makinson]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Makinson, van der Torre [Makinson] |
|  |
1 |
![Show details for Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone] |
|  |
1 |
![Show details for Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary] |
|  |
5 |
|  |
2 |
![Show details for Matthews, Basin [Basin]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Matthews, Basin [Basin] |
|  |
1 |
![Show details for Matthews, Simpson [Simpson]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Matthews, Simpson [Simpson] |
|  |
1 |
![Show details for Matthews, Smaill, Basin [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Matthews, Smaill, Basin [-] |
|  |
1 |
|  |
2 |
![Show details for Meyer [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Meyer [-] |
|  |
1 |
![Show details for Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone] |
|  |
1 |
![Show details for Mohr [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Mohr [-] |
|  |
1 |
|  |
2 |
![Show details for Mukhopadhyay, Podelski [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Mukhopadhyay, Podelski [-] |
|  |
1 |
![Show details for Mukhopadhyay, Podelski [Koenig, Holte]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Mukhopadhyay, Podelski [Koenig, Holte] |
|  |
1 |
![Show details for Mukhopadhyay, Podelski [Ramakrishnan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Mukhopadhyay, Podelski [Ramakrishnan] |
|  |
1 |
![Show details for Mukhopadhyay, Podelski [Ramanujam, Raman]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Mukhopadhyay, Podelski [Ramanujam, Raman] |
|  |
1 |
![Show details for Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet] |
|  |
1 |
![Show details for Müller, Niehren, Podelski [Müller, Niehren, Smolka]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Müller, Niehren, Podelski [Müller, Niehren, Smolka] |
|  |
1 |
![Show details for Müller, Niehren, Podelski [Müller, Niehren]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Müller, Niehren, Podelski [Müller, Niehren] |
|  |
1 |
|  |
1 |
![Show details for Nielson, Seidl [Seidl]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nielson, Seidl [Seidl] |
|  |
1 |
![Show details for Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow] |
|  |
1 |
![Show details for Nivat, Podelski [Nivat]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nivat, Podelski [Nivat] |
|  |
3 |
|  |
1 |
![Show details for Nonnengart [Bajcsy]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nonnengart [Bajcsy] |
|  |
1 |
![Show details for Nonnengart [MacNish, Pearce, Pereira]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Nonnengart [MacNish, Pearce, Pereira] |
|  |
1 |
![Show details for Nonnengart [McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nonnengart [McRobbie, Slaney] |
|  |
1 |
![Show details for Nonnengart, Ohlbach [Bläsius, Bürckert]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Nonnengart, Ohlbach [Bläsius, Bürckert] |
|  |
1 |
![Show details for Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay] |
|  |
1 |
![Show details for Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach] |
|  |
1 |
![Show details for Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner] |
|  |
1 |
![Show details for Nonnengart, Szalas [Szalas, Orlowska]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Nonnengart, Szalas [Szalas, Orlowska] |
|  |
1 |
![Show details for Nonnengart, Weidenbach [Robinson, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Nonnengart, Weidenbach [Robinson, Voronkov] |
|  |
8 |
|  |
1 |
![Show details for Ohlbach [McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ohlbach [McRobbie, Slaney] |
|  |
1 |
|  |
1 |
![Show details for Ohlbach, Herzig [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ohlbach, Herzig [-] |
|  |
1 |
![Show details for Ohlbach, Koehler [Koehler]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Ohlbach, Koehler [Koehler] |
|  |
1 |
![Show details for Ohlbach, Schmidt [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ohlbach, Schmidt [-] |
|  |
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 |
|  |
1 |
![Show details for Ohlbach, Weidenbach [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ohlbach, Weidenbach [-] |
|  |
1 |
![Show details for Pacholski, Podelski [Pacholski, Smolka]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Pacholski, Podelski [Pacholski, Smolka] |
|  |
1 |
![Show details for Piskac [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Piskac [-] |
|  |
2 |
|  |
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 |
|  |
2 |
![Show details for Podelski [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Podelski [-] |
|  |
1 |
|  |
1 |
![Show details for Podelski [Palsberg]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Podelski [Palsberg] |
|  |
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 |
![Show details for Podelski, Smolka [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Podelski, Smolka [-] |
|  |
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 |
|  |
1 |
![Show details for Ratschan [Dolzmann, Seidl, Sturm]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ratschan [Dolzmann, Seidl, Sturm] |
|  |
1 |
|  |
2 |
![Show details for Ratschan, She [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Ratschan, She [-] |
|  |
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 |
![Show details for Rau [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Rau [-] |
|  |
1 |
|  |
1 |
![Show details for Rock [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Rock [-] |
|  |
1 |
|  |
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 |
![Show details for Schäf [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Schäf [-] |
|  |
1 |
|  |
6 |
![Show details for Schmidt [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Schmidt [-] |
|  |
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 |
|  |
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 |
![Show details for Schmolzi [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Schmolzi [-] |
|  |
1 |
|  |
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 |
![Show details for Smaus [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Smaus [-] |
|  |
8 |
|  |
14 |
![Show details for Sofronie-Stokkermans [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Sofronie-Stokkermans [-] |
|  |
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 |
|  |
1 |
![Show details for Struth [Comon]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Struth [Comon] |
|  |
6 |
|  |
1 |
![Show details for Stuber [Bibel, Schmitt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Stuber [Bibel, Schmitt] |
|  |
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 |
|  |
1 |
![Show details for Talbot [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Talbot [-] |
|  |
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 |
|  |
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 |
|  |
1 |
![Show details for Tzakova [Murray]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Tzakova [Murray] |
|  |
2 |
|  |
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 |
![Show details for van der Torre, Tan [Tan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | van der Torre, Tan [Tan] |
|  |
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 |
![Show details for Veanes [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Veanes [-] |
|  |
1 |
|  |
1 |
![Show details for Viganò [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Viganò [-] |
|  |
5 |
|  |
1 |
![Show details for Vorobyov [Comon]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Vorobyov [Comon] |
|  |
1 |
![Show details for Vorobyov [Gottlob, Grandjean, Seyr]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Vorobyov [Gottlob, Grandjean, Seyr] |
|  |
1 |
![Show details for Vorobyov [Jaffar, Yap]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Vorobyov [Jaffar, Yap] |
|  |
1 |
![Show details for Vorobyov [McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Vorobyov [McRobbie, Slaney] |
|  |
1 |
![Show details for Vorobyov [Winskel]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Vorobyov [Winskel] |
|  |
1 |
|  |
1 |
![Show details for Voronkov [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Voronkov [-] |
|  |
1 |
![Show details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Wagner, Podelski [Podelski, Raskin, Thiagarajan] |
|  |
6 |
![Show details for Waldmann [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Waldmann [-] |
|  |
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 |
|  |
11 |
![Show details for Weidenbach [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weidenbach [-] |
|  |
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 |
|  |
1 |
![Show details for Weydert [Besnard, Hanks]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Besnard, Hanks] |
|  |
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 |
![Show details for Weydert [Fuhrmann, Rott]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Fuhrmann, Rott] |
|  |
1 |
|  |
1 |
![Show details for Weydert [Gabbay, Ohlbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Gabbay, Ohlbach] |
|  |
1 |
|  |
1 |
![Show details for Weydert [Lopez de Mantaraz, Poole]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Lopez de Mantaraz, Poole] |
|  |
1 |
|  |
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 |
|  |
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 |
|  |
1 |
![Show details for Wu, Liu [Liu]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wu, Liu [Liu] |
|  |
1 |
|  |
1 |
![Show details for Wu, Tan, Li [Tan, Li]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wu, Tan, Li [Tan, Li] |
|  |
1 |
|  |
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 |
![Show details for Zeyer [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Zeyer [-] |
|  |
782 |
|  |