Harteis C, Buschmeyer K. Learning from mistakes - still a challenge for research and business practice. In: Wuttke E, Seifried J, eds. Learning from Errors at School and at Work. Opladen: Barbara Budrich; 2012:31-47.

Harteis C, Frost F. Error orientation and intuitive decision making. In: Bauer J, Harteis C, eds. Human Fallibility. The Ambiguity of Errors for Work and Learning. ; 2012:141-153.

Wachsmuth H, Stein B. Optimal Scheduling of Information Extraction Algorithms. In: Proceedings of COLING 2012: Posters. ; 2012:1281-1290.

Schulz-Zander R, Eickelmann B, Moser H, Niesyto H, Grell P, eds. Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung. VS Verlag für Sozialwissenschaften; 2012.

Kakvi S, Kiltz E, May A. Certifying RSA. In: Advances in Cryptology – ASIACRYPT 2012. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:404-414. doi:10.1007/978-3-642-34961-4_25

Kakvi S, Kiltz E. Optimal Security Proofs for Full Domain Hash, Revisited. In: Advances in Cryptology – EUROCRYPT 2012. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:537-553. doi:10.1007/978-3-642-29011-4_32

Gries T, Bilkic N, Pilichowski M. Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility. Labour Economics. 2012;19(5):706-717. doi:10.1016/j.labeco.2012.04.005

Gries T, Xue J. Poverty in Shenzhen. In: Wang L, ed.  Rising China in the Changing World Economy. ; 2012:396-412.

Gries T, Meierrieks D. Economic performance and terrorist activity in Latin America. Defence and Peace Economics. 2012;23(5):447-470. doi:10.1080/10242694.2012.656945

Gries T, Prior U, Sureth C. A Tax Paradox for Investment Decisions under Uncertainty. Journal of Public Economics Theory. 2012;14(3):521-545. doi:10.1111/j.1467-9779.2012.01547.x

Ackermann MR, Märtens M, Raupach C, Swierkot K, Lammersen C, Sohler C. StreamKM++: A clustering algorithm for data streams. 2012;17. doi:10.1145/2133803.2184450

Blömer J. Turing und Kryptografie. Informatik-Spektrum. 2012;35(4). doi:10.1007/s00287-012-0622-7

Jager T. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum; 2012.

Jager T, Kohlar F, Schäge S, Schwenk J. On the Security of TLS-DHE in the Standard Model. In: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. ; 2012:273--293. doi:10.1007/978-3-642-32009-5_17

Hofheinz D, Jager T. Tightly Secure Signatures and Public-Key Encryption. In: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. ; 2012:590--607. doi:10.1007/978-3-642-32009-5_35

Jager T, Schinzel S, Somorovsky J. Bleichenbacher’s Attack Strikes again: Breaking PKCS .5 in XML Encryption. In: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. ; 2012:752--769. doi:10.1007/978-3-642-33167-1_43

Hofheinz D, Jager T, Knapp E. Waters Signatures with Optimal Security Reduction. In: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings. ; 2012:66--83. doi:10.1007/978-3-642-30057-8_5

Travkin O, Wehrheim H, Schellhorn G. Proving Linearizability of Multiset with Local Proof Obligations. ECEASST. 2012.

Ruhroth T, Wehrheim H. Model evolution and refinement. Sci Comput Program. 2012;(3):270--289. doi:10.1016/j.scico.2011.04.007

Schellhorn G, Wehrheim H, Derrick J. How to Prove Algorithms Linearisable. In: Madhusudan P, A. Seshia S, eds. Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science. ; 2012:243--259. doi:10.1007/978-3-642-31424-7_21