Publications by Jan Hoffmann

2009
Baumeister D, Brandt F, Fischer F, Hoffmann J, Rothe J

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5814:238-249
Brandt F, Brill M, Fischer F, Hoffmann J

2008
Buss SR, Hoffmann J, Johannsen J

2008 • Theoretical Computer Science • 396(1-3):271-276
Buss SR, Hoffmann J

• Logical Methods in Computer Science • Volume 4, Issue 4:
Buss SR, Hoffmann J, Johannsen J