8
Publications
306
Citations
8
H-Index
1977
Active since
Affiliations
Joe Gallacher is an author at Micro Systems Engineering (United States) specializing in engineering, computer engineering, and formal verification.
Top concepts
EngineeringComputer EngineeringComputer ScienceAutomated ReasoningFormal VerificationIntelligent SystemsSystems EngineeringArtificial IntelligenceDesignCircuits
Publications per year
1977–2002
8
8
Rows per page
1–5 of 8