1. An alternative representation of Fractal Gene Regulatory Networks facilitating analysis and interpretation

   • Payam Zahadat
   • Kasper Stoy

   OriginalPaper 31 August 2012 Pages: 285 - 316

2. A logic-algebraic approach to decision taking in a railway interlocking system

   • Antonio Hernando
   • Eugenio Roanes-Lozano
   • Jorge Tejedor

   OriginalPaper 13 October 2012 Pages: 317 - 328

3. Producing and verifying extremely large propositional refutations

   • Allen Van Gelder

   OriginalPaper 14 November 2012 Pages: 329 - 372