Publications Master Template

• View entries sorted by
  • Authors/Editors names
  • BibTeX Citation Keys
  • All Types of Entries
  • Only Thesis Entries
  • Years (including counts)
• Create a new entry...
  • Proceedings Volume:
  • - Paper
  • - Online Paper
  • - Whole Volume
  • - Poster
  • Journal:
  • - Article
  • - Electronic Article
  • Book:
  • - Part of, Chapter in
  • - Whole Book
  • - Electronic Book
  • Research Report
  • Thesis (Masters, PhD, Habil)
  • Manual
  • Unpublished or Draft
  • Miscellaneous
• MPG Jahrbuch
  • This Year (2019)
  • Last Year (2018)
  • Two Years Ago (2017)

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

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