 | Year | | Title | BibTeX cite key | |
|---|
 | Eisenbrand |
| |
|
| |
| Eisenbrand, Rinaldi, Ventura |
| |
|
| |
| Eisenbrand, Schulz |
| |
| Eisinger, Nonnengart, Präcklein |
| |
| Eisinger, Ohlbach |
| |
| Eisinger, Ohlbach, Präcklein |
| |
| Engel |
| |
|
| |
| Fehrer |
| |
| Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert |
| |
| Fermüller, Leitsch, Hustadt, Tammet |
| |
| Firozabadhi, van der Torre |
| |
| Fischmann |
| |
|
| |
| Frank, Basin, Bundy |
| |
| Freiheit, Luuk, Münch, Sijanski, Zangl |
| |
| Freiheit, Münch, Schöttle, Sijanski, Zangl |
| |
|
| |
| Friedrich |
| |
| Furbach, Ganzinger, Hasegawa, Kapur (ed.) |
| |
| Gabbay, Kruse, Nonnengart, Ohlbach (ed.) |
| |
|
| |
| Gabbay, Ohlbach (ed.) |
| |
|
| |
| Gaillourdet, Hillenbrand, Löchner, Spies |
| |
|
| |
| Ganzinger |
| |
|
| |
| Ganzinger, de Nivelle |
| |
| Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli |
| |
| Ganzinger, Hillenbrand, Waldmann |
| |
| Ganzinger, Hustadt, Meyer, Schmidt |
| |
| Ganzinger, Jacquemard, Veanes |
| |
|
| |
| Ganzinger, McAllester |
| |
| Ganzinger, McAllester, Voronkov (ed.) |
| |
| Ganzinger, Meyer, Veanes |
| |
| Ganzinger, Meyer, Weidenbach |
| |
| Ganzinger, Nieuwenhuis |
| |
| Ganzinger, Nieuwenhuis, Nivela |
| |
| Ganzinger, Sofronie-Stokkermans |
| |
| Ganzinger, Sofronie-Stokkermans, Waldmann |
| |
| Ganzinger, Stuber |
| |
|
| |
| Georgieva, Hustadt, Schmidt |
| |
|
| |
| Gerber |
| |
|
| |
| Goncharov, Harizanov, Knight, Morozov, Romina |
| |
| Goranko, Hustadt, Schmidt, Vakarelov |
| |
| Graf |
| |
|
| |
| Grenner |
| |
|
| |
| Hähnle, Kerber, Weidenbach |
| |
|
| |
| Hanus |
| |
|
| |
| Hanus, Zartmann |
| |
|
| |
| Hillenbrand, Löchner |
| |
| Hillenbrand, Podelski, Topić |
| |
| Hillenbrand, Topic, Weidenbach |
| |
|
| |
| Hoffmann |
| |
|
| |
| Hoffmann, Geffner |
| |
|
| |
| Hoffmann, Porteous, Sebastia |
| |
| Hoffmann, Sabharwal, Domshlak |
| |
| Hopf |
| |
|
| |
| Hopf, Rau |
| |
|
| |
| Hustadt, Nonnengart |
| |
|
| |
| Hustadt, Schmidt, Weidenbach |
| |
| Iturrioz, Sofronie-Stokkermans |
| |
| Jacobs |
| |
| Jacobs, Sofronie-Stokkermans |
| |
| Jacobs, Waldmann |
| |
| Jacquemard, Meyer, Weidenbach |
| |
| Jaeger |
| |
|
| |
| Jaulin, Ratschan, Hardouin |
| |
|
| |
| Jensen, Podelski (ed.) |
| |
|
| |
| Jung |
| |
|
| |
| Kazakov |
| |
|
| |
| Klotzki |
| |
|
| |
| Korovin, Voronkov |
| |
|
| |
| Krischer, Bockmayr |
| |
|
| |
| Krishna Rao, Shyamasundar |
| |
| Kupferschmid, Hoffmann, Dierks, Behrmann |
| |
| Lang, van der Torre, Weydert |
| |
|
| |
| Lee, Plaisted |
| |
|
| |
| Letz, Weidenbach |
| |
|
| |
| Levy, Veanes |
| |
| Lilith, Billington, Freiheit |
| |
| Löchner, Hillenbrand |
| |
|
| |
| Madden |
| |
|
| |
| Madden, Bundy, Smaill |
| |
|
| |
| Maier |
| |
|
| |
| Malkis, Podelski, Rybalchenko |
| |
|
| |
| Matthews, Basin |
| |
|
| |
| Matthews, Smaill, Basin |
| |
|
| |
| Meyer |
| |
| Meyer, Faber, Rybalchenko |
| |
| Mohr |
| |
| Müller, Niehren, Podelski |
| |
| Mukhopadhyay |
| |
|
| |
| Naumann |
| |
|
| |
| Nieuwenhuis, Hillenbrand, Riazanov, Voronkov |
| |
|
| |
| Nonnengart |
| |
|
| |
| Nonnengart, Ohlbach, Gabbay |
| |
| Nonnengart, Ohlbach, Szalas |
| |
| Nonnengart, Rock, Weidenbach |
| |
|
| |
| Nonnengart, Weidenbach |
| |
|
| |
| Ohlbach, Herzig |
| |
|
| |
| Ohlbach, Schmidt |
| |
| Ohlbach, Schmidt, Hustadt |
| |
| Ohlbach, Siekmann |
| |
|
| |
| Pacholski, Podelski |
| |
|
| |
| Plaisted |
| |
| Pnueli, Podelski, Rybalchenko |
| |
| Podelski |
| |
|
| |
| Podelski, Ball, Rajamani |
| |
| Podelski, Charatonik, Müller |
| |
| Podelski, Rybalchenko |
| |
| Podelski, Rybalchenko, Cook |
| |
| Podelski, Schaefer, Wagner |
| |
|
| |
| Podelski, Wagner |
| |
|
| |
| Prevosto |
| |
|
| |
| Prevosto, Waldmann |
| |
| Rahman, Rückert, Fischmann |
| |
| Ratschan |
| |
|
| |
| Ratschan, Smaus |
| |
|
| |
| Rau |
| |
|
| |
| Rock |
| |
|
| |
| Rybalchenko, Sofronie-Stokkermans |
| |
|
| |
| Schlobach |
| |
|
| |
| Schmidt, Hustadt |
| |
| Schmidt, Orłowska, Hustadt |
| |
| Schmidt, Tishkovsky |
| |
| Schmidt, Tishkovsky, Hustadt |
| |
| Schmolzi |
| |
|
| |
| She, Xia, Xiao |
| |
|
| |
| Smaus |
| |
|
| |
| Sofronie-Stokkermans |
| |
| Sofronie-Stokkermans, Stokkermans |
| |
| Struth |
| |
|
| |
| Suchanek |
| |
|
| |
| Talbot, Devienne, Tison |
| |
|
| |
| Thiebaux, Hoffmann, Nebel |
| |
|
| |
| Trueg, Hoffmann, Nebel |
| |
|
| |
| van der Torre |
| |
|
| |
| van der Torre, Weydert |
| |
|
| |
| Veit |
| |
|
| |
| Vorobyov |
| |
|
| |
| Voronkov |
| |
|
| |
| Waldmann |
| |
|
| |
| Weidenbach |
| |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić |
| |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić |
| |
|
| |
| Weidenbach, Meyer, Cohrs, Engel, Keen |
| |
| Werner, Bockmayr, Krischer |
| |
| Weydert |
| |
| Weydert, Brewka, Witteveen (ed.) |
| |
| Weydert, van der Torre |
| |
|
| |
| Wies, Kuncak, Lam, Podelski, Rinard |
| |
|
| |
| Wu, Liu |
| |
|
| |
| Wu, Tan, Li |
| |
|
| |
| Yoshida, Bundy, Green, Walsh, Basin |
| |
| Yuan, Billington, Freiheit |
| |
| Zeyer |
| |
