Publications by Frank Pfenning

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

2015
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

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7211:539-558
Perez JA, Caires L, Pfenning F, Toninho B

2012 • EPiC series in computing • 7:1-1
Pfenning F

2012 • Journal of Computer Security • 20(4):353-391
Garg D, Pfenning F

2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 1-12
Caires L, Pfenning F, Toninho B

2012 1-12
Cervesato I, Pfenning F, Sacchini JL, Schürmann C, Simmons RJ

2011 • PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING • 161-171
Toninho B, Caires L, Pfenning F

2011 1-6
Simmons RJ, Toninho B, Pfenning F

2011 • Higher-Order and Symbolic Computation • 24(1-2):41-80
Simmons RJ, Pfenning F

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7086:21-36
Pfenning F, Caires L, Toninho B

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6710:210-225
Garg D, Pfenning F

2010 • IEEE Symposium on Security and Privacy: Proceedings • 349-364
Garg D, Pfenning F

2010 • Logical Methods in Computer Science • 6:4
Lovas W, Pfenning F