2
Publications
534
Citations
2
H-Index
1997
Active since
Affiliations
University of Colorado Boulder(Current)
E.A. Frohm is an author at University of Colorado Boulder specializing in computer science, formal methods, and systems engineering.
Top concepts
EngineeringFuzzy LogicVerificationFormal MethodsComputer ScienceCircuit ComplexityAutomated ReasoningFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1997–2002
2
2
Algebraic Decision Diagrams and Their Applications
R. Iris Bahar, E.A. Frohm, Charles M. Gaona et al. · Formal Methods in System Design · 1997 · 256 citations
Rows per page
1–2 of 2