109
Publications
5.3K
Citations
41
H-Index
1993
Active since
Jan Vítek is an author at Purdue University West Lafayette specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSystem SoftwareFormal MethodsComputer EngineeringFormal VerificationComputer Architecture
Publications per year
1993–2021
109
109
An analysis of the dynamic behavior of JavaScript programs
Gregor Richards, Sylvain Lebresne, Brian R. Burg et al. · 2010 · 354 citations
Rachid Guerraoui, Jan Vítek · 2007 · 200 citations
Engineering, Computer Architecture, Software Engineering +16
DéjàVu: a map of code duplicates on GitHub
Cristina Videira Lopes, Petr Maj, Pedro Martins et al. · Proceedings of the ACM on Programming Languages · 2017 · 174 citations · Full text
Redundancy and coverage detection in sensor networks
Bogdan Cărbunar, Ananth Grama, Jan Vítek et al. · ACM Transactions on Sensor Networks · 2006 · 173 citations
Rows per page
1–5 of 109