# | | Year | | Title | Type | |
1 |
| Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin] |
| |
1 |
| Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov] |
| |
1 |
| Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner] |
| |
1 |
| |
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 |
| |
1 |
| Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner] |
| |
1 |
| |
2 |
| Ayari, Basin [-] |
| |
1 |
| |
1 |
| Baader, Ohlbach [-] |
| |
1 |
| |
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 |
| |
1 |
| Ball, Podelski, Rajamani [Ball, Rajamani] |
| |
1 |
| Barnett, Basin, Hesketh [-] |
| |