Inventor · Princeton, MA, US

Petr Spacek

5Patents
3h-index
8Co-inventors
42Inventor score

Filing activity: Nov 6, 2012 → May 25, 2017

Most-cited inventions

PatentTitleAreaCited byStatus
US8904321B1 System and method for automatically generating coverage constructs and constraint solver distributions Physics 12 Active
US9544278B2 Using domain name system security extensions in a mixed-mode environment Electricity 10 Active
US9373077B1 System and method for identifying constraint solver calls Physics 5 Active
US8875069B1 System and method for generating constrained random values associated with an electronic design Physics 2 Active
US10447482B2 Using domain name system for verifying integrity of application packages Electricity 1 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.