Markus Bischof

According to our database, Markus Bischof authored at least 2 papers in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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é

Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, 2008

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.

Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the FM 2008: Formal Methods, 2008