Journal Article A Probabilistic Language Based on Sampling Functions 2008 • ACM Transactions on Programming Languages and Systems • 31(1): Park S, Pfenning F, Thrun S
Conference An authorization logic with explicit time 2008 • Proceedings - IEEE Computer Security Foundations Symposium • 133-145 DeYoung H, Garg D, Pfenning F
Journal Article Contextual modal type theory 2008 • ACM Transactions on Computational Logic • 9(3): Nanevski A, Pfenning F, Pientka B
Journal Article Distributed System Security via Logical Frameworks (SeLF) 2008 Bauer L, Pfenning F, Reiter M, Chaudhuri K, Garg D, Garriss S, McCune J, Ley-Wild R
Conference Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic 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
Conference Linear logical algorithms 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
Journal Article Specifying Properties of Concurrent Computations in CLF 2008 • Electronic Notes in Theoretical Computer Science • 199:67-87 Watkins K, Cervesato I, Pfenning F, Walker D
Journal Article Consumable Credentials in Logic-Based Access-Control Systems 2007 • Proceedings of the Symposium on Network and Distributed System Security Ndss 2007 Bowers KD, Bauer L, Garg D, Pfenning F, Reiter MK
Journal Article Invited talk: Subtyping and intersection types revisited 2007 • ACM Sigplan Notices • 42(9):219 Pfenning F
Conference Lecture Notes in Computer Science: Preface 2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4603 LNAI: Pfenning F
Conference On a logical foundation for explicit substitutions 2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4533:19-19 Pfenning F
Conference On a logical foundation for explicit substitutions 2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4583:1-1 Pfenning F
Conference Subtyping and Intersection Types Revisited 2007 • ACM Sigplan Notices • 219-219 Pfenning F
Conference Subtyping and intersection types revisited 2007 • ACM Sigplan Notices • 42(9):219-219 Pfenning F
Conference Using constrained intuitionistic linear logic for hybrid robotic planning problems 2007 • IEEE International Conference on Robotics and Automation • 3705-+ Saranli U, Pfenning F
Conference A linear logic of authorization and knowledge 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
Conference A logical characterization of forward and backward chaining in the inverse method 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
Book Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformation): Preface 2006 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4098 LNCS: Pfenning F
Conference Non-Interference in Constructive Authorization Logic 2006 • Proceedings of the Computer Security Foundations Workshop • 1-11 Garg D, Pfenning F
Conference A focusing inverse method theorem prover for first-order linear logic 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
Journal Article A monadic analysis of information flow security with mutable state 2005 • Journal of Functional Programming • 15:249-291 Crary K, Kliger A, Pfenning F
Conference A probabilistic language based upon sampling functions 2005 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 171-182 Park S, Pfenning F, Thrun S
Conference A probabilistic language based upon sampling functions 2005 • ACM Sigplan Notices • 40(1):171-182 Park S, Pfenning F, Thrun S
Conference Focusing the inverse method for linear logic 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
