Author Info
Name
Affiliation
Papers
CHRISTOS DIMOULAS
Northwestern Univ, Evanston, IL 60208 USA
2
Collaborators
Citations 
PageRank 
4
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Karp: A Language for NP Reductions00.342022
Sound and Complete Concolic Testing for Higher-order Functions00.342021