Publications by Frank Pfenning

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

2007 • ACM Sigplan Notices • 219-219
Pfenning F

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

2007 • IEEE International Conference on Robotics and Automation • 3705-+
Saranli U, Pfenning F

2006 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4189:297-+
Garg D, Bauer L, Bowers KD, Pfenning R, Reiter MK

2006 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4130:97-111
Chaudhuri K, Pfenning F, Price G

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

2006 • Proceedings of the Computer Security Foundations Workshop • 1-11
Garg D, Pfenning F

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3632:69-83
Chaudhuri K, Pfenning F

2005 • Journal of Functional Programming • 15:249-291
Crary K, Kliger A, Pfenning F

2005 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 171-182
Park S, Pfenning F, Thrun S

2005 • ACM Sigplan Notices • 40(1):171-182
Park S, Pfenning F, Thrun S

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3634:200-215
Chaudhuri K, Pfenning F

2005 35-46
López P, Pfenning F, Polakow J, Watkins K

2005 • ACM Transactions on Computational Logic • 6(1):61-101
Harper R, Pfenning F

2005
Pfenning F

2005 • ACM Sigplan Notices • 40(9):
Pfenning F

2005 • Journal of Functional Programming • 15:893-939
Nanevski A, Pfenning F

2005 1-1
Pfenning F

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3653:6-20
Garg D, Pfenning R

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3085:355-377
Watkins K, Cervesato I, Pfenning F, Walker D

2004 • Proceedings - Symposium on Logic in Computer Science • 286-295
Murphy T, Crary K, Harper R, Pfenning F

2004 • Bulletin of Symbolic Logic • 10(2):213-214
Pfenning F