Publications by Jan Hoffmann

2018 • Proceedings - Symposium on Logic in Computer Science • 305-314
Das A, Hoffmann J, Pfenning F

2017 • Leibniz International Proceedings in Informatics • 84:
Lichtman B, Hoffmann J

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10427:64-85
Carbonneaux Q, Hoffmann J, Reps T, Shao Z

2017
Ngo VC, Carbonneaux Q, Hoffmann J

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10205:190-207
Das A, Hoffmann J

2017 • Journal of Automated Reasoning • 59(1):1-2
Giesl J, Hoffmann J

2017 • ACM Sigplan Notices • 52(1):316-329
Cicek E, Barthe G, Gaboardi M, Garg D, Hoffmann J

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

2013
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