Statistics
Publications
3
Citations
74
H-Index
3
Active since
2010
Affiliations
Yale University(Current)
Antonis Stampoulis is an author at Yale University specializing in deductive verification, proof theory, and programming languages.
Publications per year
2010–2012
3
3
Antonis Stampoulis, Zhong Shao · 2010 · 41 citations
Static and user-extensible proof checking
Antonis Stampoulis, Zhong Shao · ACM SIGPLAN Notices · 2012 · 20 citations
Static and user-extensible proof checking
Antonis Stampoulis, Zhong Shao · 2012 · 13 citations
1–3 of 3