The System BioC for Reasoning about Biological Models in Action Language C. - Steve Dworschak; Torsten Grote; Arne König; Torsten Schaub; Philippe Veber (ICTAI (1), 2008)

Conflict-Driven Disjunctive Answer Set Solving. - Christian Drescher; Martin Gebser; Torsten Grote; Benjamin Kaufmann; Arne König; Max Ostrowski; Torsten Schaub (KR, 2008)

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. - James P. Delgrande; Torsten Grote; Aaron Hunter 001 (LPNMR, 2009)

Coala: A Compiler from Action Languages to ASP. - Martin Gebser; Torsten Grote; Torsten Schaub (JELIA, 2010)

On the representation and verification of cryptographic protocols in a theory of action. - James P. Delgrande; Aaron Hunter 001; Torsten Grote (PST, 2010)

Reactive Answer Set Programming. - Martin Gebser; Torsten Grote; Roland Kaminski; Torsten Schaub (LPNMR, 2011)

Stream Reasoning with Answer Set Programming: Preliminary Report. - Martin Gebser; Torsten Grote; Roland Kaminski; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub (KR, 2012)

Answer Set Programming for Stream Reasoning - Martin Gebser; Torsten Grote; Roland Kaminski; Philipp Obermeier; Orkunt Sabuncu; Torsten Schaub (CoRR, 2013)