Bin-Packing in 1.5 Dimension. - Sven-Olai Høyland (SWAT, 1988)

CTL Model Checking with the Sweep-line State Space Exploration Method. - Andreas Lilleskare; Lars Michael Kristensen; Sven-Olai Høyland (NIK, 2017)