Publications by Jan Hoffmann

2017 • ACM Sigplan Notices • 52(1):359-373
Hoffmann J, Das A, Weng S-C

2017 • IEEE Symposium on Security and Privacy: Proceedings • 710-728
Van CN, Dehesa-Azuara M, Fredrikson M, Hoffmann J

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9032:132-157
Hoffmann J, Shao Z

2015 • ACM Sigplan Notices • 467-478
Carbonneaux Q, Hoffmann J, Shao Z

2015 • ACM Sigplan Notices • 50(6):467-478
Carbonneaux Q, Hoffmann J, Shao Z

2015 • Journal of Functional Programming • 25:e17
HOFFMANN J, SHAO Z

2014 • ACM Sigplan Notices • 270-281
Carbonneaux Q, Hoffmann J, Ramananandro T, Shao Z

2014 • ACM Sigplan Notices • 49(6):270-281
Carbonneaux Q, Hoffmann J, Ramananandro T, Shao Z

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8475:152-168
Hoffmann J, Shao Z

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8052:227-241
Liang H, Hoffmann J, Feng X, Shao Z

2013 • Proceedings - Symposium on Logic in Computer Science • 124-133
Hoffmann J, Marmar M, Shao Z

2013 • Theory of Computing Systems • 53(3):467-502
Baumeister D, Brandt F, Fischer F, Hoffmann J, Rothe J

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8312:710-726
Scherer G, Hoffmann J

2012 • ACM Sigplan Notices • 47(1):45-58
Krishnaswami NR, Benton N, Hoffmann J

2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 45-58
Krishnaswami NR, Benton N, Hoffmann J

2012 • ACM Transactions on Programming Languages and Systems • 34(3):1-62
Hoffmann J, Aehlig K, Hofmann M

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7358:781-786
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 • ACM Sigplan Notices • 46(1):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