 | 2008 |
|---|
| 5 |       | Stefan Maus,
Michal Moskal,
Wolfram Schulte:
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
AMAST 2008: 284-298 |
| 2007 |
|---|
| 4 | | Stefan Maus,
Hans Peters,
Ton Storcken:
Anonymous voting and minimal manipulability.
J. Economic Theory 135(1): 533-544 (2007) |
| 3 | | Stefan Maus,
Hans Peters,
Ton Storcken:
Minimally manipulable anonymous social choice functions.
Mathematical Social Sciences 53(3): 239-254 (2007) |
| 2 | | Stefan Maus,
Hans Peters,
Ton Storcken:
Minimal manipulability: anonymity and unanimity.
Social Choice and Welfare 29(2): 247-269 (2007) |
| 2005 |
|---|
| 1 | | Matthias Daum,
Stefan Maus,
Norbert Schirmer,
Mohamed Nassim Seghir:
Integration of a Software Model Checker into Isabelle.
LPAR 2005: 381-395 |
Data released under the ODC-BY 1.0 license — See also our legal information page