Publications by Frank Pfenning

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

2008 • Electronic Notes in Theoretical Computer Science • 196:113-128
Lovas W, Pfenning F

2008 • Journal of Automated Reasoning • 40(2-3):133-177
Chaudhuri K, Pfenning F, Price G

2008 • ACM Transactions on Programming Languages and Systems • 31(1):
Park S, Pfenning F, Thrun S

2008 • Proceedings - IEEE Computer Security Foundations Symposium • 133-145
DeYoung H, Garg D, Pfenning F

2008 • ACM Transactions on Computational Logic • 9(3):
Nanevski A, Pfenning F, Pientka B

2008
Bauer L, Pfenning F, Reiter M, Chaudhuri K, Garg D, Garriss S, McCune J, Ley-Wild R

2008 • Proceedings - Symposium on Logic in Computer Science • x-x
Pfenning F

2008 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5330:174-181
McLaughlin S, Pfenning F

2008 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5126:336-347
Simmons RJ, Pfenning F

2008 • Electronic Notes in Theoretical Computer Science • 199:67-87
Watkins K, Cervesato I, Pfenning F, Walker D

2007 • Proceedings of the Symposium on Network and Distributed System Security Ndss 2007
Bowers KD, Bauer L, Garg D, Pfenning F, Reiter MK

2007 • ACM Sigplan Notices • 42(9):219
Pfenning F

2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4603 LNAI:
Pfenning F

2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4533:19-19
Pfenning F

2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4583:1-1
Pfenning F