TY - CHAP AU - Harteis, Christian AU - Buschmeyer, Katrin ED - Wuttke, Eveline ED - Seifried, Jürgen ID - 3716 T2 - Learning from errors at school and at work TI - Learning from mistakes - still a challenge for research and business practice ER - TY - CHAP AU - Harteis, Christian AU - Frost, Franziska ED - Bauer, Johannes ED - Harteis, Christian ID - 3717 T2 - Human fallibility. The ambiguity of errors for work and learning TI - Error orientation and intuitive decision making ER - TY - CONF AU - Wachsmuth, Henning AU - Stein, Benno ID - 3812 T2 - Proceedings of COLING 2012: Posters TI - Optimal Scheduling of Information Extraction Algorithms ER - TY - BOOK ED - Schulz-Zander, Renate ED - Eickelmann, Birgit ED - Moser, Heinz ED - Niesyto, Horst ED - Grell, Petra ID - 28935 TI - Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung ER - TY - CHAP AU - Kakvi, Saqib AU - Kiltz, Eike AU - May, Alexander ID - 2918 SN - 0302-9743 T2 - Advances in Cryptology – ASIACRYPT 2012 TI - Certifying RSA ER - TY - CHAP AU - Kakvi, Saqib AU - Kiltz, Eike ID - 2919 SN - 0302-9743 T2 - Advances in Cryptology – EUROCRYPT 2012 TI - Optimal Security Proofs for Full Domain Hash, Revisited ER - TY - JOUR AU - Gries, Thomas AU - Bilkic, Natascha AU - Pilichowski, Margarethe ID - 2949 IS - 5 JF - Labour Economics TI - Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility VL - 19 ER - TY - CHAP AU - Gries, Thomas AU - Xue, Jinjun ED - Wang, Liming ID - 2950 SN - 9781138816732 T2 - Rising China in the Changing World Economy TI - Poverty in Shenzhen ER - TY - JOUR AU - Gries, Thomas AU - Meierrieks, Daniel ID - 2951 IS - 5 JF - Defence and Peace Economics TI - Economic performance and terrorist activity in Latin America VL - 23 ER - TY - JOUR AU - Gries, Thomas AU - Prior, Ulrich AU - Sureth, Caren ID - 2952 IS - 3 JF - Journal of Public Economics Theory TI - A Tax Paradox for Investment Decisions under Uncertainty VL - 14 ER - TY - CONF AU - Ackermann, Marcel Rudolf AU - Märtens, Marcus AU - Raupach, Christoph AU - Swierkot, Kamil AU - Lammersen, Christiane AU - Sohler, Christian ID - 2982 TI - StreamKM++: A clustering algorithm for data streams VL - 17 ER - TY - JOUR AB - Ich beschreibe die deutsche Enigma-Verschlüsselungsmaschine und skizziere, wie sie von den Codebrechern von Bletchely Park um Alan Turing gebrochen wurde. Besonderes Augenmerk lege ich auf die Beiträge Alan Turings und die Bedeutung seiner Leistung für die Entwicklung moderner Kryptografie. AU - Blömer, Johannes ID - 2984 IS - 4 JF - Informatik-Spektrum SN - 1432-122X TI - Turing und Kryptografie VL - 35 ER - TY - THES AU - Jager, Tibor ID - 3132 SN - 978-3-8348-1989-5 TI - On black-box models of computation in cryptology ER - TY - CONF AU - Jager, Tibor AU - Kohlar, Florian AU - Schäge, Sven AU - Schwenk, Jörg ID - 3133 T2 - Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings TI - On the Security of TLS-DHE in the Standard Model ER - TY - CONF AU - Hofheinz, Dennis AU - Jager, Tibor ID - 3134 T2 - Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings TI - Tightly Secure Signatures and Public-Key Encryption ER - TY - CONF AU - Jager, Tibor AU - Schinzel, Sebastian AU - Somorovsky, Juraj ID - 3135 T2 - Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings TI - Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption ER - TY - CONF AU - Hofheinz, Dennis AU - Jager, Tibor AU - Knapp, Edward ID - 3136 T2 - Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings TI - Waters Signatures with Optimal Security Reduction ER - TY - JOUR AU - Travkin, Oleg AU - Wehrheim, Heike AU - Schellhorn, Gerhard ID - 3180 JF - {ECEASST} TI - Proving Linearizability of Multiset with Local Proof Obligations ER - TY - JOUR AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3181 IS - 3 JF - Sci. Comput. Program. TI - Model evolution and refinement ER - TY - CONF AU - Schellhorn, Gerhard AU - Wehrheim, Heike AU - Derrick, John ED - Madhusudan, P. ED - A. Seshia, Sanjit ID - 3182 T2 - Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings TI - How to Prove Algorithms Linearisable ER -