Program reversals for evolutions with non-uniform step costs Andrea Walther OriginalPaper Pages: 235 - 263
Specification transformers: a predicate transformer approach to composition Michel CharpentierK. Mani Chandy OriginalPaper Pages: 265 - 301
A bi-criterion single-machine scheduling problem with learning considerations Wen-Chiung LeeChin-Chia WuHua-Jung Sung OriginalPaper Pages: 303 - 315