Publications by Jan Hoffmann

2011 • ACM Sigplan Notices • 46(1):357-370
Hoffmann J, Aehlig K, Hofmann M

2011 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 357-370
Hoffmann J, Aehlig K, Hofmann M

2011 • Theory of Computing Systems • 49(1):139-161
Brandt F, Brill M, Fischer F, Hoffmann J

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6461:172-187
Hoffmann J, Hofmann M

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6012:287-306
Hoffmann J, Hofmann M

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6078:299-310
Baumeister D, Brandt F, Fischer F, Hoffmann J, Rothe J

2009 • ACM SIGecom Exchanges • 8(2):1-4
Brandt F, Brill M, Fischer F, Harrenstein P, Hoffmann J

2009 • Theoretical Computer Science • 410(21-23):2295-2300
Hoffmann J

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