The publications are listed in reverse cronological order. A BiBTeX file is also available.
Jakob Lichtenberg, Henrik R. Andersen, Henrik Hulgaard, Jesper
Møller, Anders Steen Rasmussen. A Method of Configuring a
Product. International patent application, published under the
patent cooperation treaty (PCT), international publication number
WO0246980. November 2001.
Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen, and
Henrik Hulgaard.
Difference Decision Diagrams.
In proceedings Annual Conference of the European Association for
Computer Science Logic (CSL), September 20-25 1999. Madrid,
Spain.
[Abstract | PDF | BiBTeX entry]
Jesper Møller, Jakob Lichtenberg, Henrik R. Andersen,
and Henrik Hulgaard.
Fully symbolic model checking of timed systems using difference
decision diagrams.
In proceedings Workshop on Symbolic Model Checking (SMC),
Federated Logic Conference (FLoC), July 6th 1999. Trento, Italy.
[Abstract | PDF | BiBTeX entry]
Jakob Lichtenberg, Jørn Lind-Nielsen and Poul Frederick
Williams. Regner Regnemaskiner Rigtigt? Danish news paper
article, Berlingske Tidende, Univers, April 1999. In Danish.
[Abstract | PDF | BiBTeX entry]
J. Møller, J. Lichtenberg, H. R. Andersen and H. Hulgaard. On the
symbolic verification of timed systems. Technical Report
IT-TR-1999-024, Department of Information Technology, Technical
University of Denmark, Building 344, DK-2800 Lyngby, Denmark, February
1999.
[Abstract | PDF | BiBTeX entry]
J. Møller, J. Lichtenberg, H. R. Andersen and H. Hulgaard.
Difference decision diagrams. Technical Report IT-TR-1999-023,
Department of Information Technology, Technical University of Denmark,
Building 344, DK-2800 Lyngby, Denmark, February 1999.
[Abstract | PDF | BiBTeX entry]
Henrik R. Andersen, Henrik Hulgaard, Jakob Lichtenberg and Jesper
Møller. A Data Structure and Its Use. International patent
application, published under the patent cooperation treaty (PCT),
international publication number WO0013113. August 1998.
Jesper Møller and Jakob Lichtenberg. Difference decision diagrams.
Master's thesis, Department of Information Technology, Technical
University of Denmark, Building 344, DK-2800 Lyngby, Denmark. August
1998.
[Abstract | PDF | BiBTeX entry]
Jakob Lichtenberg, Michael R. Hansen and Hans Rischel. Modelling
invoicing using SML. In Comparing Systems Specification Techniques,
ISBN 2-906082-29-5, pages 297-311. IRIN, Universite de Nantes, March
1998.
Ken Larsen and Jakob Lichtenberg. Implementation of critical
regions in Mach. Bachelor thesis, Department of Information
Technology, Technical University of Denmark, Building 344, DK-2800
Lyngby, Denmark, May 1996.
