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.
1600 Publications
2013 | Report | LibreCat-ID: 2917
Juhnke J, Lefmann H, Strehl V. An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
Blömer J, Günther P, Liske G. Improved Side Channel Attacks on Pairing Based Cryptography. In: Constructive Side-Channel Analysis and Secure Design. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:154-168. doi:10.1007/978-3-642-40026-1_10
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. J Cryptology. 2013;(2):225--245. doi:10.1007/s00145-012-9120-y
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl F, Hofheinz D, Jager T, Koch J, Hong Seo J, Striecks C. Practical Signatures from Standard Assumptions. 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:461--485. doi:10.1007/978-3-642-38348-9_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager T, Paterson KG, Somorovsky J. One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography. In: 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg T, Steenken D, Wehrheim H. Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In: Beyer D, Boreale M, 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. Lecture Notes in Computer Science. ; 2013:178--192. doi:10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin O, Mütze A, Wehrheim H. {SPIN} as a Linearizability Checker under Weak Memory Models. In: Bertacco V, Legay A, eds. Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science. ; 2013:311--326. doi:10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science. ; 2013:177--194. doi:10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert S, Wehrheim H. Temporal Reconfiguration Plans for Self-Adaptive Systems. In: Kowalewski S, Rumpe B, eds. Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen. {LNI}. ; 2013:271--284.
LibreCat
2013 | Journal Article | LibreCat-ID: 27043
Libuda L, Alexy U, Kersting M. 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. British Journal of Nutrition. Published online 2013:141-150. doi:10.1017/s0007114513002031
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier J, Grafe M, Meyer auf der Heide F. 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. In: Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 ; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27061
Libuda L, Stimming M, Mesch C, et al. Frequencies and demographic determinants of breastfeeding and DHA supplementation in a nationwide sample of mothers in Germany. European Journal of Nutrition. Published online 2013:1335-1344. doi:10.1007/s00394-013-0633-4
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27062
Müller K, Libuda L, Diethelm K, et al. Lunch at school, at home or elsewhere. Where do adolescents usually get it and what do they eat? Results of the HELENA Study. Appetite. Published online 2013:332-339. doi:10.1016/j.appet.2013.09.002
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27063
Müller K, Libuda L, Gawehn N, et al. Effects of lunch on children’s short-term cognitive functioning: a randomized crossover study. European Journal of Clinical Nutrition. Published online 2013:185-189. doi:10.1038/ejcn.2012.209
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 27168
Keil R, Winkelnkemper F. Approaches for an informational separation of powers in learning platforms. In: Society for Informatics; 2013:131-142.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer HG, Geis T, Molich R, et al. „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. In: German UPA; 2013:28-34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel B. Contextual Tagging in the Coactive Knowledge Organization. Heinz Nixdorf Institute, Universit {\ "a} t Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer HG, Strenge B, Nebe Karsten. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. Published online 2013:252-261.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil Reinhard, Selke H, Winkelnkemper F. Computer science and education - A struggle for creative sovereignty in society? FIfF-Kommunikation. Published online 2013:61-65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil R. Media contexts - context media. In: Verbrecher Verlag; 2013:217-226.
LibreCat