| 2007 | AAAI | Interactive Configuration with Regular String Constraints. | Esben Rune Hansen, Henrik Reif Andersen |
| 2007 | CP | A Constraint Store Based on Multivalued Decision Diagrams. | Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann |
| 2007 | IJCAI | Techniques for Efficient Interactive Configuration of Distribution Networks. | Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen |
| 2007 | IJCAI | Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. | Sathiamoorthy Subbarayan, Henrik Reif Andersen |
| 2006 | AAAI | A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. | Tarik Hadzic, Henrik Reif Andersen |
| 2006 | CP | Interactive Distributed Configuration. | Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen |
| 2006 | SAC | Efficient interactive configuration of unbounded modular systems. | Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen |
| 2005 | CP | Interactive Reconfiguration in Power Supply Restoration. | Tarik Hadzic, Henrik Reif Andersen |
| 2003 | ICAIL | Using Configuration Technology as the Core of a Legal Decision Support System. | Erik Roland van der Meer, I. S. Henriksen, Henrik Reif Andersen |
| 2001 | TACAS | Satisfiability Checking Using Boolean Expression Diagrams. | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard |
| 1999 | CAV | Stepwise CTL Model Checking of State/Event Systems. | Jrn Lind-Nielsen, Henrik Reif Andersen |
| 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 | 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 | CONCUR | A Universal Reactive Machine. | Henrik Reif Andersen, Simon Mrk, Morten Ulrik Srensen |
| 1997 | LICS | Boolean Expression Diagrams (Extended Abstract). | Henrik Reif Andersen, Henrik Hulgaard |
| 1997 | TACAS | Partial Model Checking with ROBDDs. | Henrik Reif Andersen, Jrgen Staunstrup, Niels Maretti |
| 1995 | CAV | Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. | Henrik Reif Andersen, Bart Vergauwen |
| 1995 | LICS | Partial Model Checking (Extended Abstract) | Henrik Reif Andersen |
| 1994 | ESOP | An Asynchronous Algebra with Multiple Clocks. | Henrik Reif Andersen, Michael Mendler |
| 1994 | LFCS | On Model Checking Infinite-State Systems. | Henrik Reif Andersen |
| 1994 | LICS | A Compositional Proof System for the Modal mu-Calculus | Henrik Reif Andersen, Colin Stirling, Glynn Winskel |
| 1992 | ESOP | Model Checking and Boolean Graphs. | Henrik Reif Andersen |
| 1991 | CAV | Compositional Checking of Satisfaction. | Henrik Reif Andersen, Glynn Winskel |