J.P.M. Silva

Publications

Citations

H-Index

2002

Active since

Affiliations

Cadence Design Systems (United States)(Current)

J.P.M. Silva is an author at Cadence Design Systems (United States) specializing in formal methods, computational complexity, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationComputer EngineeringComputational ComplexityData ScienceVerification

Publications per year

2002–2002

Publications

Prime implicant computation using satisfiability algorithms

Vasco Manquinho, Paulo Flores, J.P.M. Silva et al. · 2002 · 62 citations

Engineering, Verification, Computational Complexity +16

Efficient search techniques for the inference of minimum size finite automata

Arlindo L. Oliveira, J.P.M. Silva · 2002 · 23 citations

Engineering, Pushdown Automaton, Computational Complexity +22

Rows per page

1–2 of 2