Frank Pfenning

Cited by

	All	Since 2018
Citations	17160	3989
h-index	66	31
i10-index	177	82

800

400

200

600

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202372 87 111 176 181 252 177 221 271 332 377 360 438 480 577 451 566 617 617 772 738 680 561 679 584 626 552 627 625 600 653 581 788 707 648

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Carsten SchürmannComputer Science, IT University of CopenhagenVerified email at itu.dk
Hongwei XiBoston UniversityVerified email at cs.bu.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Rowan DaviesCrew Tech Lead/Principal Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
Ankush DasApplied Scientist at Amazon AWSVerified email at amazon.com
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Conal ElliottVerified email at conal.net
Dan NesmithVerified email at millimark.net
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu

Frank Pfenning

Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage

Programming Languages Logic Type Theory Automated Deduction Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Higher-order abstract syntax F Pfenning, C Elliott ACM sigplan notices 23 (7), 199-208, 1988	978	1988
Uniform proofs as a foundation for logic programming D Miller, G Nadathur, F Pfenning, A Scedrov Annals of Pure and Applied logic 51 (1-2), 125-157, 1991	895	1991
System description: Twelf—a meta-logical framework for deductive systems H Ganzinger, F Pfenning, C Schürmann Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999	873	1999
Dependent types in practical programming H Xi, F Pfenning Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	810	1999
Refinement types for ML T Freeman, F Pfenning Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991	610	1991
A modal analysis of staged computation R Davies, F Pfenning Journal of the ACM (JACM) 48 (3), 555-604, 2001	534	2001
A judgmental reconstruction of modal logic F Pfenning, R Davies Mathematical structures in computer science 11 (4), 511-540, 2001	467	2001
Session types as intuitionistic linear propositions L Caires, F Pfenning International Conference on Concurrency Theory, 222-236, 2010	463	2010
Eliminating array bound checking through dependent types H Xi, F Pfenning Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998	426	1998
Logic programming in the LF logical framework F Pfenning Logical frameworks, 149-181, 1991	366	1991
Contextual modal type theory A Nanevski, F Pfenning, B Pientka ACM Transactions on Computational Logic (TOCL) 9 (3), 1-49, 2008	346	2008
A linear logical framework I Cervesato, F Pfenning Information and computation 179 (1), 19-75, 2002	301	2002
Logical frameworks. F Pfenning Handbook of automated reasoning 2, 1063-1147, 2001	221	2001
A concurrent logical framework I: Judgments and properties K Watkins, I Cervesato, F Pfenning, D Walker Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie …, 2003	215	2003
Types in logic programming F Pfenning	212	1992
Elf: A language for logic definition and verified metaprogramming F Pfenning LICS 89 (17), 313-322, 1989	211	1989
TPS: A theorem-proving system for classical type theory PB Andrews, M Bishop, S Issar, D Nesmith, F Pfenning, H Xi Journal of automated reasoning 16, 321-353, 1996	197	1996
Inductively defined types in the Calculus of Constructions F Pfenning, C Paulin-Mohring Mathematical Foundations of Programming Semantics: 5th International …, 1990	190	1990
Unification and anti-unification in the Calculus of Constructions F Pfenning LICS 91, 74-85, 1991	181	1991
Linear logic propositions as session types L Caires, F Pfenning, B Toninho Mathematical Structures in Computer Science 26 (3), 367-423, 2016	171	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors