Arne König

	2008
2		Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber: The System BioC for Reasoning about Biological Models in Action Language C. ICTAI (1) 2008: 11-18
1		Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432

Coauthor Index

1	Christian Drescher	[1]
2	Steve Dworschak	[2]
3	Martin Gebser	[1]
4	Torsten Grote	[1] [2]
5	Benjamin Kaufmann	[1]
6	Max Ostrowski	[1]
7	Torsten Schaub	[1] [2]
8	Philippe Veber	[2]