Henrik Hulgaard

945 total citations
25 papers, 442 citations indexed

About

Henrik Hulgaard is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Henrik Hulgaard has authored 25 papers receiving a total of 442 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Computational Theory and Mathematics, 16 papers in Hardware and Architecture and 8 papers in Software. Recurrent topics in Henrik Hulgaard's work include Formal Methods in Verification (23 papers), Embedded Systems Design Techniques (10 papers) and VLSI and Analog Circuit Testing (8 papers). Henrik Hulgaard is often cited by papers focused on Formal Methods in Verification (23 papers), Embedded Systems Design Techniques (10 papers) and VLSI and Analog Circuit Testing (8 papers). Henrik Hulgaard collaborates with scholars based in Denmark, United States and Switzerland. Henrik Hulgaard's co-authors include Steven M. Burns, Henrik Rasmus Andersen, G. Borriello, Gaetano Borriello, Henrik Reif Andersen, Rune Møller Jensen, Tarik Hadžić, Gerd Behrmann, Jakob Lichtenberg and Kim G. Larsen and has published in prestigious journals such as Computer, IEEE Transactions on Computers and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Henrik Hulgaard

23 papers receiving 400 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Henrik Hulgaard Denmark	13	258	245	174	76	71	25	442
Victor Khomenko United Kingdom	11	201 0.8×	215 0.9×	138 0.8×	42 0.6×	37 0.5×	59	349
Mark B. Josephs United Kingdom	11	194 0.8×	199 0.8×	135 0.8×	36 0.5×	120 1.7×	43	389
Louise Trevillyan United States	13	512 2.0×	155 0.6×	445 2.6×	45 0.6×	51 0.7×	24	642
Florence Maraninchi France	10	245 0.9×	236 1.0×	28 0.2×	110 1.4×	72 1.0×	27	382
A. Ferrari Portugal	9	310 1.2×	109 0.4×	93 0.5×	48 0.6×	47 0.7×	30	402
Luis Alejandro Cortés Sweden	12	230 0.9×	218 0.9×	15 0.1×	57 0.8×	35 0.5×	21	355
Thaddeus J. Kowalski United States	8	241 0.9×	41 0.2×	177 1.0×	26 0.3×	59 0.8×	15	332
Marian Adamski Poland	10	106 0.4×	190 0.8×	38 0.2×	48 0.6×	47 0.7×	40	275
Michal Rimon Israel	7	198 0.8×	103 0.4×	89 0.5×	134 1.8×	47 0.7×	16	291
Jianhua Zhao China	10	119 0.5×	71 0.3×	101 0.6×	102 1.3×	90 1.3×	44	340

Countries citing papers authored by Henrik Hulgaard

Since Specialization

Citations

This map shows the geographic impact of Henrik Hulgaard's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Henrik Hulgaard with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Henrik Hulgaard more than expected).

Fields of papers citing papers by Henrik Hulgaard

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Henrik Hulgaard. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Henrik Hulgaard. The network helps show where Henrik Hulgaard may publish in the future.

Co-authorship network of co-authors of Henrik Hulgaard

This figure shows the co-authorship network connecting the top 25 collaborators of Henrik Hulgaard. A scholar is included among the top collaborators of Henrik Hulgaard based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Henrik Hulgaard. Henrik Hulgaard is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Hadžić, Tarik, et al.. (2004). FAST BACKTRACK-FREE PRODUCT CONFIGURATION USING A PRECOMPILED SOLUTION SPACE REPRESENTATION. IT University Of Copenhagen (IT University of Copenhagen). 48 indexed citations

Hulgaard, Henrik, et al.. (2003). Symbolic time separation of events. 83–93. 2 indexed citations

Andersen, Henrik Reif & Henrik Hulgaard. (2002). Boolean Expression Diagrams. Information and Computation. 179(2). 194–212. 33 indexed citations

Hulgaard, Henrik, et al.. (2002). Symbolic model checking of timed guarded commands using difference decision diagrams. The Journal of Logic and Algebraic Programming. 52-53. 53–77. 1 indexed citations

Hulgaard, Henrik, et al.. (2002). Practical applications of an efficient time separation of events algorithm. 146–151. 4 indexed citations

Behrmann, Gerd, et al.. (2002). Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods in System Design. 21(2). 225–244. 2 indexed citations

Hulgaard, Henrik, et al.. (2002). An algorithm for exact bounds on the time separation of events in concurrent systems. 166–173. 22 indexed citations

Andersen, Henrik Rasmus, et al.. (2002). Satisfiability checking using Boolean Expression Diagrams. International Journal on Software Tools for Technology Transfer. 5(1). 4–14.

Andersen, Henrik Rasmus & Henrik Hulgaard. (2002). Boolean expression diagrams. 88–98. 18 indexed citations

10.

Lichtenberg, Jakob, et al.. (2001). Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.. Electronic Notes in Theoretical Computer Science. 23(2). 88–107. 15 indexed citations

11.

Hulgaard, Henrik, et al.. (2000). Symbolic timing analysis of asynchronous systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 19(10). 1093–1104. 6 indexed citations

12.

Andersen, Henrik Rasmus, et al.. (2000). Practical verification of embedded software. Computer. 33(5). 68–75. 12 indexed citations

13.

Moeller, Jesper V., et al.. (1999). On the Symbolic Verification of Timed Systems. 2 indexed citations

14.

Hulgaard, Henrik, et al.. (1999). Equivalence checking of combinational circuits using Boolean expression diagrams. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 18(7). 903–917. 34 indexed citations

15.

Hulgaard, Henrik, et al.. (1997). Combinational Logic-Level Verification using Boolean Expression Diagrams. 1 indexed citations

16.

Hulgaard, Henrik, et al.. (1996). Nonstochastic analysis of manufacturing system using timed-event graphs. Journal of Manufacturing Systems. 15(3). 200–207. 1 indexed citations

17.

Hulgaard, Henrik. (1996). Timing analysis and verification of timed asynchronous circuits. 20 indexed citations

18.

Hulgaard, Henrik, et al.. (1995). An algorithm for exact bounds on the time separation of events in concurrent systems. IEEE Transactions on Computers. 44(11). 1306–1317. 94 indexed citations

19.

Hulgaard, Henrik, Steven M. Burns, & Gaetano Borriello. (1995). Testing asynchronous circuits: A survey. Integration. 19(3). 111–131. 63 indexed citations

20.

Hulgaard, Henrik, et al.. (1993). Practical applications of an efficient time separation of events algorithm. International Conference on Computer Aided Design. 146–151. 12 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact