@bookJuhnke_Lefmann_Strehl_2013, title=An Approach for Determining Optimal Contrast in Visual Cryptography, publisher=Fortschritt-Berichte VDI, author=Juhnke, Jakob and Lefmann, Hanno and Strehl, Volker, year=2013 

@inbookBlömer_Günther_Liske_2013, place=Berlin, Heidelberg, title=Improved Side Channel Attacks on Pairing Based Cryptography, DOI=10.1007/978-3-642-40026-1_10, booktitle=Constructive Side-Channel Analysis and Secure Design, publisher=Springer Berlin Heidelberg, author=Blömer, Johannes and Günther, Peter and Liske, Gennadij, year=2013, pages=154–168 

@articleJager_Schwenk_2013, title=On the Analysis of Cryptographic Assumptions in the Generic Ring Model, DOI=10.1007/s00145-012-9120-y, number=2, journal=J. Cryptology, author=Jager, Tibor and Schwenk, Jörg, year=2013, pages=225--245 

@inproceedingsBöhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title=Practical Signatures from Standard Assumptions, DOI=10.1007/978-3-642-38348-9_28, booktitle=Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, author=Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph, year=2013, pages=461--485 

@inproceedingsJager_Paterson_Somorovsky_2013, title=One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography, booktitle=20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, author=Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj, year=2013 

@inproceedingsIsenberg_Steenken_Wehrheim_2013, series=Lecture Notes in Computer Science, title=Bounded Model Checking of Graph Transformation Systems via SMT Solving, DOI=10.1007/978-3-642-38592-6_13, booktitle=Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, author=Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike, editor=Beyer, Dirk and Boreale, MicheleEditors, year=2013, pages=178--192, collection=Lecture Notes in Computer Science 

@inproceedingsTravkin_Mütze_Wehrheim_2013, series=Lecture Notes in Computer Science, title=SPIN as a Linearizability Checker under Weak Memory Models, DOI=10.1007/978-3-319-03077-7_21, booktitle=Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, author=Travkin, Oleg and Mütze, Annika and Wehrheim, Heike, editor=Bertacco, Valeria and Legay, AxelEditors, year=2013, pages=311--326, collection=Lecture Notes in Computer Science 

@inproceedingsDongol_Travkin_Derrick_Wehrheim_2013, series=Lecture Notes in Computer Science, title=A High-Level Semantics for Program Execution under Total Store Order Memory, DOI=10.1007/978-3-642-39718-9_11, booktitle=Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, author=Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike, editor=Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors, year=2013, pages=177--194, collection=Lecture Notes in Computer Science 

@inproceedingsZiegert_Wehrheim_2013, series=LNI, title=Temporal Reconfiguration Plans for Self-Adaptive Systems, booktitle=Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, author=Ziegert, Steffen and Wehrheim, Heike, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=271--284, collection=LNI 

@articleLibuda_Alexy_Kersting_2013, title=Time trends in dietary fat intake in a sample of German children and adolescents between 2000 and 2010: not quantity, but quality is the issue, DOI=10.1017/s0007114513002031, journal=British Journal of Nutrition, author=Libuda, Lars and Alexy, Ute and Kersting, Mathilde, year=2013, pages=141–150 

@inproceedingsGausemeier_Grafe_Meyer auf der Heide_2013, title=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, volume=311, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , author=Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm, year=2013 

@articleLibuda_Stimming_Mesch_Warschburger_Kalhoff_Koletzko_Kersting_2013, title=Frequencies and demographic determinants of breastfeeding and DHA supplementation in a nationwide sample of mothers in Germany, DOI=10.1007/s00394-013-0633-4, journal=European Journal of Nutrition, author=Libuda, Lars and Stimming, Madlen and Mesch, Christina and Warschburger, Petra and Kalhoff, Hermann and Koletzko, Berthold Viktor and Kersting, Mathilde, year=2013, pages=1335–1344 

@articleMüller_Libuda_Diethelm_Huybrechts_Moreno_Manios_Mistura_Dallongeville_Kafatos_González-Gross_et al._2013, title=Lunch at school, at home or elsewhere. Where do adolescents usually get it and what do they eat? Results of the HELENA Study, DOI=10.1016/j.appet.2013.09.002, journal=Appetite, author=Müller, Katrin and Libuda, Lars and Diethelm, Katharina and Huybrechts, Inge and Moreno, Luis A. and Manios, Yannis and Mistura, Lorenza and Dallongeville, Jean and Kafatos, Anthony and González-Gross, Marcela and et al., year=2013, pages=332–339 

@articleMüller_Libuda_Gawehn_Drossard_Bolzenius_Kunz_Kersting_2013, title=Effects of lunch on children’s short-term cognitive functioning: a randomized crossover study, DOI=10.1038/ejcn.2012.209, journal=European Journal of Clinical Nutrition, author=Müller, K and Libuda, Lars and Gawehn, N and Drossard, C and Bolzenius, K and Kunz, C and Kersting, M, year=2013, pages=185–189 

@inproceedingsKeil_Winkelnkemper_2013, title=Approaches for an informational separation of powers in learning platforms, publisher=Society for Informatics, author=Keil, Reinhard and Winkelnkemper, Felix, year=2013, pages=131–142 

@inproceedingsFischer_Geis _Molich_Kluge_Heimg\'22artner_Hunkirchen_Polkehn_2013, title=eDo You Speak Usability?“3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified Professional for Usability and User Experience (CPUX)“der German UPA, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas and  Molich, Rolf and Kluge, Oliver  and Heimg\'22artner,  R\'22udiger and Hunkirchen,  Peter  and Polkehn, Knut, year=2013, pages=28334 

@bookK  "u hnel_2013, place=Universit \'22 a t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, title=Contextual tagging in the coactive knowledge organization, publisher=Heinz Nixdorf Institute, Universit  "a t Paderborn, author=K  "u hnel, Birger, year=2013 

@articleFischer_Strenge_Nebe_2013, series=LNCS 8012, title=Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design, publisher=Springer Verlag, author=Fischer, Holger Gerhard and Strenge, Benjamin and Nebe,  Karsten, year=2013, pages=252–261, collection=LNCS 8012 

@articleKeil_Selke_Winkelnkemper_2013, title=Computer science and education - A struggle for creative sovereignty in society?, journal=FIfF-Kommunikation, author=Keil,  Reinhard and Selke, Harald and Winkelnkemper, Felix, year=2013, pages=61–65 

@inproceedingsKeil_2013, place=Berlin, title=Media contexts - context media, publisher=Verbrecher Verlag, author=Keil, Reinhard, year=2013, pages=217–226