Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. - Holger Grandy; Markus Bischof; Kurt Stenzel; Gerhard Schellhorn; Wolfgang Reif (FM, 2008)

Xenakis: combining tangible interaction with probability-based musical composition. - Markus Bischof; Bettina Conradi; Peter Lachenmaier; Kai Linde; Max Meier; Philipp Pötzl; Elisabeth André (TEI, 2008)