Proof Certificate is a formal, machine-checkable record that belongs to the class of proof artifacts and specifically serves as a succinct, independently verifiable evidence of the correctness of a theorem derived within a logical system.
9
Publications
291
Citations
17
Authors
8
Institutions
Publications per year
2017–2026
3
Parents
Publications
9
Compositional certified resource bounds
Quentin Carbonneaux, Jan Hoffmann, Zhong Shao · 2015 · 93 citations
Grigore Roşu, Andrei Ștefănescu, Ştefan Ciobâcă et al. · 2013 · 58 citations
1–5 of 9
Authors
17
- JH
2
h-index
- QC
2
h-index
- ZS
2
h-index
- GR
2
h-index
- AȘAndrei Ștefănescu
University of Illinois Urbana-Champaign, United States
1 publications · 58 citations
1
h-index
1–5 of 17
Institutions
8
Carnegie Mellon University
Pittsburgh, United States
2 h-index
1 publications
55 citations
Yale University
New Haven, United States
2 h-index
6 publications
324 citations
Columbia University
New York, United States
1 h-index
2 publications
22 citations
Tufts University
Medford, United States
1 h-index
1 publications
11 citations
Alexandru Ioan Cuza University
Iasi, Romania
1 h-index
2 publications
116 citations
University of Illinois System
Urbana, United States
1 h-index
3 publications
174 citations
University of Basel
Basel, Switzerland
1 h-index
3 publications
66 citations
University of Iowa
Iowa City, United States
1 h-index
2 publications
34 citations
1–8 of 8
Venues
- Proceedings of the International Conference on Automated Planning and Scheduling
1 publications · 22 citations
1
h-index
- Logical Methods in Computer Science
LMCS · 1 publications · 55 citations
1
h-index
- Information and Computation
1 publications · 11 citations
1
h-index
- ACM SIGPLAN Notices
1 publications · 15 citations
1
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 1 publications · 10 citations
1–5