12
Publications
863
Citations
11
H-Index
1990
Active since
L. P. P. P. van Ginneken is an author at IBM (United States) specializing in engineering, computer engineering, and computer architecture.
Top concepts
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureCircuit DesignFormal VerificationCombinatorial OptimizationSoftware TestingDesign For TestingMathematical Programming
Publications per year
1990–2003
12
12
Rows per page
1–5 of 12