Statistics
Publications
17
Citations
408
H-Index
12
Active since
2000
Affiliations
Nikolaos Papaspyrou is an author at National Technical University of Athens specializing in programming languages, computer science, and computing.
Publications per year
2000–2017
17
17
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov et al. · 2002 · 74 citations · Full text
A Formal Semantics for the C Programming Language
Nikolaos Papaspyrou · 2000 · 44 citations · Full text
A type system for certified binaries
Zhong Shao, Valery Trifonov, Bratin Saha et al. · ACM Transactions on Programming Languages and Systems · 2005 · 44 citations · Full text
A scalability benchmark suite for Erlang/OTP
Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki et al. · 2012 · 39 citations · Full text
1–5 of 17