Stefan Maus

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2008
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
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

2005
Integration of a Software Model Checker into Isabelle.
Proceedings of the Logic for Programming, 2005


  Loading...