Publications by Frank Pfenning

2019 • Electronic Proceedings in Theoretical Computer Science • 60-79
Pruiksma K, Pfenning F

2019
Pruiksma K, Pfenning F

2019 • Leibniz International Proceedings in Informatics • 140:
Caires L, Perez JA, Pfenning F, Toninho B

2019
Caires L, Pérez JA, Pfenning F, Toninho B

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11423:611-639
Balzer S, Toninho B, Pfenning F

2019
Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I

2018 • Leibniz International Proceedings in Informatics • 118:
Balzer S, Pfenning F, Toninho B

2018
Das A, Hoffmann J, Pfenning F

2018 • Proceedings of the ACM on Programming Languages • 2:
Das A, Hoffmann J, Pfenning F

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10801:771-798
Gommerstadt H, Jia L, Pfenning F

2018
Das A, Hoffmann J, Pfenning F

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

2017
Willsey M, Prabhu R, Pfenning F

2017 • Electronic Proceedings in Theoretical Computer Science • 73-82
Willsey M, Prabhu R, Pfenning F

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

2017
Acay C, Pfenning F

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

2017
Silva M, Florido M, Pfenning F

2017 • Electronic Proceedings in Theoretical Computer Science • 64-72
Silva M, Florido M, 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