Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Search by expertise, name or affiliation
Computer Science
Princeton University
Website
https://www.cs.princeton.edu/
Overview
Fingerprint
Network
Profiles
(63)
Projects
(156)
Research output
(3949)
Research output
Research output per year
1970
2006
2008
2010
2011
2012
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
1752
Conference contribution
1422
Article
270
Conference article
261
Paper
244
More
76
Editorial
65
Review article
53
Comment/debate
35
Chapter
7
Letter
6
Short survey
2
Book
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Book
Search results
2014
Program logics for certified compilers
Appel, A. W.
,
Dockins, R.
,
Hobor, A.
,
Beringer, L.
,
Dodds, J.
,
Stewart, G.
,
Blazy, S.
&
Leroy, X.
,
Jan 1 2014
,
Cambridge University Press
.
451 p.
Research output
:
Book/Report
›
Book
Algebra
100%
Toys
59%
Open source software
53%
Computer programming languages
43%
Students
35%
126
Scopus citations
2009
Analytic combinatorics
Flajolet, P.
&
Sedgewick, R.
,
Jan 1 2009
,
Cambridge University Press
.
810 p.
Research output
:
Book/Report
›
Book
Analytic Combinatorics
100%
Text
61%
Chemistry
35%
Exercise
34%
Biology
32%
2093
Scopus citations