Compositional Checking of Satisfaction. - Henrik Reif Andersen; Glynn Winskel (CAV, 1991)

Compositional Checking of Satsfaction. - Henrik Reif Andersen; Glynn Winskel (Formal Methods Syst. Des., 1992)

An Asynchronous Algebra with Multiple Clocks. - Henrik Reif Andersen; Michael Mendler (ESOP, 1994)

On Model Checking Infinite-State Systems. - Henrik Reif Andersen (LFCS, 1994)

A Compositional Proof System for the Modal mu-Calculus - Henrik Reif Andersen; Colin Stirling; Glynn Winskel (LICS, 1994)

Model Checking and Boolean Graphs. - Henrik Reif Andersen (Theor. Comput. Sci., 1994)

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. - Henrik Reif Andersen; Bart Vergauwen (CAV, 1995)

Partial Model Checking (Extended Abstract) - Henrik Reif Andersen (LICS, 1995)

Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. - Henrik Reif Andersen; Michael Mendler (TAPSOFT, 1995)

A Universal Reactive Machine. - Henrik Reif Andersen; Simon Mørk; Morten Ulrik Sørensen (CONCUR, 1997)

Boolean Expression Diagrams (Extended Abstract). - Henrik Reif Andersen; Henrik Hulgaard (LICS, 1997)

Partial Model Checking with ROBDDs. - Henrik Reif Andersen; Jørgen Staunstrup; Niels Maretti (TACAS, 1997)

A Comparison of Modular Verification Techniques. - Henrik Reif Andersen; Jørgen Staunstrup; Niels Maretti (TAPSOFT, 1997)

Stepwise CTL Model Checking of State/Event Systems. - Jørn Lind-Nielsen; Henrik Reif Andersen (CAV, 1999)

Difference Decision Diagrams. - Jesper B. Møller; Jakob Lichtenberg; Henrik Reif Andersen; Henrik Hulgaard (CSL, 1999)

Equivalence checking of hierarchical combinational circuits. - Poul Frederick Williams; Henrik Hulgaard; Henrik Reif Andersen (ICECS, 1999)

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. - Jesper B. Møller; Jakob Lichtenberg; Henrik Reif Andersen; Henrik Hulgaard (SMC@FLoC, 1999)

Partial Model Checking of Modal Equations: A Survey. - Henrik Reif Andersen; Jørn Lind-Nielsen (Int. J. Softw. Tools Technol. Transf., 1999)

Equivalence checking of combinational circuits using Boolean expression diagrams. - Henrik Hulgaard; Poul Frederick Williams; Henrik Reif Andersen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Practical Verification of Embedded Software. - Jørgen Staunstrup; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen; Kim Guldstrand Larsen; Gerd Behrmann; Kåre J. Kristoffersen; Arne Skou; Henrik Leerberg; Niels Bo Theilgaard (Computer, 2000)

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. - Jørn Lind-Nielsen; Henrik Reif Andersen; Henrik Hulgaard; Gerd Behrmann; Kåre J. Kristoffersen; Kim Guldstrand Larsen (Formal Methods Syst. Des., 2001)

Timed Verification of Asynchronous Circuits. - Jesper B. Møller; Henrik Hulgaard; Henrik Reif Andersen (Concurrency and Hardware Design, 2002)

Verification of Hierarchical State/Event Systems using Reusability and Compositionality. - Gerd Behrmann; Kim Guldstrand Larsen; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen (Formal Methods Syst. Des., 2002)

Boolean Expression Diagrams. - Henrik Reif Andersen; Henrik Hulgaard (Inf. Comput., 2002)

Symbolic model checking of timed guarded commands using difference decision diagrams. - Jesper B. Møller; Henrik Hulgaard; Henrik Reif Andersen (J. Log. Algebraic Methods Program., 2002)

Using Configuration Technology as the Core of a Legal Decision Support System. - Erik Roland van der Meer; I. S. Henriksen; Henrik Reif Andersen (ICAIL, 2003)

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. - Kåre J. Kristoffersen; Christian Pedersen; Henrik Reif Andersen (RV@CAV, 2003)

Satisfiability checking using Boolean Expression Diagrams. - Poul Frederick Williams; Henrik Reif Andersen; Henrik Hulgaard (Int. J. Softw. Tools Technol. Transf., 2003)

Interactive Reconfiguration in Power Supply Restoration. - Tarik Hadzic; Henrik Reif Andersen (CP, 2005)

A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. - Tarik Hadzic; Henrik Reif Andersen (AAAI, 2006)

Interactive Distributed Configuration. - Peter Tiedemann; Tarik Hadzic; Thomas Stuart Henney; Henrik Reif Andersen (CP, 2006)

Efficient interactive configuration of unbounded modular systems. - Erik Roland van der Meer; Andrzej Wasowski; Henrik Reif Andersen (SAC, 2006)

A Generic Global Constraint based on MDDs - Peter Tiedemann; Henrik Reif Andersen; Rasmus Pagh (CoRR, 2006)

Interactive Configuration by Regular String Constraints - Esben Rune Hansen; Henrik Reif Andersen (CoRR, 2006)

Interactive Configuration with Regular String Constraints. - Esben Rune Hansen; Henrik Reif Andersen (AAAI, 2007)

A Constraint Store Based on Multivalued Decision Diagrams. - Henrik Reif Andersen; Tarik Hadzic; John N. Hooker; Peter Tiedemann (CP, 2007)

Techniques for Efficient Interactive Configuration of Distribution Networks. - Tarik Hadzic; Andrzej Wasowski; Henrik Reif Andersen (IJCAI, 2007)

Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. - Sathiamoorthy Subbarayan; Henrik Reif Andersen (IJCAI, 2007)

Calculating Valid Domains for BDD-Based Interactive Configuration - Tarik Hadzic; Rune Møller Jensen; Henrik Reif Andersen (CoRR, 2007)

Temporal Runtime Verification using Monadic Difference Logic - Henrik Reif Andersen; Kåre J. Kristoffersen (CoRR, 2007)

Generic Global Constraints based on MDDs - Peter Tiedemann; Henrik Reif Andersen; Rasmus Pagh (CoRR, 2007)

Interactive Cost Configuration Over Decision Diagrams. - Henrik Reif Andersen; Tarik Hadzic; David Pisinger (J. Artif. Intell. Res., 2010)