Publications by Frank Pfenning

2017
Acay C, Pfenning F

2017 • Electronic Proceedings in Theoretical Computer Science • 4-19
Acay C, Pfenning F

2017 • Proceedings of the ACM on Programming Languages • 1:
Balzer S, Pfenning F

2017 • Electronic Proceedings in Theoretical Computer Science • 64-72
Silva M, Florido M, Pfenning F

2017
Silva M, Florido M, Pfenning F

2017
Das A, Hoffmann J, Pfenning F

2016 • Mathematical Structures in Computer Science • 26(3):367-423
Caires L, Pfenning F, Toninho B

2016 • ACM Sigplan Notices • 51(1):582-594
Jia L, Gommerstadt H, Pfenning F

2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10017:3-22
DeYoung H, Pfenning F

2015 13-24
Balzer S, Pfenning F

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9034:3-22
Pfenning F, Griffith D

2015 1
Pfenning F

2015
Pfenning F

2015 • ACM Sigplan Notices • 50(1):
Pfenning F

2014
Cruz F, Rocha R, Goldstein SC, Pfenning F

2014 • Theory and Practice of Logic Programming • 14:493-507
Cruz F, Rocha R, Goldstein SC, Pfenning F

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8902:159-175
Toninho B, Caires L, Pfenning F

2014 • Information and Computation • 239:254-302
Perez JA, Caires L, Pfenning F, Toninho B

2014 • Theory and Practice of Logic Programming • 14(2):265-267
Pfenning F

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7792:330-349
Caires L, Perez JA, Pfenning F, Toninho B

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7792:350-369
Toninho B, Caires L, Pfenning F

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7794 LNCS:
Pfenning F

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7170:40-55
Morgenstern J, Garg D, Pfenning F

2012 • Leibniz International Proceedings in Informatics • 16:228-242
DeYoung H, Caires L, Pfenning F, Toninho B

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7213:346-360
Toninho B, Caires L, Pfenning F