Stefan Maus

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Stefan Maus, Michal Moskal, Wolfram Schulte
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST (2008)
Stefan Maus, Hans Peters, Ton Storcken
Minimally manipulable anonymous social choice functions. Math. Soc. Sci. 53 (3) (2007)
Stefan Maus, Hans Peters, Ton Storcken
Anonymous voting and minimal manipulability. J. Econ. Theory 135 (1) (2007)
Stefan Maus, Hans Peters, Ton Storcken
Minimal manipulability: anonymity and unanimity. Soc. Choice Welf. 29 (2) (2007)
Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir
Integration of a Software Model Checker into Isabelle. LPAR (2005)