Benjamin C. Pierce

Citée par

	Toutes	Depuis 2018
Citations	22819	5376
indice h	67	35
indice i10	169	91

1200

600

300

900

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202364 99 165 155 206 258 311 429 346 440 559 596 768 951 935 999 944 1023 980 937 915 894 957 971 1002 949 941 1143 903 1070 977 339

Accès public

Tout afficher

23 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Cătălin HrițcuTenured Faculty at MPI-SPAdresse e-mail validée de mpi-sp.org
Haruo HosoyaATR InternationalAdresse e-mail validée de atr.jp
Alan SchmittInria, IRISAAdresse e-mail validée de inria.fr
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityAdresse e-mail validée de kuis.kyoto-u.ac.jp
Nate FosterProfessor of Computer Science, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
Andreas HaeberlenUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Arthur Azevedo de AmorimRochester Institute of TechnologyAdresse e-mail validée de rit.edu
Leonidas LampropoulosAssistant Professor, University of MarylandAdresse e-mail validée de umd.edu
Jérôme VouillonCNRS, Université Paris DiderotAdresse e-mail validée de pps.univ-paris-diderot.fr
Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKAdresse e-mail validée de inf.ed.ac.uk
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceAdresse e-mail validée de stevens.edu
Marco GaboardiBoston UniversityAdresse e-mail validée de bu.edu
Andre DeHonUniversity of PennsylvaniaAdresse e-mail validée de acm.org
Eijiro SumiiTohoku UniversityAdresse e-mail validée de ecei.tohoku.ac.jp
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéAdresse e-mail validée de irif.fr
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeAdresse e-mail validée de pomona.edu
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu

Suivre

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania

Adresse e-mail validée de cis.upenn.edu - Page d'accueil

Programming languages type systems security and privacy functional programming formal specification and verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Types and programming languages BC Pierce MIT press, 2002	3789	2002
Featherweight Java: a minimal core calculus for Java and GJ A Igarashi, BC Pierce, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 2001	1655	2001
Basic category theory for computer scientists BC Pierce MIT press, 1991	740	1991
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17-es, 2007	725	2007
XDuce: A statically typed XML processing language H Hosoya, BC Pierce ACM Transactions on Internet Technology (TOIT) 3 (2), 117-148, 2003	723*	2003
Typing and subtyping for mobile processes B Pierce, D Sangiorgi Mathematical Structures in Computer Science 6 (5), 409-453, 1996	638	1996
Pict: a programming language based on the Pi-Calculus. BC Pierce, DN Turner Proof, language, and interaction, 455-494, 2000	636	2000
Local type inference BC Pierce, DN Turner ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (1), 1-44, 2000	556	2000
Dynamic typing in a statically typed language M Abadi, L Cardelli, B Pierce, G Plotkin ACM transactions on programming languages and systems (TOPLAS) 13 (2), 237-268, 1991	554	1991
Linearity and the pi-calculus N Kobayashi, BC Pierce, DN Turner ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999	548	1999
Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... Theorem Proving in Higher Order Logics: 18th International Conference …, 2005	399	2005
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	333	1997
Differential privacy: An economic method for choosing epsilon J Hsu, M Gaboardi, A Haeberlen, S Khanna, A Narayan, BC Pierce, ... 2014 IEEE 27th Computer Security Foundations Symposium, 398-410, 2014	325	2014
Simple type-theoretic foundations for object-oriented programming BC Pierce, DN Turner Journal of functional programming 4 (2), 207-247, 1994	313	1994
Advanced topics in types and programming languages BC Pierce MIT press, 2004	298	2004
Distance makes the types grow stronger: a calculus for differential privacy J Reed, BC Pierce Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010	293	2010
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	280	2008
Differential Privacy Under Fire. A Haeberlen, BC Pierce, A Narayan USENIX Security Symposium 33, 236, 2011	276	2011
Relational lenses: a language for updatable views A Bohannon, BC Pierce, JA Vaughan Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006	275	2006
Bounded quantification is undecidable BC Pierce Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992	259	1992

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs