Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1706 Publications
2013 | Book Chapter | LibreCat-ID: 2979
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.
LibreCat
| DOI
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.
2013 | Journal Article | LibreCat-ID: 3129
On the Analysis of Cryptographic Assumptions in the Generic Ring Model
T. Jager, J. Schwenk, J. Cryptology (2013) 225--245.
LibreCat
| DOI
T. Jager, J. Schwenk, J. Cryptology (2013) 225--245.
2013 | Conference Paper | LibreCat-ID: 3130
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.
LibreCat
| DOI
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.
2013 | Conference Paper | LibreCat-ID: 3131
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.
LibreCat
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.
2013 | Conference Paper | LibreCat-ID: 3176
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.
LibreCat
| DOI
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.
2013 | Conference Paper | LibreCat-ID: 3177
{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.
LibreCat
| DOI
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.
2013 | Conference Paper | LibreCat-ID: 3178
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.
LibreCat
| DOI
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.
2013 | Conference Paper | LibreCat-ID: 3179
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{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
LibreCat
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
2013 | Journal Article | LibreCat-ID: 27043
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.
LibreCat
| DOI
L. Libuda, U. Alexy, M. Kersting, British Journal of Nutrition (2013) 141–150.
2013 | Conference Paper | LibreCat-ID: 27054
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.
LibreCat
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, in: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.
2013 | Journal Article | LibreCat-ID: 27061
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.
LibreCat
| DOI
L. Libuda, M. Stimming, C. Mesch, P. Warschburger, H. Kalhoff, B.V. Koletzko, M. Kersting, European Journal of Nutrition (2013) 1335–1344.
2013 | Journal Article | LibreCat-ID: 27062
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.
LibreCat
| DOI
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.
2013 | Journal Article | LibreCat-ID: 27063
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.
LibreCat
| DOI
K. Müller, L. Libuda, N. Gawehn, C. Drossard, K. Bolzenius, C. Kunz, M. Kersting, European Journal of Clinical Nutrition (2013) 185–189.
2013 | Conference Paper | LibreCat-ID: 27168
Approaches for an informational separation of powers in learning platforms
R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.
LibreCat
R. Keil, F. Winkelnkemper, in: Society for Informatics, 2013, pp. 131–142.
2013 | Conference Paper | LibreCat-ID: 27169
„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA
H.G. Fischer, T. Geis, R. Molich, O. Kluge, R{\"u}diger Heimg{\"a}rtner, Peter Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.
LibreCat
H.G. Fischer, T. Geis, R. Molich, O. Kluge, R{\"u}diger Heimg{\"a}rtner, Peter Hunkirchen, K. Polkehn, in: German UPA, 2013, pp. 28–34.
2013 | Dissertation | LibreCat-ID: 27171
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 {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.
LibreCat
B. K {\ "u} hnel, Contextual Tagging in the Coactive Knowledge Organization, Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2013.
2013 | Conference Paper | LibreCat-ID: 27172
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.
LibreCat
H.G. Fischer, B. Strenge, Karsten Nebe, (2013) 252–261.
2013 | Journal Article | LibreCat-ID: 27173
Computer science and education - A struggle for creative sovereignty in society?
Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.
LibreCat
Reinhard Keil, H. Selke, F. Winkelnkemper, FIfF-Kommunikation (2013) 61–65.
2013 | Conference Paper | LibreCat-ID: 27174
Media contexts - context media
R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.
LibreCat
R. Keil, in: Verbrecher Verlag, Berlin, 2013, pp. 217–226.
2013 | Conference Paper | LibreCat-ID: 27175
A Taxonomy-Based Approach Towards NUI Interaction Design
F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.
LibreCat
F. Klompmaker, V. Paelke, H.G. Fischer, (2013) 32–41.