@inbookHarteis_Buschmeyer_2012, place=Opladen, title=Learning from mistakes - still a challenge for research and business practice, booktitle=Learning from errors at school and at work, publisher=Barbara Budrich, author=Harteis, Christian and Buschmeyer, Katrin, editor=Wuttke, Eveline and Seifried, JürgenEditors, year=2012, pages=31–47 
LibreCat: /record/3716

@inbookHarteis_Frost_2012, title=Error orientation and intuitive decision making, booktitle=Human fallibility. The ambiguity of errors for work and learning, author=Harteis, Christian and Frost, Franziska, editor=Bauer, Johannes and Harteis, ChristianEditors, year=2012, pages=141–153 
LibreCat: /record/3717

@inproceedingsWachsmuth_Stein_2012, title=Optimal Scheduling of Information Extraction Algorithms, booktitle=Proceedings of COLING 2012: Posters, author=Wachsmuth, Henning and Stein, Benno, year=2012, pages=1281–1290 
LibreCat: /record/3812

@bookSchulz-Zander_Eickelmann_Moser_Niesyto_Grell_2012, place=Wiesbaden, title=Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung, publisher=VS Verlag für Sozialwissenschaften, year=2012 
LibreCat: /record/28935

@inbookKakvi_Kiltz_May_2012, place=Berlin, Heidelberg, title=Certifying RSA, DOI=10.1007/978-3-642-34961-4_25, booktitle=Advances in Cryptology – ASIACRYPT 2012, publisher=Springer Berlin Heidelberg, author=Kakvi, Saqib and Kiltz, Eike and May, Alexander, year=2012, pages=404–414 
LibreCat: /record/2918
DOI: 10.1007/978-3-642-34961-4_25

@inbookKakvi_Kiltz_2012, place=Berlin, Heidelberg, title=Optimal Security Proofs for Full Domain Hash, Revisited, DOI=10.1007/978-3-642-29011-4_32, booktitle=Advances in Cryptology – EUROCRYPT 2012, publisher=Springer Berlin Heidelberg, author=Kakvi, Saqib and Kiltz, Eike, year=2012, pages=537–553 
LibreCat: /record/2919
DOI: 10.1007/978-3-642-29011-4_32

@articleGries_Bilkic_Pilichowski_2012, title=Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility, volume=19, DOI=10.1016/j.labeco.2012.04.005, number=5, journal=Labour Economics, author=Gries, Thomas and Bilkic, Natascha10.1016/j.labeco.2012.04.005__and Pilichowski, Margarethe, year=2012, pages=706–717 
LibreCat: /record/2949
DOI: 10.1016/j.labeco.2012.04.005

@inbookGries_Xue_2012, title=Poverty in Shenzhen, booktitle= Rising China in the Changing World Economy, author=Gries, Thomas and Xue, Jinjun, editor=Wang, LimingEditor, year=2012, pages=396–412 
LibreCat: /record/2950

@articleGries_Meierrieks_2012, title=Economic performance and terrorist activity in Latin America, volume=23, DOI=10.1080/10242694.2012.656945, number=5, journal=Defence and Peace Economics, author=Gries, Thomas and Meierrieks, Daniel, year=2012, pages=447–470 
LibreCat: /record/2951
DOI: 10.1080/10242694.2012.656945

@articleGries_Prior_Sureth_2012, title=A Tax Paradox for Investment Decisions under Uncertainty, volume=14, DOI=10.1111/j.1467-9779.2012.01547.x, number=3, journal=Journal of Public Economics Theory, author=Gries, Thomas and Prior, Ulrich and Sureth, Caren, year=2012, pages=521–545 
LibreCat: /record/2952
DOI: 10.1111/j.1467-9779.2012.01547.x

@articleAckermann_Märtens_Raupach_Swierkot_Lammersen_Sohler_2012, place=New York, NY, USA, series=ACM Journal of Experimental Algorithmics, title=StreamKM++: A clustering algorithm for data streams, volume=17, DOI=10.1145/2133803.2184450, publisher=ACM, author=Ackermann, Marcel Rudolf and Märtens, Marcus and Raupach, Christoph and Swierkot, Kamil and Lammersen, Christiane and Sohler, Christian, year=2012, collection=ACM Journal of Experimental Algorithmics 
LibreCat: /record/2982
DOI: 10.1145/2133803.2184450

@articleBlömer_2012, title=Turing und Kryptografie, volume=35, DOI=10.1007/s00287-012-0622-7, number=4, journal=Informatik-Spektrum, author=Blömer, Johannes, year=2012 
LibreCat: /record/2984
DOI: 10.1007/s00287-012-0622-7

@bookJager_2012, title=On black-box models of computation in cryptology, publisher=Ruhr University Bochum, author=Jager, Tibor, year=2012 
LibreCat: /record/3132

@inproceedingsJager_Kohlar_Schäge_Schwenk_2012, title=On the Security of TLS-DHE in the Standard Model, DOI=10.1007/978-3-642-32009-5_17, booktitle=Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, author=Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg, year=2012, pages=273--293 
LibreCat: /record/3133
DOI: 10.1007/978-3-642-32009-5_17

@inproceedingsHofheinz_Jager_2012, title=Tightly Secure Signatures and Public-Key Encryption, DOI=10.1007/978-3-642-32009-5_35, booktitle=Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, author=Hofheinz, Dennis and Jager, Tibor, year=2012, pages=590--607 
LibreCat: /record/3134
DOI: 10.1007/978-3-642-32009-5_35

@inproceedingsJager_Schinzel_Somorovsky_2012, title=Bleichenbacher’s Attack Strikes again: Breaking PKCS .5 in XML Encryption, DOI=10.1007/978-3-642-33167-1_43, booktitle=Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, author=Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj, year=2012, pages=752--769 
LibreCat: /record/3135
DOI: 10.1007/978-3-642-33167-1_43

@inproceedingsHofheinz_Jager_Knapp_2012, title=Waters Signatures with Optimal Security Reduction, DOI=10.1007/978-3-642-30057-8_5, booktitle=Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, author=Hofheinz, Dennis and Jager, Tibor and Knapp, Edward, year=2012, pages=66--83 
LibreCat: /record/3136
DOI: 10.1007/978-3-642-30057-8_5

@articleTravkin_Wehrheim_Schellhorn_2012, title=Proving Linearizability of Multiset with Local Proof Obligations, journal=ECEASST, author=Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard, year=2012 
LibreCat: /record/3180

@articleRuhroth_Wehrheim_2012, title=Model evolution and refinement, DOI=10.1016/j.scico.2011.04.007, number=3, journal=Sci. Comput. Program., author=Ruhroth, Thomas and Wehrheim, Heike, year=2012, pages=270--289 
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

@inproceedingsSchellhorn_Wehrheim_Derrick_2012, series=Lecture Notes in Computer Science, title=How to Prove Algorithms Linearisable, DOI=10.1007/978-3-642-31424-7_21, booktitle=Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, author=Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John, editor=Madhusudan, P. and A. Seshia, SanjitEditors, year=2012, pages=243--259, collection=Lecture Notes in Computer Science 
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21