According to our database1, Stefan Maus authored at least 6 papers between 2005 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Verification of hypervisor subroutines written in Assembler = Verifikation von Hypervisorunterrutinen, geschrieben in Assembler.
PhD thesis, 2011
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
Proceedings of the Algebraic Methodology and Software Technology, 2008
Minimal manipulability: anonymity and unanimity.
Social Choice and Welfare, 2007
Minimally manipulable anonymous social choice functions.
Mathematical Social Sciences, 2007
Anonymous voting and minimal manipulability.
J. Economic Theory, 2007
Integration of a Software Model Checker into Isabelle.
Proceedings of the Logic for Programming, 2005