Integration of a Software Model Checker into Isabelle. - Matthias Daum 001; Stefan Maus; Norbert Schirmer; Mohamed Nassim Seghir (LPAR, 2005)

Anonymous voting and minimal manipulability. - Stefan Maus; Hans Peters 001; Ton Storcken (J. Econ. Theory, 2007)

Minimally manipulable anonymous social choice functions. - Stefan Maus; Hans Peters 001; Ton Storcken (Math. Soc. Sci., 2007)

Minimal manipulability: anonymity and unanimity. - Stefan Maus; Hans Peters 001; Ton Storcken (Soc. Choice Welf., 2007)

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. - Stefan Maus; Michal Moskal; Wolfram Schulte (AMAST, 2008)

Verification of hypervisor subroutines written in Assembler = Verifikation von Hypervisorunterrutinen, geschrieben in Assembler. - Stefan Maus (2011)