An alternative representation of Fractal Gene Regulatory Networks facilitating analysis and interpretation Payam ZahadatKasper Stoy OriginalPaper 31 August 2012 Pages: 285 - 316
A logic-algebraic approach to decision taking in a railway interlocking system Antonio HernandoEugenio Roanes-LozanoJorge Tejedor OriginalPaper 13 October 2012 Pages: 317 - 328
Producing and verifying extremely large propositional refutations Allen Van Gelder OriginalPaper 14 November 2012 Pages: 329 - 372