Jesper B. Møller

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

R. M. Jensen, H. Andersen, T. Hadzic, 2004 .

Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator

R. M. Jensen, H. Andersen, T. Hadzic, 2004 .

Product Configuration over the Internet

Jesper B. Møller, Henrik Reif, Andersen Henrik Hulgaard, 2001 .

Timed Veri ation of Asyn hronous Cir uits ?

Jesper B. Møller, H. Hulgaard, Henrik Reif AndersenThe, 2002 .

Difference Decision Diagrams

Henrik Reif Andersen, Henrik Hulgaard, Jesper B. Møller, 1999, CSL.

Symbolic model checking of timed guarded commands using difference decision diagrams

Henrik Reif Andersen, Henrik Hulgaard, Jesper B. Møller, 2002, J. Log. Algebraic Methods Program..

DDDLIB: A Library for Solving Quantified Difference Inequalities

Jesper B. Møller, Jesper B. Møller, 2002, CADE.

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams

Henrik Reif Andersen, Henrik Hulgaard, Jesper B. Møller, 2001, SMC@FLoC.

Timed Verification of Asynchronous Circuits

Henrik Reif Andersen, Henrik Hulgaard, Jesper B. Møller, 2002, Concurrency and Hardware Design.