The level set method for the two-sided max-plus eigenproblem Stéphane GaubertSergeĭ Sergeev OriginalPaper 25 May 2012 Pages: 105 - 134
Methods for the estimation of the size of lookahead tree state-space Creag WinacottBehnam BehinaeinKaren Rudie OriginalPaper 03 May 2012 Pages: 135 - 155
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets Hongwei LiaoYin WangSpyros Reveliotis OriginalPaper 13 May 2012 Pages: 157 - 195
Scheduling and control of real-time systems based on a token player approach Patrice Bonhomme OriginalPaper 24 May 2012 Pages: 197 - 209
Mixed integer programming in production planning with backlogging and setup carryover: modeling and algorithms Tao WuKerem AkartunalıLeyuan Shi OriginalPaper 05 July 2012 Pages: 211 - 239