MPI-INF RG1 Publications

• 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 (2017)
  • Last Year (2016)
  • Two Years Ago (2015)

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	Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]
1	Althaus, Kruglov, Weidenbach [Ghilardi, Sebastiani]
1	Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]
1	Azmy [-]
1	Baader, Ghilardi, Hermann, Sattler, Sofronie-Stokkermans (ed.) [Baader, Ghilardi, Hermann, Sattler]
1	Bachmair, Ganzinger [-]
2	Bachmair, Ganzinger, Waldmann [-]
1	Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici]
1	Bachmair, Ganzinger, Waldmann [Bachmair]
2	Bankstahl [-]
1	Barth, Kleine Büning, Weidenbach [Kleine Büning]
1	Bastuck [-]
1	Baumgartner, Waldmann [Baumgartner, Schmidt]
1	Baumgartner, Waldmann [Baumgartner]
1	Bjørner, Sofronie-Stokkermans (ed.) [Bjørner]
1	Bjorner, Sofronie-Stokkermans [Bjorner]
1	Blanchette, Popescu, Wand, Weidenbach [Blanchette, Popescu, Beringer, Felty]
1	Bromberger [-]
1	Burel [-]
1	Burel [Dawar, Veith]
2	Damm, Dierks, Disch, Hagemann, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Dierks, Disch, Pigorsch, Scholl, Wirtz]
1	Damm, Disch, Hagemann, Scholl, Waldmann, Wirtz [Damm, Disch, Scholl, Wirtz, Becker, Damm, Finkbeiner, Fränzle, Olderog, Podelski]
1	Damm, Disch, Hungar, Jacobs, Pang, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Wirtz, Namjoshi, Yoneda, Higashino, Okamura]
1	Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Wirtz, Graf, Zhang]
1	Damm, Ihlemann, Sofronie-Stokkermans [Damm, Bernd, Damm, Fränzle, Olderog, Podelski, Wilhelm]
1	Damm, Ihlemann, Sofronie-Stokkermans [Damm, Frazzoli, Grosu]
1	Damm, Ihlemann, Sofronie-Stokkermans [Damm]
1	Dhungana, Tang, Weidenbach, Wischnewski [Dhungana, Wischnewski, Denney, Bultan, Zeller]
2	Dimova [-]
1	Dreßler [-]
1	Dressler [Dressler]
1	Eggers, Kruglov, Kupferschmid, Scheibler, Teige, Weidenbach [Eggers, Kupferschmid, Scheibler, Teige, Tinelli]
1	Errami, Eiswirth, , Seiler, Sturm, Weber [Errami, Eiswirth, , Seiler, Weber]
1	Esquivel Pinto [-]
1	Faber, Ihlemann, Jacobs, Sofronie-Stokkermans [Faber, Jacobs, Bernd, Damm, Fränzle, Olderog, Podelski, Wilhelm]
1	Faber, Ihlemann, Jacobs, Sofronie-Stokkermans [Faber, Jacobs, Mery, Merz]
1	Faber, Jacobs, Sofronie-Stokkermans [Faber, Davies, Gibbons]
1	Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert [Baader, Lenzerini, Nutt, Patel-Schneider]
1	Fietzke [-]
1	Fietzke, Hermanns, Weidenbach [Hermanns, Fermüller, Voronkov]
1	Fietzke, Kruglov, Weidenbach [Bjørner, Voronkov]
4	Fietzke, Weidenbach [-]
1	Fietzke, Weidenbach [Ratschan]
1	Fontaine, Merz, Weidenbach [Fontaine, Merz]
1	Freiheit, Luuk, Münch, Sijanski, Zangl [Luuk, Münch, Sijanski, Zangl]
1	Freiheit, Zangl [Zangl, Remenyi]
1	Freiheit, Zangl [Zangl]
1	Gaillourdet, Hillenbrand, Löchner, Spies [Gaillourdet, Löchner, Spies, Baader, Baader]
1	Ganzinger [-]
1	Ganzinger, Hillenbrand, Waldmann [Baader]
1	Ganzinger, Korovin [Kolaitis]
1	Ganzinger, Korovin [Korovin, Hermann, Voronkov]
1	Ganzinger, Meyer, Weidenbach [McCune]
1	Ganzinger, Sofronie-Stokkermans [-]
2	Ganzinger, Sofronie-Stokkermans, Waldmann [-]
2	Ganzinger, Waldmann [-]
1	Gasse, Sofronie-Stokkermans [Rosati, Rudolph, Zakharyaschev]
1	Ghilardi, Sattler, Sofronie-Stokkermans, Tiwari (ed.) [Ghilardi, Sattler, Tiwari]
1	Ghilardi, Sattler, Sofronie-Stokkermans, Tiwari [Ghilardi, Sattler, Tiwari]
1	Hähnle, Kerber, Weidenbach [Hähnle, Kerber]
1	Hillenbrand [-]
1	Hillenbrand [Dahn, Vigneron]
1	Hillenbrand [Sattler]
1	Hillenbrand, Löchner [Löchner, Schulz]
1	Hillenbrand, Löchner [Löchner, Voronkov]
1	Hillenbrand, Piskac, Waldmann, Weidenbach [Piskac, Voronkov]
1	Hillenbrand, Podelski, Topić [-]
1	Hillenbrand, Topic, Weidenbach [Ahrendt, Baumgartner]
1	Hillenbrand, Weidenbach [-]
1	Hillenbrand, Weidenbach [Bonacina, Stickel]
1	Hirth [-]
1	Hirth, Karl, Weidenbach [-]
2	Horbach [-]
1	Horbach [Clarke, Voronkov]
1	Horbach, Sofronie-Stokkermans [Fontaine, Ringeissen, Schmidt]
4	Horbach, Weidenbach [-]
1	Horbach, Weidenbach [Grädel, Kahle]
1	Horbach, Weidenbach [Schmidt]
1	Hustadt, Schmidt, Weidenbach [de Swart]
1	Ihlemann [-]
1	Ihlemann, Jacobs, Sofronie-Stokkermans [Ramakrishnan, Rehof]
1	Ihlemann, Sofronie-Stokkermans [-]
2	Ihlemann, Sofronie-Stokkermans [Bernd, Damm, Fränzle, Olderog, Podelski, Wilhelm]
1	Ihlemann, Sofronie-Stokkermans [Giesl, Hähnle]
1	Iturrioz, Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]
1	Jacobs [-]
1	Jacobs [Baader, Ghilardi, Hermann, Sattler]
1	Jacobs [Bouajjani, Maler]
1	Jacobs, Sofronie-Stokkermans [-]
1	Jacobs, Sofronie-Stokkermans [Cook, Sebastiani]
2	Jacobs, Waldmann [-]
1	Jacobs, Waldmann [Beckert]
1	Jacquemard, Meyer, Weidenbach [Jacquemard, Nipkow]
1	Kapur, Nieuwenhuis, Voronkov, Weidenbach, Wilhelm [Kapur, Nieuwenhuis, Voronkov, Wilhelm, Voronkov]
1	Kapur, Zhang, Horbach, Zhao, Lu, Nguyen [Kapur, Zhang, Zhao, Lu, Nguyen, Bonacina, Stickel]
1	Karl [-]
1	Karrenberg, Košta, Sturm [Karrenberg, , , ]
1	Košta [-]
2	Kruglov [-]
2	Kruglov, Weidenbach [-]
1	Kruglov, Weidenbach [Ratschan]
2	Lamotte-Schubert, Weidenbach [Peltier]
1	Lamotte [-]
1	Lasaruk, Sturm [Lasaruk, Zengler]
1	Letz, Weidenbach [Letz]
1	Lev-Ami, Weidenbach, Reps, Sagiv [Lev-Ami, Reps, Sagiv]
1	Lilith, Billington, Freiheit [Lilith, Billington, Lenzini, Cruz]
1	Löchner, Hillenbrand [Löchner]
1	Lu [-]
1	Ludwig [-]
1	Ludwig, Waldmann [Ludwig, Dershowitz, Voronkov]
1	Lu, Merz, Weidenbach [Merz, Bendisposto, Leuschel, Roggenbach]
1	Lu, Merz, Weidenbach [Merz, Bruni, Dingel]
1	Lynch, Narendran, Baader, Ghilardi, Hermann, Sofronie-Stokkermans, Tiwari (ed.) [Lynch, Narendran, Baader, Ghilardi, Hermann, Tiwari]
1	Lynch, Tran [Lynch, Cha, Choi, , Lee, Viswanathan]
1	Neumann [-]
1	Nieuwenhuis, Hillenbrand, Riazanov, Voronkov [Nieuwenhuis, Riazanov, Voronkov, Goré, Leitsch, Nipkow]
1	Nonnengart, Rock, Weidenbach [Rock, Kirchner, Kirchner]
1	Nonnengart, Weidenbach [Robinson, Voronkov]
1	Ohlbach, Weidenbach [-]
3	Peltier, Sofronie-Stokkermans (ed.) [Peltier]
1	Peltier, Sofronie-Stokkermans [Peltier]
1	Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz]
1	Reuter [-]
1	Rusev [-]
1	Rybalchenko, Sofronie-Stokkermans [Becker, Damm, Fränzle, Olderog, Podelski, Wilhelm]
1	Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]
1	Rybalchenko, Sofronie-Stokkermans [Rybalchenko]
1	Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]
19	Sofronie-Stokkermans [-]
1	Sofronie-Stokkermans [Areces, Goldblatt]
1	Sofronie-Stokkermans [Autexier, Mantel]
1	Sofronie-Stokkermans [Baader, Lutz, Motik]
1	Sofronie-Stokkermans [Ball, Giesl, Hähnle, Nipkow]
2	Sofronie-Stokkermans [Becker, Damm, Fränzle, Olderog, Podelski, Wilhelm]
1	Sofronie-Stokkermans [Berns, Breuel]
1	Sofronie-Stokkermans [Bonacina]
1	Sofronie-Stokkermans [Cachro, Kijania-Placek]
1	Sofronie-Stokkermans [Caferra, Salzer, Caferra, Salzer]
1	Sofronie-Stokkermans [Contejean]
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 [Giesl, Hähnle]
1	Sofronie-Stokkermans [Iorgulescu, Marcus, Rudeanu, Vaida]
1	Sofronie-Stokkermans [Iturrioz, Orlowska, Turunen]
1	Sofronie-Stokkermans [Konev, Wolter]
1	Sofronie-Stokkermans [McAllester]
1	Sofronie-Stokkermans [Nadif, Napoli, SanJuan, Sigayret]
1	Sofronie-Stokkermans [Nieuwenhuis]
1	Sofronie-Stokkermans [Prade]
1	Sofronie-Stokkermans [Ranise]
1	Sofronie-Stokkermans [Schmidt]
1	Sofronie-Stokkermans [Vaz de Carvalho, Ferreirim]
1	Sofronie-Stokkermans [Voronkov]
2	Sofronie-Stokkermans, Ihlemann [-]
1	Sofronie-Stokkermans, Ihlemann, Jacobs [Baader, Cook, Giesl, Nieuwenhuis]
1	Sofronie-Stokkermans, Stokkermans [Stokkermans, Ciobanu, Paun]
1	Sturm, Tiwari [Tiwari, Leykin]
1	Sturm, Zengler (ed.) [Zengler]
1	Suda, Sutcliffe, Wischnewski, Lamotte-Schubert, de Melo [Sutcliffe, Mertsching, Hund, Aziz]
1	Suda, Weidenbach [Bjørner, Voronkov]
1	Suda, Weidenbach [Gramlich, Miller, Sattler]
1	Suda, Weidenbach, Wischnewski [-]
1	Suda, Weidenbach, Wischnewski [Giesl, Hähnle]
1	Teucke [-]
1	Tinelli, Sofronie-Stokkermans (ed.) [Tinelli]
1	Tran, Ringeissen, Ranise, Kirchner [Ringeissen, Ranise, Kirchner]
1	Voronkov, Weidenbach [Voronkov]
6	Waldmann [-]
1	Waldmann [Bonacina, Furbach]
1	Waldmann [Goré, Leitsch, Nipkow]
1	Waldmann [Kirchner, Kirchner]
1	Waldmann [McAllester, Voronkov]
1	Weber, Sturm, Abdel-Rahman [Weber, Abdel-Rahman]
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, Dimova, Fietzke, Suda, Wischnewski [Kumar, Schmidt]
1	Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]
1	Weidenbach, Meyer, Cohrs, Engel, Keen [-]
1	Weidenbach, Schmidt, Hillenbrand, Rusev, Topic [Schmidt, Pfenning]
4	Weidenbach, Wischnewski [-]
2	Wischnewski [-]
2	Ziemann, Matheis, Freiheit [Ziemann, Matheis]
1	Zimmer [-]
253

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

Copyright 2017 by Max-Planck-Institut Informatik | Impressum
page last modified 09/23/2017 11:17:23 AM