Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#YearTitleType
1
Show details for Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin]Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin]
1
Show details for Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]
1
Show details for Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]
1
Show details for Althaus [-]Althaus [-]
1
Show details for Anderson, Basin [-]Anderson, Basin [-]
1
Show details for Anderson, Basin [Anderson]Anderson, Basin [Anderson]
1
Show details for Antoy, Echahed, Hanus [Antoy, Echahed]Antoy, Echahed, Hanus [Antoy, Echahed]
1
Show details for Areces, de Rijke, de Nivelle [Areces, de Rijke]Areces, de Rijke, de Nivelle [Areces, de Rijke]
1
Show details for Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]
1
Show details for Autexier [-]Autexier [-]
1
Show details for Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]
1
Show details for Ayari [-]Ayari [-]
2
Show details for Ayari, Basin [-]Ayari, Basin [-]
1
Show details for Ayari, Basin [Ayari]Ayari, Basin [Ayari]
1
Show details for Baader, Ohlbach [-]Baader, Ohlbach [-]
1
Show details for Bach [-]Bach [-]
10
Show details for Bachmair, Ganzinger [-]Bachmair, Ganzinger [-]
1
Show details for Bachmair, Ganzinger [Bachmair]Bachmair, Ganzinger [Bachmair]
1
Show details for Bachmair, Ganzinger [Robinson, Voronkov]Bachmair, Ganzinger [Robinson, Voronkov]
1
Show details for Bachmair, Ganzinger, Lynch, Snyder [-]Bachmair, Ganzinger, Lynch, Snyder [-]
1
Show details for Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder]Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder]
1
Show details for Bachmair, Ganzinger, Stuber [-]Bachmair, Ganzinger, Stuber [-]
1
Show details for Bachmair, Ganzinger, Voronkov [-]Bachmair, Ganzinger, Voronkov [-]
2
Show details for Bachmair, Ganzinger, Waldmann [-]Bachmair, Ganzinger, Waldmann [-]
1
Show details for Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici]Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici]
1
Show details for Bachmair, Ganzinger, Waldmann [Bachmair]Bachmair, Ganzinger, Waldmann [Bachmair]
1
Show details for Backes [-]Backes [-]
2
Show details for Backes, Wetzel [Wetzel]Backes, Wetzel [Wetzel]
1
Show details for Ball, Podelski, Rajamani [Ball, Rajamani]Ball, Podelski, Rajamani [Ball, Rajamani]
1
Show details for Barnett, Basin, Hesketh [-]Barnett, Basin, Hesketh [-]
5
Show details for Barth [-]Barth [-]
6
Show details for Barth, Bockmayr [-]Barth, Bockmayr [-]
1
Show details for Barth, Bockmayr [Barth]Barth, Bockmayr [Barth]
1
Show details for Barth, Kleine Büning, Weidenbach [Kleine Büning]Barth, Kleine Büning, Weidenbach [Kleine Büning]
5
Show details for Basin [-]Basin [-]
1
Show details for Basin, Brown, Leeser [-]Basin, Brown, Leeser [-]
1
Show details for Basin, Bundy, Kraan, Matthews [-]Basin, Bundy, Kraan, Matthews [-]
1
Show details for Basin, Constable [-]Basin, Constable [-]
1
Show details for Basin, Friedrich [-]Basin, Friedrich [-]
1
Show details for Basin, Friedrich [von Wright, Grundy, Harrison]Basin, Friedrich [von Wright, Grundy, Harrison]
1
Show details for Basin, Ganzinger [-]Basin, Ganzinger [-]
1
Show details for Basin, Ganzinger [Basin]Basin, Ganzinger [Basin]
1
Show details for Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann]Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann]
1
Show details for Basin, Giunchiglia, Traverso [-]Basin, Giunchiglia, Traverso [-]
1
Show details for Basin, Howe [-]Basin, Howe [-]
1
Show details for Basin, Kaufmann [-]Basin, Kaufmann [-]
2
Show details for Basin, Klarlund [Klarlund]Basin, Klarlund [Klarlund]
1
Show details for Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner]Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner]
2
Show details for Basin, Matthews [-]Basin, Matthews [-]
1
Show details for Basin, Matthews [Gabbay, Guenthner]Basin, Matthews [Gabbay, Guenthner]
1
Show details for Basin, Matthews [McRobbie, Slaney]Basin, Matthews [McRobbie, Slaney]
6
Show details for Basin, Matthews, Viganò [-]Basin, Matthews, Viganò [-]
2
Show details for Basin, Matthews, Viganò [Basin, Viganò]Basin, Matthews, Viganò [Basin, Viganò]
2
Show details for Basin, Walsh [-]Basin, Walsh [-]
3
Show details for Basin, Walsh [Walsh]Basin, Walsh [Walsh]
4
Show details for Baumeister [-]Baumeister [-]
1
Show details for Baumgartner, Burchardt [Burchardt, Alferes, Leite]Baumgartner, Burchardt [Burchardt, Alferes, Leite]
1
Show details for Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe]Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe]
1
Show details for Baumgartner, Fuchs, Tinelli [Tinelli]Baumgartner, Fuchs, Tinelli [Tinelli]
1
Show details for Baumgartner, Furbach [Furbach, Hutter, Stephan]Baumgartner, Furbach [Furbach, Hutter, Stephan]
1
Show details for Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Biundo, Frühwirth, Palm]Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Biundo, Frühwirth, Palm]
1
Show details for Baumgartner, Furbach, Gross-Hardt, Kleemann [Furbach, Gross-Hardt, Kleemann, Seipel, Hanus, Geske, BartensteinBaumgartner, 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]Baumgartner, Furbach, Gross-Hardt, Sinner [Furbach, Gross-Hardt, Sinner]
1
Show details for Baumgartner, Furbach, Yahya [Furbach, Yahya]Baumgartner, Furbach, Yahya [Furbach, Yahya]
1
Show details for Baumgartner, Grabowski, Oevel, Melis [Grabowski, Oevel, Melis]Baumgartner, Grabowski, Oevel, Melis [Grabowski, Oevel, Melis]
1
Show details for Baumgartner, Mediratta [Mediratta, Sasikumar, Vakil, Kavitha]Baumgartner, Mediratta [Mediratta, Sasikumar, Vakil, Kavitha]
1
Show details for Baumgartner, Suchanek [-]Baumgartner, Suchanek [-]
1
Show details for Baumgartner, Tinelli [Tinelli, Nieuwenhuis]Baumgartner, Tinelli [Tinelli, Nieuwenhuis]
1
Show details for Becker [-]Becker [-]
1
Show details for Ben-Amram, Lee [Ben-Amram]Ben-Amram, Lee [Ben-Amram]
1
Show details for Bertling, Ganzinger, Schäfers, Nieuwenhuis, Orejas [-]Bertling, Ganzinger, Schäfers, Nieuwenhuis, Orejas [-]
1
Show details for Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Cook, Podelski]Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Cook, Podelski]
1
Show details for Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Ferrante, McKinley]Beyer, Henzinger, Majumdar, Rybalchenko [Beyer, Henzinger, Majumdar, Ferrante, McKinley]
1
Show details for Bezem, Hendriks, de Nivelle [Bezem, Hendriks]Bezem, Hendriks, de Nivelle [Bezem, Hendriks]
1
Show details for Blackburn, Tzakova [Blackburn, Boros, Greiner]Blackburn, Tzakova [Blackburn, Boros, Greiner]
4
Show details for Blackburn, Tzakova [Blackburn]Blackburn, Tzakova [Blackburn]
1
Show details for Blanchet, Podelski [-]Blanchet, Podelski [-]
1
Show details for Blanchet, Podelski [Gordon]Blanchet, Podelski [Gordon]
11
Show details for Bockmayr [-]Bockmayr [-]
1
Show details for Bockmayr [Hanus, Lloyd, Moreno Navarro]Bockmayr [Hanus, Lloyd, Moreno Navarro]
1
Show details for Bockmayr, Barth, Kasper [Steinbach]Bockmayr, Barth, Kasper [Steinbach]
1
Show details for Bockmayr, Brzoska, Deussen, Varsek [-]Bockmayr, Brzoska, Deussen, Varsek [-]
1
Show details for Bockmayr, Dimopoulos [Frank, Sabin, Frank, Sabin]Bockmayr, Dimopoulos [Frank, Sabin, Frank, Sabin]
1
Show details for Bockmayr, Eisenbrand [Bockmayr]Bockmayr, Eisenbrand [Bockmayr]
1
Show details for Bockmayr, Eisenbrand, Hartmann, Schulz [Hartmann, Schulz]Bockmayr, Eisenbrand, Hartmann, Schulz [Hartmann, Schulz]
1
Show details for Bockmayr, Kasper [-]Bockmayr, Kasper [-]
1
Show details for Bockmayr, Kasper [Geske, Simonis]Bockmayr, Kasper [Geske, Simonis]
1
Show details for Bockmayr, Krischer, Werner [Krischer, Werner]Bockmayr, Krischer, Werner [Krischer, Werner]
1
Show details for Bockmayr, Radermacher [-]Bockmayr, Radermacher [-]
1
Show details for Bockmayr, Weispfenning [Robinson, Voronkov, Weispfenning]Bockmayr, Weispfenning [Robinson, Voronkov, Weispfenning]
1
Show details for Bockmayr, Werner [Werner]Bockmayr, Werner [Werner]
1
Show details for Booth [-]Booth [-]
1
Show details for Booth [Baral, Truszczynski]Booth [Baral, Truszczynski]
1
Show details for Bozkurt [-]Bozkurt [-]
1
Show details for Bozzano, Delzanno, Martelli, Mascardi, Zini [Apt, Marek, Truszczynski, Warren, Bozzano, Martelli, Mascardi, ZiBozzano, 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]Bozzano, Delzanno, Martelli, Mascardi, Zini [Bozzano, Martelli, Mascardi, Zini]
1
Show details for Brafman, Hoffmann [Brafman, Zilberstein, Koehler, Koenig]Brafman, Hoffmann [Brafman, Zilberstein, Koehler, Koenig]
1
Show details for Brahm [-]Brahm [-]
1
Show details for Brahm, Pitz [Pitz]Brahm, Pitz [Pitz]
1
Show details for Brinker [-]Brinker [-]
2
Show details for Brink, Britz, Schmidt [Brink, Britz]Brink, Britz, Schmidt [Brink, Britz]
1
Show details for Brink, Gabbay, Ohlbach [Brink]Brink, Gabbay, Ohlbach [Brink]
1
Show details for Brink, Rewitzky, Schmidt [Brink, Rewitzky]Brink, Rewitzky, Schmidt [Brink, Rewitzky]
1
Show details for Buchmann, Eisenbrand [Buchmann]Buchmann, Eisenbrand [Buchmann]
1
Show details for Bugliesi, Delzanno, Liquori, Martelli [Bugliesi, Liquori, Martelli]Bugliesi, Delzanno, Liquori, Martelli [Bugliesi, Liquori, Martelli]
1
Show details for Bundy, Lombart [Lombart]Bundy, Lombart [Lombart]
1
Show details for Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri]Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri]
1
Show details for Chadha, Plaisted [-]Chadha, Plaisted [-]
1
Show details for Chadha, Plaisted [Chadha]Chadha, Plaisted [Chadha]
3
Show details for Charatonik [-]Charatonik [-]
1
Show details for Charatonik [Smolka]Charatonik [Smolka]
1
Show details for Charatonik, Amadio [Amadio, Brim, Jancar, Kretinsky, Kucera]Charatonik, Amadio [Amadio, Brim, Jancar, Kretinsky, Kucera]
1
Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Honsell, Miculan]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]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]Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Talbot]
1
Show details for Charatonik, Georgieva, Maier [Charatonik, Georgieva, Ong]Charatonik, Georgieva, Maier [Charatonik, Georgieva, Ong]
1
Show details for Charatonik, Gordon, Talbot [Gordon, Talbot, Le Métayer]Charatonik, Gordon, Talbot [Gordon, Talbot, Le Métayer]
1
Show details for Charatonik, McAllester, Niwinski, Podelski, Walukiewicz [McAllester, Niwinski, Walukiewicz, Pratt]Charatonik, McAllester, Niwinski, Podelski, Walukiewicz [McAllester, Niwinski, Walukiewicz, Pratt]
1
Show details for Charatonik, Mukhopadhyay, Podelski [Cortesi]Charatonik, Mukhopadhyay, Podelski [Cortesi]
1
Show details for Charatonik, Mukhopadhyay, Podelski [Stuckey]Charatonik, Mukhopadhyay, Podelski [Stuckey]
1
Show details for Charatonik, Podelski [-]Charatonik, Podelski [-]
1
Show details for Charatonik, Podelski [Freuder]Charatonik, Podelski [Freuder]
1
Show details for Charatonik, Podelski [Levi]Charatonik, Podelski [Levi]
1
Show details for Charatonik, Podelski [Nipkow]Charatonik, Podelski [Nipkow]
1
Show details for Charatonik, Podelski [Steffen]Charatonik, Podelski [Steffen]
1
Show details for Charatonik, Podelski [Winskel]Charatonik, Podelski [Winskel]
1
Show details for Charatonik, Podelski, Talbot [-]Charatonik, Podelski, Talbot [-]
1
Show details for Charatonik, Talbot [Talbot, Tison]Charatonik, Talbot [Talbot, Tison]
1
Show details for Charatonik, Talbot [Talbot]Charatonik, Talbot [Talbot]
1
Show details for Chaudhuri, Dimopoulos, Zaroliagis [-]Chaudhuri, Dimopoulos, Zaroliagis [-]
1
Show details for Christen [-]Christen [-]
1
Show details for Chu, Plaisted [Chu]Chu, Plaisted [Chu]
1
Show details for Claus, Hopf, Schwefel (ed.) [Claus, Schwefel]Claus, Hopf, Schwefel (ed.) [Claus, Schwefel]
1
Show details for Cook, Gotsman, Podelski, Rybalchenko, Vardi [Cook, Gotsman, Podelski, Vardi, Hofmann, Felleisen]Cook, Gotsman, Podelski, Rybalchenko, Vardi [Cook, Gotsman, Podelski, Vardi, Hofmann, Felleisen]
1
Show details for Cook, Podelski, Rybalchenko [Coo , Ball, Jones]Cook, Podelski, Rybalchenko [Coo , Ball, Jones]
1
Show details for Cook, Podelski, Rybalchenko [Cook, Hankin, Siveroni]Cook, Podelski, Rybalchenko [Cook, Hankin, Siveroni]
1
Show details for Cook, Podelski, Rybalchenko [Cook, Podelski, Ferrante, McKinley]Cook, Podelski, Rybalchenko [Cook, Podelski, Ferrante, McKinley]
1
Show details for Cook, Podelski, Rybalchenko [Cook]Cook, Podelski, Rybalchenko [Cook]
1
Show details for Cortier, Ganzinger, Jacquemard, Veanes [Cortier, Wiedermann, van Emde Boas, Nielsen]Cortier, Ganzinger, Jacquemard, Veanes [Cortier, Wiedermann, van Emde Boas, Nielsen]
1
Show details for Cunningham, Gabbay, Ohlbach [-]Cunningham, Gabbay, Ohlbach [-]
1
Show details for Cuntz, Freiheit, Kindler [Cuntz, Kindler, Nuettgens, Rump]Cuntz, Freiheit, Kindler [Cuntz, Kindler, Nuettgens, Rump]
1
Show details for Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Disch, Hungar, Pang, Pigorsch, Scholl, WirDamm, 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]Damm, Pinto, Ratschan [Damm, , Peled, Tsay]
1
Show details for Daum, Maus, Schirmer, Seghir [Daum, Schirmer, Sutcliffe, Voronkov]Daum, Maus, Schirmer, Seghir [Daum, Schirmer, Sutcliffe, Voronkov]
2
Show details for de Nivelle [-]de Nivelle [-]
1
Show details for de Nivelle [Baader]de Nivelle [Baader]
1
Show details for de Nivelle [Bradfield]de Nivelle [Bradfield]
1
Show details for de Nivelle [Faller, Kaufmann, Pauly]de Nivelle [Faller, Kaufmann, Pauly]
1
Show details for de Nivelle [Konev, Schmidt]de Nivelle [Konev, Schmidt]
1
Show details for de Nivelle [Nieuwenhuis, Voronkov]de Nivelle [Nieuwenhuis, Voronkov]
1
Show details for de Nivelle, Areces, de Rijke [Areces, de Rijke]de Nivelle, Areces, de Rijke [Areces, de Rijke]
1
Show details for de Nivelle, Baumgartner, Fuchs, Tinelli [Baumgartner, Fuchs, Tinelli, Ahrendt, Baumgartner]de Nivelle, Baumgartner, Fuchs, Tinelli [Baumgartner, Fuchs, Tinelli, Ahrendt, Baumgartner]
1
Show details for de Nivelle, Bezem, Hendriks [Bezem, Hendriks, McAllester]de Nivelle, Bezem, Hendriks [Bezem, Hendriks, McAllester]
1
Show details for de Nivelle, Blackburn, Bos, Kohlhase [Blackburn, Bos, Kohlhase]de Nivelle, Blackburn, Bos, Kohlhase [Blackburn, Bos, Kohlhase]
1
Show details for de Nivelle, de Rijke [de Rijke, de Rijke]de Nivelle, de Rijke [de Rijke, de Rijke]
1
Show details for de Nivelle, Demri [Demri, Areces, Blackburn]de Nivelle, Demri [Demri, Areces, Blackburn]
2
Show details for de Nivelle, Demri [Demri]de Nivelle, Demri [Demri]
1
Show details for de Nivelle, Hustadt, Schmidt [Hustadt, Schmidt]de Nivelle, Hustadt, Schmidt [Hustadt, Schmidt]
1
Show details for de Nivelle, Kazakov [-]de Nivelle, Kazakov [-]
1
Show details for de Nivelle, Meng [Meng, Furbach, Shankar]de Nivelle, Meng [Meng, Furbach, Shankar]
1
Show details for de Nivelle, Meng [Meng]de Nivelle, Meng [Meng]
1
Show details for de Nivelle, Piskac [-]de Nivelle, Piskac [-]
1
Show details for de Nivelle, Pratt-Hartmann [Pratt-Hartmann, Goré, Leitsch, Nipkow]de Nivelle, Pratt-Hartmann [Pratt-Hartmann, Goré, Leitsch, Nipkow]
1
Show details for de Nivelle, Schulz (ed.) [Schulz]de Nivelle, Schulz (ed.) [Schulz]
1
Show details for de Raedt, Jaeger, Lee, Mannila [de Raedt, Lee, Mannila]de Raedt, Jaeger, Lee, Mannila [de Raedt, Lee, Mannila]
1
Show details for Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov, Nipkow]Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov, Nipkow]
1
Show details for Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov]Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov]
1
Show details for Delahaye, Jaume, Prevosto [Delahaye, Jaume]Delahaye, Jaume, Prevosto [Delahaye, Jaume]
1
Show details for Delzanno [-]Delzanno [-]
1
Show details for Delzanno, Esparza, Podelski [Flum, Rodríguez-Artalejo, Esparza, Flum]Delzanno, Esparza, Podelski [Flum, Rodríguez-Artalejo, Esparza, Flum]
1
Show details for Delzanno, Galmiche, Martelli [Galmiche, Martelli]Delzanno, Galmiche, Martelli [Galmiche, Martelli]
2
Show details for Delzanno, Podelski [-]Delzanno, Podelski [-]
1
Show details for Delzanno, Raskin [Raskin, Graf, Schwartzbach]Delzanno, Raskin [Raskin, Graf, Schwartzbach]
1
Show details for Dimitrova [-]Dimitrova [-]
3
Show details for Dimopoulos [-]Dimopoulos [-]
1
Show details for Dimopoulos, Magirou [Magirou]Dimopoulos, Magirou [Magirou]
1
Show details for Dimopoulos, Magirou, Papadimitriou [-]Dimopoulos, Magirou, Papadimitriou [-]
1
Show details for Domshlak, Hoffmann [Domshlak, Long, Smith, Borrajo, McCluskey]Domshlak, Hoffmann [Domshlak, Long, Smith, Borrajo, McCluskey]
1
Show details for Dräge, Finkbeiner, Podelski [Dräge, Finkbeiner, Valmari]Dräge, Finkbeiner, Podelski [Dräge, Finkbeiner, Valmari]
1
Show details for Dubois, Jaume, Pons, Prevosto [Dubois, Jaume, Pons, Juilland]Dubois, Jaume, Pons, Prevosto [Dubois, Jaume, Pons, Juilland]
3
Show details for Eisenbrand [-]Eisenbrand [-]
1
Show details for Eisenbrand, Bockmayr [Bockmayr]Eisenbrand, Bockmayr [Bockmayr]
1
Show details for Eisenbrand, Rinaldi, Ventura [, Ventura]Eisenbrand, Rinaldi, Ventura [, Ventura]
2
Show details for Eisenbrand, Rote [Rote]Eisenbrand, Rote [Rote]
1
Show details for Eisenbrand, Schulz [Schulz, Cornuéjols, Burkard, Woeginger]Eisenbrand, Schulz [Schulz, Cornuéjols, Burkard, Woeginger]
1
Show details for Eisinger, Nonnengart, Präcklein [Eisinger, Bläsius, Bürckert, Präcklein]Eisinger, Nonnengart, Präcklein [Eisinger, Bläsius, Bürckert, Präcklein]
1
Show details for Eisinger, Ohlbach [-]Eisinger, Ohlbach [-]
1
Show details for Eisinger, Ohlbach, Präcklein [-]Eisinger, Ohlbach, Präcklein [-]
1
Show details for Engel [-]Engel [-]
1
Show details for Esparza, Podelski [Esparza]Esparza, Podelski [Esparza]
3
Show details for Fehrer [-]Fehrer [-]
1
Show details for Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert [Baader, Lenzerini, Nutt, Patel-SchFehrer, 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]Fermüller, Leitsch, Hustadt, Tammet [Robinson, Voronkov, Fermüller, Leitsch, Tammet]
1
Show details for Firozabadhi, van der Torre [Firozabadhi]Firozabadhi, van der Torre [Firozabadhi]
1
Show details for Fischmann [-]Fischmann [-]
2
Show details for Frank, Basin [Frank]Frank, Basin [Frank]
1
Show details for Frank, Basin, Bundy [-]Frank, Basin, Bundy [-]
1
Show details for Freiheit, Luuk, Münch, Sijanski, Zangl [Luuk, Münch, Sijanski, Zangl]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]Freiheit, Münch, Schöttle, Sijanski, Zangl [Münch, Schöttle, Sijanski, Zangl]
1
Show details for Freiheit, Zangl [Zangl, Remenyi]Freiheit, Zangl [Zangl, Remenyi]
1
Show details for Friedrich [-]Friedrich [-]
1
Show details for Furbach, Ganzinger, Hasegawa, Kapur (ed.) [Furbach, Hasegawa, Kapur]Furbach, Ganzinger, Hasegawa, Kapur (ed.) [Furbach, Hasegawa, Kapur]
1
Show details for Gabbay, Kruse, Nonnengart, Ohlbach (ed.) [Gabbay, Kruse]Gabbay, Kruse, Nonnengart, Ohlbach (ed.) [Gabbay, Kruse]
1
Show details for Gabbay, Ohlbach (ed.) [-]Gabbay, Ohlbach (ed.) [-]
3
Show details for Gabbay, Ohlbach [-]Gabbay, Ohlbach [-]
1
Show details for Gaede [-]Gaede [-]
1
Show details for Gaillourdet, Hillenbrand, Löchner, Spies [Gaillourdet, Löchner, Spies, Baader, Baader]Gaillourdet, Hillenbrand, Löchner, Spies [Gaillourdet, Löchner, Spies, Baader, Baader]
1
Show details for Gamkrelidze [-]Gamkrelidze [-]
2
Show details for Ganzinger (ed.) [-]Ganzinger (ed.) [-]
6
Show details for Ganzinger [-]Ganzinger [-]
1
Show details for Ganzinger [Danvy, Filinski]Ganzinger [Danvy, Filinski]
1
Show details for Ganzinger [Voronkov]Ganzinger [Voronkov]
1
Show details for Ganzinger [Williams]Ganzinger [Williams]
1
Show details for Ganzinger, de Nivelle [Longo]Ganzinger, de Nivelle [Longo]
1
Show details for Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli [Hagen, Nieuwenhuis, Oliveras, Tinelli, Alur, Peled]Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli [Hagen, Nieuwenhuis, Oliveras, Tinelli, Alur, Peled]
1
Show details for Ganzinger, Hillenbrand, Waldmann [Baader]Ganzinger, Hillenbrand, Waldmann [Baader]
1
Show details for Ganzinger, Hustadt, Meyer, Schmidt [Zakharyaschev, Segerberg, de Rijke, Wansing]Ganzinger, Hustadt, Meyer, Schmidt [Zakharyaschev, Segerberg, de Rijke, Wansing]
1
Show details for Ganzinger, Jacquemard, Veanes [Hsiang, Ohori]Ganzinger, Jacquemard, Veanes [Hsiang, Ohori]
1
Show details for Ganzinger, Jacquemard, Veanes [Jacquemard, Veanes]Ganzinger, Jacquemard, Veanes [Jacquemard, Veanes]
1
Show details for Ganzinger, Korovin [Kolaitis]Ganzinger, Korovin [Kolaitis]
2
Show details for Ganzinger, Korovin [Korovin, Hermann, Voronkov]Ganzinger, Korovin [Korovin, Hermann, Voronkov]
1
Show details for Ganzinger, Korovin [Marcinkowski, Tarlecki]Ganzinger, Korovin [Marcinkowski, Tarlecki]
1
Show details for Ganzinger, McAllester [McAllester, Goré, Leitsch, Nipkow]Ganzinger, McAllester [McAllester, Goré, Leitsch, Nipkow]
1
Show details for Ganzinger, McAllester [McAllester, Stuckey]Ganzinger, McAllester [McAllester, Stuckey]
1
Show details for Ganzinger, McAllester, Voronkov (ed.) [McAllester, Voronkov]Ganzinger, McAllester, Voronkov (ed.) [McAllester, Voronkov]
1
Show details for Ganzinger, Meyer, Veanes [Longo]Ganzinger, Meyer, Veanes [Longo]
1
Show details for Ganzinger, Meyer, Weidenbach [McCune]Ganzinger, Meyer, Weidenbach [McCune]
1
Show details for Ganzinger, Nieuwenhuis [Nieuwenhuis, Comon, Marché, Treinen]Ganzinger, Nieuwenhuis [Nieuwenhuis, Comon, Marché, Treinen]
1
Show details for Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela, Goré, Leitsch, Nipkow]Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela, Goré, Leitsch, Nipkow]
1
Show details for Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela]Ganzinger, Nieuwenhuis, Nivela [Nieuwenhuis, Nivela]
1
Show details for Ganzinger, Sofronie-Stokkermans [-]Ganzinger, Sofronie-Stokkermans [-]
2
Show details for Ganzinger, Sofronie-Stokkermans, Waldmann [-]Ganzinger, Sofronie-Stokkermans, Waldmann [-]
1
Show details for Ganzinger, Stuber [-]Ganzinger, Stuber [-]
2
Show details for Ganzinger, Stuber [Stuber]Ganzinger, Stuber [Stuber]
2
Show details for Ganzinger, Waldmann [-]Ganzinger, Waldmann [-]
1
Show details for Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Horrocks, Tessaris]Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Horrocks, Tessaris]
1
Show details for Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Voronkov]Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt, Voronkov]
1
Show details for Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt]Georgieva, Hustadt, Schmidt [Georgieva, Hustadt, Schmidt]
1
Show details for Georgieva, Maier [Georgieva, Aichernig, Beckert]Georgieva, Maier [Georgieva, Aichernig, Beckert]
1
Show details for Gerber [-]Gerber [-]
1
Show details for Göbel, Maier [Göbel, Ganzha, Mayr, Vorozhtsov]Göbel, Maier [Göbel, Ganzha, Mayr, Vorozhtsov]
1
Show details for Goncharov, Harizanov, Knight, Morozov, Romina [Goncharov, Harizanov, Knight, Morozov]Goncharov, Harizanov, Knight, Morozov, Romina [Goncharov, Harizanov, Knight, Morozov]
1
Show details for Goranko, Hustadt, Schmidt, Vakarelov [Goranko, Hustadt, Vakarelov, Berghammer, Möller, Struth]Goranko, Hustadt, Schmidt, Vakarelov [Goranko, Hustadt, Vakarelov, Berghammer, Möller, Struth]
4
Show details for Graf [-]Graf [-]
1
Show details for Graf [Carbonell, Siekmann]Graf [Carbonell, Siekmann]
1
Show details for Graf [McRobbie, Slaney]Graf [McRobbie, Slaney]
1
Show details for Graf, Meyer [-]Graf, Meyer [-]
1
Show details for Grenner [-]Grenner [-]
1
Show details for Gurevich, Veanes [Gurevich]Gurevich, Veanes [Gurevich]
1
Show details for Hagemann [-]Hagemann [-]
1
Show details for Hähnle, Kerber, Weidenbach [Hähnle, Kerber]Hähnle, Kerber, Weidenbach [Hähnle, Kerber]
16
Show details for Hanus [-]Hanus [-]
1
Show details for Hanus, Josephs [Josephs]Hanus, Josephs [Josephs]
1
Show details for Hanus, Zartmann [-]Hanus, Zartmann [-]
1
Show details for Hillenbrand [Dahn, Vigneron]Hillenbrand [Dahn, Vigneron]
1
Show details for Hillenbrand [Sattler]Hillenbrand [Sattler]
1
Show details for Hillenbrand, Löchner [Löchner, Schulz]Hillenbrand, Löchner [Löchner, Schulz]
1
Show details for Hillenbrand, Löchner [Löchner, Voronkov]Hillenbrand, Löchner [Löchner, Voronkov]
1
Show details for Hillenbrand, Podelski, Topić [-]Hillenbrand, Podelski, Topić [-]
1
Show details for Hillenbrand, Topic, Weidenbach [Ahrendt]Hillenbrand, Topic, Weidenbach [Ahrendt]
1
Show details for Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki]Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki]
3
Show details for Hoffmann [-]Hoffmann [-]
1
Show details for Hoffmann [Edelkamp]Hoffmann [Edelkamp]
1
Show details for Hoffmann [Kupferschmid, Kaelbling]Hoffmann [Kupferschmid, Kaelbling]
1
Show details for Hoffmann [Thiebaux, Nebel]Hoffmann [Thiebaux, Nebel]
1
Show details for Hoffmann, Brafman [Brafman, Biundo, Meyers, Rajan]Hoffmann, Brafman [Brafman, Biundo, Meyers, Rajan]
1
Show details for Hoffmann, Brafman [Brafman]Hoffmann, Brafman [Brafman]
1
Show details for Hoffmann, Geffner [Geffner, Giunchiglia, Muscettola, Nau]Hoffmann, Geffner [Geffner, Giunchiglia, Muscettola, Nau]
1
Show details for Hoffmann, Gomes, Selman [Gomes, Selman, Long, Smith, Borrajo, McCluskey]Hoffmann, Gomes, Selman [Gomes, Selman, Long, Smith, Borrajo, McCluskey]
1
Show details for Hoffmann, Porteous, Sebastia [Porteous, Sebastia]Hoffmann, Porteous, Sebastia [Porteous, Sebastia]
1
Show details for Hoffmann, Sabharwal, Domshlak [Sabharwal, Domshlak, Long, Smith, Borrajo, McCluskey]Hoffmann, Sabharwal, Domshlak [Sabharwal, Domshlak, Long, Smith, Borrajo, McCluskey]
2
Show details for Hopf [-]Hopf [-]
2
Show details for Hopf [Claus, Schwefel]Hopf [Claus, Schwefel]
1
Show details for Hopf [Steele]Hopf [Steele]
1
Show details for Hopf, Klawonn [Klawonn, Kruse, Palm, Gebhardt]Hopf, Klawonn [Klawonn, Kruse, Palm, Gebhardt]
1
Show details for Hopf, Klawonn [Klawonn]Hopf, Klawonn [Klawonn]
1
Show details for Hopf, Rau [Jamshidi, Fathi, Pierrot]Hopf, Rau [Jamshidi, Fathi, Pierrot]
8
Show details for Hustadt [-]Hustadt [-]
1
Show details for Hustadt [Laux, Wansing]Hustadt [Laux, Wansing]
1
Show details for Hustadt, Nonnengart [Rowles, Liu, Foo]Hustadt, Nonnengart [Rowles, Liu, Foo]
3
Show details for Hustadt, Schmidt [-]Hustadt, Schmidt [-]
1
Show details for Hustadt, Schmidt [de Swart]Hustadt, Schmidt [de Swart]
1
Show details for Hustadt, Schmidt [Dean]Hustadt, Schmidt [Dean]
1
Show details for Hustadt, Schmidt, Weidenbach [de Swart]Hustadt, Schmidt, Weidenbach [de Swart]
1
Show details for Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]
1
Show details for Jacobs [-]Jacobs [-]
1
Show details for Jacobs, Sofronie-Stokkermans [-]Jacobs, Sofronie-Stokkermans [-]
1
Show details for Jacobs, Sofronie-Stokkermans [Cook, Sebastiani]Jacobs, Sofronie-Stokkermans [Cook, Sebastiani]
1
Show details for Jacobs, Waldmann [Beckert]Jacobs, Waldmann [Beckert]
1
Show details for Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow]Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow]
16
Show details for Jaeger [-]Jaeger [-]
1
Show details for Jaeger [Fawcett, Mishra]Jaeger [Fawcett, Mishra]
1
Show details for Jaeger [Kwiatkowska]Jaeger [Kwiatkowska]
1
Show details for Jaeger [Nebel]Jaeger [Nebel]
1
Show details for Jaeger [Nielsen, Zhang]Jaeger [Nielsen, Zhang]
1
Show details for Jaeger, Mannila, Weydert [Ng]Jaeger, Mannila, Weydert [Ng]
1
Show details for Jaulin, Ratschan, Hardouin [Jaulin, Hardouin]Jaulin, Ratschan, Hardouin [Jaulin, Hardouin]
1
Show details for Jensen, Podelski (ed.) [Jensen]Jensen, Podelski (ed.) [Jensen]
1
Show details for Jensen, Podelski [Jensen]Jensen, Podelski [Jensen]
1
Show details for Johann, Socher-Ambrosius [Johann]Johann, Socher-Ambrosius [Johann]
1
Show details for Jung [-]Jung [-]
1
Show details for Kasper [-]Kasper [-]
2
Show details for Kazakov [-]Kazakov [-]
1
Show details for Kazakov [Alferes, Leite]Kazakov [Alferes, Leite]
1
Show details for Kazakov, de Nivelle [Basin, Rusinowitch]Kazakov, de Nivelle [Basin, Rusinowitch]
1
Show details for Kazakov, de Nivelle [Calvanese, De Giacomo, Franconi]Kazakov, de Nivelle [Calvanese, De Giacomo, Franconi]
1
Show details for Klotzki [-]Klotzki [-]
1
Show details for Korovin [-]Korovin [-]
1
Show details for Korovin, Voronkov [Voronkov, Baader]Korovin, Voronkov [Voronkov, Baader]
1
Show details for Korovin, Voronkov [Voronkov, Kolaitis, Voronkov, Kolaitis]Korovin, Voronkov [Voronkov, Kolaitis, Voronkov, Kolaitis]
2
Show details for Korovin, Voronkov [Voronkov]Korovin, Voronkov [Voronkov]
2
Show details for Kraan, Basin, Bundy [-]Kraan, Basin, Bundy [-]
2
Show details for Kraan, Basin, Bundy [Kraan, Bundy]Kraan, Basin, Bundy [Kraan, Bundy]
1
Show details for Krischer, Bockmayr [-]Krischer, Bockmayr [-]
12
Show details for Krishna Rao [-]Krishna Rao [-]
1
Show details for Krishna Rao [Mosses, Nielsen, Schwartzbach]Krishna Rao [Mosses, Nielsen, Schwartzbach]
1
Show details for Krishna Rao [Wiedermann, Hájek]Krishna Rao [Wiedermann, Hájek]
1
Show details for Krishna Rao, Shyamasundar [Shyamasundar]Krishna Rao, Shyamasundar [Shyamasundar]
1
Show details for Kupferschmid, Hoffmann, Dierks, Behrmann [Kupferschmid, Dierks, Behrmann, Valmari]Kupferschmid, Hoffmann, Dierks, Behrmann [Kupferschmid, Dierks, Behrmann, Valmari]
2
Show details for Lang, van der Torre, Weydert [Lang, van der Torre]Lang, van der Torre, Weydert [Lang, van der Torre]
2
Show details for Lee [-]Lee [-]
2
Show details for Lee, Plaisted [Lee]Lee, Plaisted [Lee]
1
Show details for Letz, Stenz [Letz, Cialdea Mayer, Pirri]Letz, Stenz [Letz, Cialdea Mayer, Pirri]
1
Show details for Letz, Weidenbach [Letz]Letz, Weidenbach [Letz]
1
Show details for Leven [-]Leven [-]
1
Show details for Levy, Veanes [Levy]Levy, Veanes [Levy]
1
Show details for Lilith, Billington, Freiheit [Lilith, Billington]Lilith, Billington, Freiheit [Lilith, Billington]
1
Show details for Löchner, Hillenbrand [Löchner]Löchner, Hillenbrand [Löchner]
1
Show details for Lu, Wu [Lu]Lu, Wu [Lu]
3
Show details for Madden [-]Madden [-]
1
Show details for Madden, Bundy [Bundy]Madden, Bundy [Bundy]
1
Show details for Madden, Bundy, Smaill [Bundy, Smaill]Madden, Bundy, Smaill [Bundy, Smaill]
1
Show details for Madden, Green [Green]Madden, Green [Green]
3
Show details for Maier [-]Maier [-]
1
Show details for Maier [Gordon]Maier [Gordon]
1
Show details for Maier [Marcinkowski, Tarlecki]Maier [Marcinkowski, Tarlecki]
1
Show details for Maier [Orejas, Spirakis, van Leeuwen]Maier [Orejas, Spirakis, van Leeuwen]
2
Show details for Makinson, van der Torre [Makinson]Makinson, van der Torre [Makinson]
1
Show details for Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone]Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone]
1
Show details for Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary]Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary]
5
Show details for Matthews [-]Matthews [-]
2
Show details for Matthews, Basin [Basin]Matthews, Basin [Basin]
1
Show details for Matthews, Simpson [Simpson]Matthews, Simpson [Simpson]
1
Show details for Matthews, Smaill, Basin [-]Matthews, Smaill, Basin [-]
1
Show details for Meter [-]Meter [-]
2
Show details for Meyer [-]Meyer [-]
1
Show details for Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone]Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone]
1
Show details for Mohr [-]Mohr [-]
1
Show details for Mukhopadhyay [-]Mukhopadhyay [-]
2
Show details for Mukhopadhyay, Podelski [-]Mukhopadhyay, Podelski [-]
1
Show details for Mukhopadhyay, Podelski [Koenig, Holte]Mukhopadhyay, Podelski [Koenig, Holte]
1
Show details for Mukhopadhyay, Podelski [Ramakrishnan]Mukhopadhyay, Podelski [Ramakrishnan]
1
Show details for Mukhopadhyay, Podelski [Ramanujam, Raman]Mukhopadhyay, Podelski [Ramanujam, Raman]
1
Show details for Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet]Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet]
1
Show details for Müller, Niehren, Podelski [Müller, Niehren, Smolka]Müller, Niehren, Podelski [Müller, Niehren, Smolka]
1
Show details for Müller, Niehren, Podelski [Müller, Niehren]Müller, Niehren, Podelski [Müller, Niehren]
1
Show details for Naumann [-]Naumann [-]
1
Show details for Nielson, Seidl [Seidl]Nielson, Seidl [Seidl]
1
Show details for Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow]Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow]
1
Show details for Nivat, Podelski [Nivat]Nivat, Podelski [Nivat]
3
Show details for Nonnengart [-]Nonnengart [-]
1
Show details for Nonnengart [Bajcsy]Nonnengart [Bajcsy]
1
Show details for Nonnengart [MacNish, Pearce, Pereira]Nonnengart [MacNish, Pearce, Pereira]
1
Show details for Nonnengart [McRobbie, Slaney]Nonnengart [McRobbie, Slaney]
1
Show details for Nonnengart, Ohlbach [Bläsius, Bürckert]Nonnengart, Ohlbach [Bläsius, Bürckert]
1
Show details for Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay]Nonnengart, Ohlbach, Gabbay [Ohlbach, Gabbay]
1
Show details for Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach]Nonnengart, Ohlbach, Szalas [Szalas, Ohlbach]
1
Show details for Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner]Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner]
1
Show details for Nonnengart, Szalas [Szalas, Orlowska]Nonnengart, Szalas [Szalas, Orlowska]
1
Show details for Nonnengart, Weidenbach [Robinson, Voronkov]Nonnengart, Weidenbach [Robinson, Voronkov]
8
Show details for Ohlbach [-]Ohlbach [-]
1
Show details for Ohlbach [McRobbie, Slaney]Ohlbach [McRobbie, Slaney]
1
Show details for Ohlbach [Voronkov]Ohlbach [Voronkov]
1
Show details for Ohlbach, Herzig [-]Ohlbach, Herzig [-]
1
Show details for Ohlbach, Koehler [Koehler]Ohlbach, Koehler [Koehler]
1
Show details for Ohlbach, Schmidt [-]Ohlbach, Schmidt [-]
1
Show details for Ohlbach, Schmidt, Hustadt [Borgida, Lenzerini, Nardi, Nebel]Ohlbach, Schmidt, Hustadt [Borgida, Lenzerini, Nardi, Nebel]
1
Show details for Ohlbach, Schmidt, Hustadt [Wansing]Ohlbach, Schmidt, Hustadt [Wansing]
1
Show details for Ohlbach, Siekmann [-]Ohlbach, Siekmann [-]
1
Show details for Ohlbach, Weidenbach [-]Ohlbach, Weidenbach [-]
1
Show details for Pacholski, Podelski [Pacholski, Smolka]Pacholski, Podelski [Pacholski, Smolka]
1
Show details for Piskac [-]Piskac [-]
2
Show details for Plaisted [-]Plaisted [-]
1
Show details for Pnueli, Podelski, Rybalchenko [Pnueli, Halbwachs, Zuck]Pnueli, Podelski, Rybalchenko [Pnueli, Halbwachs, Zuck]
1
Show details for Podelski (ed.) [-]Podelski (ed.) [-]
2
Show details for Podelski [-]Podelski [-]
1
Show details for Podelski [Leuschel]Podelski [Leuschel]
1
Show details for Podelski [Palsberg]Podelski [Palsberg]
1
Show details for Podelski [Zuck, Attie, Cortesi, Mukhopadhyay]Podelski [Zuck, Attie, Cortesi, Mukhopadhyay]
1
Show details for Podelski, Ball, Rajamani [Ball, Rajamani, Ball, Rajamani]Podelski, Ball, Rajamani [Ball, Rajamani, Ball, Rajamani]
1
Show details for Podelski, Ball, Rajamani [Ball, Rajamani, Kaoen, Stevens]Podelski, Ball, Rajamani [Ball, Rajamani, Kaoen, Stevens]
1
Show details for Podelski, Charatonik, Müller [Müller, Swierstra]Podelski, Charatonik, Müller [Müller, Swierstra]
2
Show details for Podelski, Rybalchenko [-]Podelski, Rybalchenko [-]
1
Show details for Podelski, Rybalchenko [Levi, Steffen]Podelski, Rybalchenko [Levi, Steffen]
1
Show details for Podelski, Rybalchenko [Palsberg, Abadi]Podelski, Rybalchenko [Palsberg, Abadi]
1
Show details for Podelski, Rybalchenko [Podelski]Podelski, Rybalchenko [Podelski]
1
Show details for Podelski, Rybalchenko, Cook [Cook]Podelski, Rybalchenko, Cook [Cook]
1
Show details for Podelski, Schaefer, Wagner [-]Podelski, Schaefer, Wagner [-]
1
Show details for Podelski, Schaefer, Wagner [Sagiv]Podelski, Schaefer, Wagner [Sagiv]
2
Show details for Podelski, Smolka [-]Podelski, Smolka [-]
1
Show details for Podelski, Smolka [Smolka]Podelski, Smolka [Smolka]
1
Show details for Podelski, Wagner [Hespanha, Tiwari]Podelski, Wagner [Hespanha, Tiwari]
2
Show details for Podelski, Wagner [Podelski]Podelski, Wagner [Podelski]
1
Show details for Podelski, Wies [Hankin, Siveroni]Podelski, Wies [Hankin, Siveroni]
1
Show details for Prevosto [Coquand, Lombardi, Roy]Prevosto [Coquand, Lombardi, Roy]
1
Show details for Prevosto, Boulmé [Boulmé, Urzyczyn]Prevosto, Boulmé [Boulmé, Urzyczyn]
1
Show details for Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz]Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz]
1
Show details for Rahman, Rückert, Fischmann [Rahman, Rückert]Rahman, Rückert, Fischmann [Rahman, Rückert]
2
Show details for Ratschan [-]Ratschan [-]
1
Show details for Ratschan [Dolzmann, Seidl, Sturm]Ratschan [Dolzmann, Seidl, Sturm]
1
Show details for Ratschan [Rossi]Ratschan [Rossi]
2
Show details for Ratschan, She [-]Ratschan, She [-]
1
Show details for Ratschan, She [Calmet, Ida, Wang]Ratschan, She [Calmet, Ida, Wang]
1
Show details for Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]
1
Show details for Ratschan, Vehi [Bittanti]Ratschan, Vehi [Bittanti]
1
Show details for Rau [-]Rau [-]
1
Show details for Reinold [-]Reinold [-]
1
Show details for Rock [-]Rock [-]
1
Show details for Rybalchenko [-]Rybalchenko [-]
1
Show details for Rybalchenko [Malkis, Podelski, Filé, Nielson]Rybalchenko [Malkis, Podelski, Filé, Nielson]
1
Show details for Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]
1
Show details for Schäf [-]Schäf [-]
1
Show details for Schlobach [-]Schlobach [-]
6
Show details for Schmidt [-]Schmidt [-]
1
Show details for Schmidt [Böttner, Thümmel]Schmidt [Böttner, Thümmel]
1
Show details for Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]
1
Show details for Schmidt [Nipkow]Schmidt [Nipkow]
1
Show details for Schmidt, Hustadt [Hustadt, Baader]Schmidt, Hustadt [Hustadt, Baader]
1
Show details for Schmidt, Orłowska, Hustadt [Or{Schmidt, Orłowska, Hustadt [Or{
1
Show details for Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky]Schmidt, Tishkovsky [Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Tishkovsky]Schmidt, Tishkovsky [Tishkovsky]
1
Show details for Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]
1
Show details for Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]
1
Show details for Schmolzi [-]Schmolzi [-]
1
Show details for She, Ratschan [-]She, Ratschan [-]
1
Show details for She, Xia, Xiao [Xiao, Kovalerchuk]She, Xia, Xiao [Xiao, Kovalerchuk]
1
Hide details for Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]
2006Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135
Proceedings Article
1
Show details for Smaus [-]Smaus [-]
8
Show details for Socher-Ambrosius [-]Socher-Ambrosius [-]
14
Show details for Sofronie-Stokkermans [-]Sofronie-Stokkermans [-]
1
Show details for Sofronie-Stokkermans [Autexier, Mantel]Sofronie-Stokkermans [Autexier, Mantel]
1
Show details for Sofronie-Stokkermans [Cachro, Kijania-Placek]Sofronie-Stokkermans [Cachro, Kijania-Placek]
1
Show details for Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]
1
Show details for Sofronie-Stokkermans [Egly, Fermüller]Sofronie-Stokkermans [Egly, Fermüller]
1
Show details for Sofronie-Stokkermans [Eklund, Escalada-Imaz, Haehnle, Vojtas]Sofronie-Stokkermans [Eklund, Escalada-Imaz, Haehnle, Vojtas]
1
Show details for Sofronie-Stokkermans [Fitting, Orlowska]Sofronie-Stokkermans [Fitting, Orlowska]
1
Show details for Sofronie-Stokkermans [Furbach, Shankar]Sofronie-Stokkermans [Furbach, Shankar]
1
Show details for Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]
1
Show details for Sofronie-Stokkermans [McAllester]Sofronie-Stokkermans [McAllester]
1
Show details for Sofronie-Stokkermans [Nadif, Napoli, SanJuan, Sigayret]Sofronie-Stokkermans [Nadif, Napoli, SanJuan, Sigayret]
1
Show details for Sofronie-Stokkermans [Nieuwenhuis]Sofronie-Stokkermans [Nieuwenhuis]
1
Show details for Sofronie-Stokkermans [Prade]Sofronie-Stokkermans [Prade]
1
Show details for Sofronie-Stokkermans [Vaz de Carvalho, Ferreirim]Sofronie-Stokkermans [Vaz de Carvalho, Ferreirim]
1
Show details for Sofronie-Stokkermans, Stokkermans [Stokkermans, Ciobanu, Paun]Sofronie-Stokkermans, Stokkermans [Stokkermans, Ciobanu, Paun]
3
Show details for Struth [-]Struth [-]
1
Show details for Struth [Comon]Struth [Comon]
6
Show details for Stuber [-]Stuber [-]
1
Show details for Stuber [Bibel, Schmitt]Stuber [Bibel, Schmitt]
1
Show details for Stuber [Bonacina, Furbach]Stuber [Bonacina, Furbach]
1
Show details for Stuber [Narendran, Rusinowitch]Stuber [Narendran, Rusinowitch]
1
Show details for Suchanek [-]Suchanek [-]
1
Show details for Talbot [-]Talbot [-]
1
Show details for Talbot [Parigot, Voronkov]Talbot [Parigot, Voronkov]
1
Show details for Talbot, Devienne, Tison [Devienne, Tison]Talbot, Devienne, Tison [Devienne, Tison]
1
Show details for Talbot, Niehren, Müller [Niehren, Müller, Longo]Talbot, Niehren, Müller [Niehren, Müller, Longo]
1
Show details for Thiebaux, Hoffmann, Nebel [Thiebaux, Nebel, Gottlob]Thiebaux, Hoffmann, Nebel [Thiebaux, Nebel, Gottlob]
1
Show details for Timm [-]Timm [-]
1
Show details for Trueg, Hoffmann, Nebel [Trueg, Nebel, Biundo, Frühwirth, Palm]Trueg, Hoffmann, Nebel [Trueg, Nebel, Biundo, Frühwirth, Palm]
1
Show details for Tzakova [-]Tzakova [-]
1
Show details for Tzakova [Murray]Tzakova [Murray]
2
Show details for van der Torre [-]van der Torre [-]
1
Show details for van der Torre [Hunter, Parsons]van der Torre [Hunter, Parsons]
1
Show details for van der Torre, Tan [Tan, Cavalcanti]van der Torre, Tan [Tan, Cavalcanti]
1
Show details for van der Torre, Tan [Tan, Laskey, Prade]van der Torre, Tan [Tan, Laskey, Prade]
1
Show details for van der Torre, Tan [Tan, McNamara, Prakken]van der Torre, Tan [Tan, McNamara, Prakken]
8
Show details for van der Torre, Tan [Tan]van der Torre, Tan [Tan]
1
Show details for van der Torre, Weydert [van der Torre]van der Torre, Weydert [van der Torre]
2
Show details for Veanes [-]Veanes [-]
1
Show details for Veit [-]Veit [-]
1
Show details for Viganò [-]Viganò [-]
5
Show details for Vorobyov [-]Vorobyov [-]
1
Show details for Vorobyov [Comon]Vorobyov [Comon]
1
Show details for Vorobyov [Gottlob, Grandjean, Seyr]Vorobyov [Gottlob, Grandjean, Seyr]
1
Show details for Vorobyov [Jaffar, Yap]Vorobyov [Jaffar, Yap]
1
Show details for Vorobyov [McRobbie, Slaney]Vorobyov [McRobbie, Slaney]
1
Show details for Vorobyov [Winskel]Vorobyov [Winskel]
1
Show details for Vorobyov, Voronkov [-]Vorobyov, Voronkov [-]
1
Show details for Voronkov [-]Voronkov [-]
1
Show details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]Wagner, Podelski [Podelski, Raskin, Thiagarajan]
6
Show details for Waldmann [-]Waldmann [-]
1
Show details for Waldmann [Bonacina, Furbach]Waldmann [Bonacina, Furbach]
1
Show details for Waldmann [Goré, Leitsch, Nipkow]Waldmann [Goré, Leitsch, Nipkow]
1
Show details for Waldmann [Kirchner, Kirchner]Waldmann [Kirchner, Kirchner]
1
Show details for Waldmann [McAllester, Voronkov]Waldmann [McAllester, Voronkov]
3
Show details for Wang [-]Wang [-]
11
Show details for Weidenbach [-]Weidenbach [-]
1
Show details for Weidenbach [Bibel, Schmitt]Weidenbach [Bibel, Schmitt]
1
Show details for Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]
1
Show details for Weidenbach [Hermann, Salzer]Weidenbach [Hermann, Salzer]
1
Show details for Weidenbach [McRobbie, Slaney]Weidenbach [McRobbie, Slaney]
1
Show details for Weidenbach [Robinson, Voronkov]Weidenbach [Robinson, Voronkov]
1
Show details for Weidenbach [Schulz, Kepser]Weidenbach [Schulz, Kepser]
1
Show details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]
1
Show details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]
1
Show details for Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]
1
Show details for Weidenbach, Meyer, Cohrs, Engel, Keen [-]Weidenbach, Meyer, Cohrs, Engel, Keen [-]
3
Show details for Werner, Bockmayr, Krischer [-]Werner, Bockmayr, Krischer [-]
2
Show details for Werner, Bockmayr, Krischer [Werner, Krischer]Werner, Bockmayr, Krischer [Werner, Krischer]
7
Show details for Weydert [-]Weydert [-]
1
Show details for Weydert [Besnard, Hanks]Weydert [Besnard, Hanks]
1
Show details for Weydert [Brewka, Witteveen, Schaub]Weydert [Brewka, Witteveen, Schaub]
1
Show details for Weydert [Brewka, Witteveen]Weydert [Brewka, Witteveen]
1
Show details for Weydert [Cohn, Schubert, Shapiro]Weydert [Cohn, Schubert, Shapiro]
1
Show details for Weydert [Cunningham, Gabbay]Weydert [Cunningham, Gabbay]
1
Show details for Weydert [de Leon, Wallin, Hulth]Weydert [de Leon, Wallin, Hulth]
1
Show details for Weydert [Delgrande, Truszczynski]Weydert [Delgrande, Truszczynski]
1
Show details for Weydert [Froideveaux, Kohlas]Weydert [Froideveaux, Kohlas]
1
Show details for Weydert [Fuhrmann, Rott]Weydert [Fuhrmann, Rott]
1
Show details for Weydert [Gabbay, Kruse]Weydert [Gabbay, Kruse]
1
Show details for Weydert [Gabbay, Ohlbach]Weydert [Gabbay, Ohlbach]
1
Show details for Weydert [Horn]Weydert [Horn]
1
Show details for Weydert [Lopez de Mantaraz, Poole]Weydert [Lopez de Mantaraz, Poole]
1
Show details for Weydert [Niemelä]Weydert [Niemelä]
1
Show details for Weydert [Rott, Albert, Brewka, Witteveen]Weydert [Rott, Albert, Brewka, Witteveen]
1
Show details for Weydert [Wachsmuth, Rollinger, Brauer]Weydert [Wachsmuth, Rollinger, Brauer]
1
Show details for Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]
1
Show details for Weydert, van der Torre [Lang]Weydert, van der Torre [Lang]
1
Show details for Weydert, van der Torre [van der Torre]Weydert, van der Torre [van der Torre]
1
Show details for Wies [-]Wies [-]
1
Show details for Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]
1
Show details for Wu [Gao, Wang]Wu [Gao, Wang]
1
Show details for Wu, Liu [Liu]Wu, Liu [Liu]
1
Show details for Wu, Lu [Lu]Wu, Lu [Lu]
1
Show details for Wu, Tan, Li [Tan, Li]Wu, Tan, Li [Tan, Li]
1
Show details for Xia, Yang [Yang]Xia, Yang [Yang]
1
Show details for Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]
1
Show details for Yuan, Billington, Freiheit [Yuan, Billington]Yuan, Billington, Freiheit [Yuan, Billington]
1
Show details for Zeyer [-]Zeyer [-]
781

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)