5
Publications
143
Citations
5
H-Index
1988
Active since
Affiliations
Czech Technical University in Prague(Current)
J. Hlavička is an author at Czech Technical University in Prague specializing in engineering, formal verification, and computer engineering.
Top concepts
EngineeringComputer ScienceFormal VerificationComputer EngineeringFormal MethodsProgram AnalysisComputational ComplexityCombinatorial OptimizationData ScienceSoftware Testing
Publications per year
1988–2003
5
5
Rows per page
1–5 of 5