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.
8125 Publications
2013 | Journal Article | LibreCat-ID: 3499
Plattfaut R, Hofmann S, Kohlborn T, et al. Verwaltungsdienstleistungen für Personen mit eingeschränkter Mobilität: Von mobilen Bürgerdiensten zu E-Government? eGovernment Review. 2013:14--15.
LibreCat
2013 | Journal Article | LibreCat-ID: 3660
Harteis C, Billett S. Intuitive expertise: Theories and empirical evidence. Educational Research Review. 2013;9:145--157.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
Wachsmuth H, Stein B, Engels G. Learning Efficient Information Extraction on Heterogeneous Texts. In: Gelbukh A, ed. Proceedings of the Sixth International Joint Conference on Natural Language Processing. Lecture Notes in Computer Science. ; 2013:534-542.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth H, Stein B, Engels G. Information Extraction as a Filtering Task. In: Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management. ; 2013:2049-2058.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth H, Rose M, Engels G. Automatic Pipeline Construction for Real-Time Annotation. In: Gelbukh A, ed. 14th International Conference on Intelligent Text Processing and Computational Linguistics. Lecture Notes in Computer Science. ; 2013:38-49.
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze D. Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements. Universität Paderborn; 2013.
LibreCat
| Download (ext.)
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