8
Publications
388
Citations
8
H-Index
2005
Active since
Affiliations
University of Wisconsin–Madison(Current)
Nicholas Kidd is an author at University of Wisconsin–Madison specializing in engineering, computer science, and system software.
Top concepts
EngineeringComputer ScienceSystem SoftwareProgram AnalysisSoftware AnalysisFormal MethodsSoftware TestingFormal VerificationSoftware EngineeringComputer Architecture
Publications per year
2005–2019
8
8
Michael R. Marty, Marc de Kruijf, Jacob Adriaens et al. · 2019 · 134 citations
Verifying Concurrent Message-Passing C Programs with Recursive Calls
Sagar Chaki, E. M. Clarke, Nicholas Kidd et al. · Lecture notes in computer science · 2006 · 71 citations · Full text
Nicholas Kidd, Akash Lal, Thomas Reps · 2007 · 58 citations
An auctioning reputation system based on anomaly
Shai Rubin, Mihai Christodorescu, Vinod Ganapathy et al. · 2005 · 31 citations
Rows per page
1–5 of 8