| 2010 | IGARSS | Quikscat backscatter sensitivity to landscape freeze/thaw state over ALECTRA sites in Alaska from 2000 to 2007: Application to SMAP validation planning. | Andreas Colliander, Kyle McDonald, Reiner Zimmermann, Thomas Linke, Ronny Schroeder, John S. Kimball, Eni G. Njoku |
| 2005 | LPAR | The nomore++ Approach to Answer Set Solving. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | LPNMR | The nomore++ System. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2004 | ICLP | On Acyclic and Head-Cycle Free Nested Logic Programs. | Thomas Linke, Hans Tompits, Stefan Woltran |
| 2004 | JELIA | Profiling Answer Set Programming: The Visualization Component of the noMoRe System. | Andreas Bsel, Thomas Linke, Torsten Schaub |
| 2004 | LPAR | Suitable Graphs for Answer Set Programming. | Thomas Linke, Vladimir Sarsakov |
| 2004 | LPNMR | Graphs and Colorings for Answer Set Programming: Abridged Report. | Kathrin Konczak, Thomas Linke, Torsten Schaub |
| 2002 | JELIA | NoMoRe : Non-monotonic Reasoning with Logic Programs. | Christian Anger, Kathrin Konczak, Thomas Linke |
| 2002 | JELIA | More on noMoRe. | Thomas Linke, Christian Anger, Kathrin Konczak |
| 2001 | CADE | NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. | Christian Anger, Kathrin Konczak, Thomas Linke |
| 2001 | IJCAI | Graph Theoretical Characterization and Computation of Answer Sets. | Thomas Linke |
| 2001 | LPNMR | NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. | Christian Anger, Kathrin Konczak, Thomas Linke |
| 1999 | ECSQARU | On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. | Thomas Linke, Torsten Schaub |
| 1999 | LPNMR | Default Reasoning via Blocking Sets. | Thomas Linke, Torsten Schaub |
| 1998 | JELIA | An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. | Thomas Linke, Torsten Schaub |
| 1996 | KI | Putting Default Logics in Perspective. | Thomas Linke, Torsten Schaub |
| 1995 | ECSQARU | Lemma Handling in Default Logic Theorem Provers. | Thomas Linke, Torsten Schaub |