Maus, Stefan; Peters, Hans; Storcken, Ton Minimal manipulability: anonymity and unanimity. (English) Zbl 1280.91058 Soc. Choice Welfare 29, No. 2, 247-269 (2007). MSC: 91B14 91B12 PDFBibTeX XMLCite \textit{S. Maus} et al., Soc. Choice Welfare 29, No. 2, 247--269 (2007; Zbl 1280.91058) Full Text: DOI Link
Maus, Stefan; Peters, Hans; Storcken, Ton Anonymous voting and minimal manipulability. (English) Zbl 1186.91082 J. Econ. Theory 135, No. 1, 533-544 (2007). MSC: 91B12 PDFBibTeX XMLCite \textit{S. Maus} et al., J. Econ. Theory 135, No. 1, 533--544 (2007; Zbl 1186.91082) Full Text: DOI Link
Maus, Stefan; Peters, Hans; Storcken, Ton Minimal manipulability: unanimity and nondictatorship. (English) Zbl 1178.91050 J. Math. Econ. 43, No. 6, 675-691 (2007). MSC: 91B14 91F10 PDFBibTeX XMLCite \textit{S. Maus} et al., J. Math. Econ. 43, No. 6, 675--691 (2007; Zbl 1178.91050) Full Text: DOI Link
Maus, Stefan; Peters, Hans; Storcken, Ton Minimally manipulable anonymous social choice functions. (English) Zbl 1283.91058 Math. Soc. Sci. 53, No. 3, 239-254 (2007). MSC: 91B14 PDFBibTeX XMLCite \textit{S. Maus} et al., Math. Soc. Sci. 53, No. 3, 239--254 (2007; Zbl 1283.91058) Full Text: DOI
Daum, Matthias; Maus, Stefan; Schirmer, Norbert; Seghir, M. Nassim Integration of a software model checker into Isabelle. (English) Zbl 1143.68449 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 381-395 (2005). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{M. Daum} et al., Lect. Notes Comput. Sci. 3835, 381--395 (2005; Zbl 1143.68449) Full Text: DOI Link
Maus, Stefan Exchange economies with asymmetric information: competitive equilibrium and core. (English) Zbl 1137.91539 Glycopantis, Dionysius (ed.) et al., Differential information economies. Berlin: Springer (ISBN 3-540-21424-0/hbk). Studies in Economic Theory 19, 203-226 (2005). MSC: 91B54 PDFBibTeX XMLCite \textit{S. Maus}, Stud. Econ. Theory 19, 203--226 (2005; Zbl 1137.91539)
Maus, Stefan Balancedness and the core in economies with asymmetric information. (English) Zbl 1105.91046 Glycopantis, Dionysius (ed.) et al., Differential information economies. Berlin: Springer (ISBN 3-540-21424-0/hbk). Studies in Economic Theory 19, 157-171 (2005). MSC: 91B54 91A12 PDFBibTeX XMLCite \textit{S. Maus}, Stud. Econ. Theory 19, 157--171 (2005; Zbl 1105.91046) Full Text: DOI
Maus, Stefan Exchange economies with asymmetric information: competitive equilibrium and core. (English) Zbl 1100.91061 Econ. Theory 24, No. 2, 395-418 (2004). MSC: 91B54 PDFBibTeX XMLCite \textit{S. Maus}, Econ. Theory 24, No. 2, 395--418 (2004; Zbl 1100.91061) Full Text: DOI
Maus, Stefan Balancedness and the core in economies with asymmetric information. (English) Zbl 1071.91503 Econ. Theory 22, No. 3, 613-627 (2003). MSC: 91A12 91B54 PDFBibTeX XMLCite \textit{S. Maus}, Econ. Theory 22, No. 3, 613--627 (2003; Zbl 1071.91503) Full Text: DOI