1. An approach for extracting a small unsatisfiable core

   • Roman Gershman
   • Maya Koifman
   • Ofer Strichman

   OriginalPaper 14 March 2008 Pages: 1 - 27

2. The symbolic OBDD scheme for generating mechanical assembly sequences

   • Tianlong Gu
   • Huadong Liu

   OriginalPaper 11 April 2008 Pages: 29 - 44

3. Robust safety of timed automata

   • Martin De Wulf
   • Laurent Doyen
   • Jean-François Raskin

   OriginalPaper 13 September 2008 Pages: 45 - 84

4. Don’t care words with an application to the automata-based approach for real addition

   • Jochen Eisinger
   • Felix Klaedtke

   OriginalPaper 03 October 2008 Pages: 85 - 115