An Approach for Determining Optimal Contrast in Visual Cryptography
J. Juhnke, H. Lefmann, V. Strehl, An Approach for Determining Optimal Contrast in Visual Cryptography, Fortschritt-Berichte VDI, 2013.

Improved Side Channel Attacks on Pairing Based Cryptography
J. Blömer, P. Günther, G. Liske, in: Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 154–168.

On the Analysis of Cryptographic Assumptions in the Generic Ring Model
T. Jager, J. Schwenk, J. Cryptology (2013) 225--245.

Practical Signatures from Standard Assumptions
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, 2013, pp. 461--485.

One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography
T. Jager, K.G. Paterson, J. Somorovsky, in: 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, 2013.

Bounded Model Checking of Graph Transformation Systems via SMT Solving
T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (Eds.), 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, 2013, pp. 178--192.

SPIN as a Linearizability Checker under Weak Memory Models
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.

A High-Level Semantics for Program Execution under Total Store Order Memory
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.

Temporal Reconfiguration Plans for Self-Adaptive Systems
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, 2013, pp. 271--284.

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
L. Libuda, U. Alexy, M. Kersting, British Journal of Nutrition (2013) 141–150.

11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.

Frequencies and demographic determinants of breastfeeding and DHA supplementation in a nationwide sample of mothers in Germany
L. Libuda, M. Stimming, C. Mesch, P. Warschburger, H. Kalhoff, B.V. Koletzko, M. Kersting, European Journal of Nutrition (2013) 1335–1344.

Lunch at school, at home or elsewhere. Where do adolescents usually get it and what do they eat? Results of the HELENA Study
K. Müller, L. Libuda, K. Diethelm, I. Huybrechts, L.A. Moreno, Y. Manios, L. Mistura, J. Dallongeville, A. Kafatos, M. González-Gross, M. Cuenca-García, M. Sjöström, L. Hallström, K. Widhalm, M. Kersting, Appetite (2013) 332–339.

Effects of lunch on children’s short-term cognitive functioning: a randomized crossover study
K. Müller, L. Libuda, N. Gawehn, C. Drossard, K. Bolzenius, C. Kunz, M. Kersting, European Journal of Clinical Nutrition (2013) 185–189.

Approaches for an informational separation of powers in learning platforms
R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.

eDo You Speak Usability?c 3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified Professional for Usability and User Experience (CPUX)c der German UPA
H.G. Fischer, T. Geis, R.  Molich, O. Kluge,  R\'22udiger Heimg\'22artner,  Peter  Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.

Contextual tagging in the coactive knowledge organization
B. K  "u hnel, Contextual Tagging in the Coactive Knowledge Organization, Heinz Nixdorf Institute, Universit  "a t Paderborn, Universit \'22 a t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.

Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design
H.G. Fischer, B. Strenge,  Karsten Nebe, (2013) 252–261.

Computer science and education - A struggle for creative sovereignty in society?
Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.

Media contexts - context media
R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.