| 2001 | TACAS | Satisfiability Checking Using Boolean Expression Diagrams. | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard |
| 1999 | CSL | Difference Decision Diagrams. | Jesper B. Mller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard |
| 1999 | TACAS | Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jrn Lind-Nielsen |
| 1998 | FMCAD | Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. | Fen Jin, Henrik Hulgaard, Eduard Cerny |
| 1998 | TACAS | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. | Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen |
| 1997 | LICS | Boolean Expression Diagrams (Extended Abstract). | Henrik Reif Andersen, Henrik Hulgaard |
| 1995 | CAV | Efficient Timing Analysis of a Class of Petri Nets. | Henrik Hulgaard, Steven M. Burns |
| 1993 | ICCAD | Practical applications of an efficient time separation of events algorithm. | Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello |
| 1993 | ICCD | An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. | Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello |