Stefan Maus

According to our database, Stefan Maus authored at least 6 papers between 2005 and 2011.

Collaborative distances:

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

2011

Verification of hypervisor subroutines written in Assembler = Verifikation von Hypervisorunterrutinen, geschrieben in Assembler.

Stefan Maus

PhD thesis, 2011

2008

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.

Stefan Maus, Michal Moskal, Wolfram Schulte

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Minimal manipulability: anonymity and unanimity.

Stefan Maus, Hans Peters, Ton Storcken

Soc. Choice Welf., 2007

Minimally manipulable anonymous social choice functions.

Stefan Maus, Hans Peters, Ton Storcken

Math. Soc. Sci., 2007

Anonymous voting and minimal manipulability.

Stefan Maus, Hans Peters, Ton Storcken

J. Econ. Theory, 2007

2005

Integration of a Software Model Checker into Isabelle.

Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir

Proceedings of the Logic for Programming, 2005