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.
8118 Publications
2013 | Journal Article | LibreCat-ID: 3660
Intuitive expertise: Theories and empirical evidence
C. Harteis, S. Billett, Educational Research Review 9 (2013) 145--157.
LibreCat
C. Harteis, S. Billett, Educational Research Review 9 (2013) 145--157.
2013 | Conference Paper | LibreCat-ID: 3813
Learning Efficient Information Extraction on Heterogeneous Texts
H. Wachsmuth, B. Stein, G. Engels, in: A. Gelbukh (Ed.), Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013, pp. 534–542.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, G. Engels, in: A. Gelbukh (Ed.), Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013, pp. 534–542.
2013 | Conference Paper | LibreCat-ID: 3814
Information Extraction as a Filtering Task
H. Wachsmuth, B. Stein, G. Engels, in: Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2013, pp. 2049–2058.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, G. Engels, in: Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2013, pp. 2049–2058.
2013 | Conference Paper | LibreCat-ID: 3876
Automatic Pipeline Construction for Real-Time Annotation
H. Wachsmuth, M. Rose, G. Engels, in: A. Gelbukh (Ed.), 14th International Conference on Intelligent Text Processing and Computational Linguistics, 2013, pp. 38–49.
LibreCat
| Download (ext.)
H. Wachsmuth, M. Rose, G. Engels, in: A. Gelbukh (Ed.), 14th International Conference on Intelligent Text Processing and Computational Linguistics, 2013, pp. 38–49.
2013 | Dissertation | LibreCat-ID: 2909
Practical algorithms for clustering and modeling large data sets - Analysis and improvements
D. Kuntze, Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements, Universität Paderborn, 2013.
LibreCat
| Download (ext.)
D. Kuntze, Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements, Universität Paderborn, 2013.
2013 | Report | LibreCat-ID: 2917
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.
LibreCat
J. Juhnke, H. Lefmann, V. Strehl, An Approach for Determining Optimal Contrast in Visual Cryptography, Fortschritt-Berichte VDI, 2013.
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.