Torsten Grote
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2008–2012
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | KR | Stream Reasoning with Answer Set Programming: Preliminary Report. | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
| 2011 | LPNMR | Reactive Answer Set Programming. | Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub |
| 2010 | JELIA | Coala: A Compiler from Action Languages to ASP. | Martin Gebser, Torsten Grote, Torsten Schaub |
| 2010 | PST | On the representation and verification of cryptographic protocols in a theory of action. | James P. Delgrande, Aaron Hunter, Torsten Grote |
| 2009 | LPNMR | A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. | James P. Delgrande, Torsten Grote, Aaron Hunter |
| 2008 | ICTAI | The System BioC for Reasoning about Biological Models in Action Language C. | Steve Dworschak, Torsten Grote, Arne Knig, Torsten Schaub, Philippe Veber |
| 2008 | KR | Conflict-Driven Disjunctive Answer Set Solving. | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Knig, Max Ostrowski, Torsten Schaub |