Concepedia

Henrik Hulgaard

HH

15

Publications

689

Citations

13

H-Index

1993

Active since

Affiliations

University of Washington(Current)

Technical University of Denmark

IT University of Copenhagen

Texas State University

Henrik Hulgaard is an author at University of Washington specializing in engineering, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceComputer EngineeringProgram AnalysisFormal VerificationSystems EngineeringVerificationParallel ComputingAsynchronous Circuits

Publications per year

1993–2004

15

Publications

15

An algorithm for exact bounds on the time separation of events in concurrent systems

Henrik Hulgaard, S.M. Burns, Tod Tracy Amon et al. · IEEE Transactions on Computers · 1995 · 116 citations

Mathematical Programming, Engineering, Computational Complexity +26

Testing asynchronous circuits: A survey

Henrik Hulgaard, Steven M. Burns, Gaetano Borriello · Integration · 1995 · 89 citations

Hardware Security, Engineering, System Testing +9

FAST BACKTRACK-FREE PRODUCT CONFIGURATION USING A PRECOMPILED SOLUTION SPACE REPRESENTATION

Tarik Hadžić, Sathiamoorthy Subbarayan, Rune Møller Jensen et al. · 2004 · 83 citations · Full text

Boolean Expression Diagrams

Henrik Reif Andersen, Henrik Hulgaard · Information and Computation · 2002 · 65 citations

Fuzzy Logic, Engineering, Boolean Function +6

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard et al. · Formal Methods in System Design · 2001 · 45 citations

Rows per page

1–5 of 15