Publications by Frank Pfenning

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 • 5:2010
Lovas W, Pfenning F

2010
Lovas W, Pfenning F

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

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6269:222-+
Caires L, Pfenning F

2010 • Electronic Proceedings in Theoretical Computer Science •
Pfenning F

2009
Garg D, Serenyi D, Pfenning F, Witten B

2009
Garg D, Pfenning F

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5663:230-244
McLaughlin S, Pfenning F

2009 • Electronic Notes in Theoretical Computer Science • 231:91-111
Reed J, Pfenning F

2009 9-20
Simmons RJ, Pfenning F

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5608:157-171
Lovas W, Pfenning F

2009 • ACM Sigplan Notices • 44(1):
Pfenning F

2009
Pfenning F

2009 • Proceedings - Symposium on Logic in Computer Science • 101-110
Pfenning F, Simmons RJ