% The publications of Jakob Lichtenberg
% In reverse cronological order

@Manual{vt-patent,
  title =        {A Method of Configuring a Product},
  author =       {J. Lichtenberg and H. R. Andersen and H. Hulgaard and 
                  J. M{\o}ller and A. S. Rasmussen},
  month =        nov,
  year =         2001,
  note =         {International and US patent application}
}

@InProceedings{ddd-csl99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Difference Decision Diagrams},
  booktitle = 	 {Computer Science Logic},
  year =	 1999,
  address =	 {Annual Conference of the European Association for
                  Computer Science Logic (CSL), Madrid, Spain},
  month =	 sep
}

@InProceedings{ddd-smc99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Fully symbolic model checking of timed systems
                  using difference decision diagrams},
  booktitle = 	 {Workshop on Symbolic Model Checking},
  year =	 1999,
  address =	 {Federated Logic Conference (FLoC), Trento, Italy},
  month =	 jun,
  volume = 	 23,
  number = 	 2
}

@Misc{LLN99,
  author =	 {Jakob Lichtenberg and J{\o}rn Lind-Nielsen and 
                  Williams, Poul Frederick},
  title =	 {Regner Regnemaskiner Rigtigt?},
  howpublished = {Berlingske Tidende, Univers},
  month =	 {apr},
  year =	 1999,
  note =	 {Danish newspaper article}
}

@TechReport{ddd-timedsystems-99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {On the Symbolic Verification of Timed Systems},
  institution =  {Department of Information Technology, 
                  Technical University of Denmark},
  year = 	 1999,
  number = 	 {IT-TR-1999-024},
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =        feb
}

@TechReport{ddd-datastructure-99,
  author = 	 {J. M{\o}ller and J. Lichtenberg and 
                  H. R. Andersen and H. Hulgaard},
  title = 	 {Dif\-feren\-ce Decision Dia\-grams},
  institution =  {Department of Information Technology, 
                  Technical University of Denmark},
  year = 	 1999,
  number = 	 {IT-TR-1999-023},
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =        feb    
}

@Manual{ddd-patent,
  title =        {A Data Structure And Its Use},
  author =       {H. R. Andersen and H. Hulgaard and J. Lichtenberg and 
                  J. M{\o}ller},
  month =        aug,
  year =         1998,
  note =         {International patent application,
                  published under the patent cooperation treaty (PCT),
                  international publication number WO 00/13113}
}

@MastersThesis{ddd-mt-98,
  author =       {Jesper~M{\o}ller and Jakob~Lichtenberg},
  title =        {Dif\-feren\-ce Decision Dia\-grams},
  school =       {Department of Information Technology, 
                  Technical University of Denmark},
  year =         1998,
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =        aug
}

@InProceedings{invoicing,
  author =	 {Jakob Lichtenberg and R. Hansen, Michael and Hans
                  Rischel},
  title =	 {Modelling Invoicing using {SML}},
  booktitle =	 {Comparing Systems Specification Techniques, {ISBN}
                  2-906082-29-5},
  pages =	 {297-311},
  year =	 1998,
  month =	 Mar,
  organization = {{IRIN}, Universite de Nantes}
}

@TechReport{critreg,
  author =	 {Ken Larsen and Jakob Lichtenberg},
  title =	 {Implementation of Critical Regions in {Mach}},
  institution =	 {Department of Information Technology, 
                  Technical University of Denmark},
  year =	 1996,
  type =	 "Bachelor thesis",
  address =      {Building 344, DK-2800 Lyngby, Denmark},
  month =	 may
}