J. Kuper

Permission-Based Separation Logic forScala

M. Huisman, J. Kuper, 2015 .

Rail detection using lidar sensors

Max Spindler, Denis Stein, Martin Lauer, 2016 .

Partiality in Logic and Computation - Aspects of Undefinedness

J. Kuper, 1994 .