Becker J, Beverungen D, Knackstedt R, Matzner M, Müller O, Pöppelbuß J. Bridging the Gap Between Manufacturing and Service Through IT-Based Boundary Objects. IEEE Transactions on Engineering Management. 2013;(3):468--482. doi:10.1109/TEM.2012.2214770
LibreCat: /record/3495
DOI: 10.1109/TEM.2012.2214770

Becker J, Beverungen D, Knackstedt R, Matzner M, Müller O, Pöppelbuß J. Designing Interaction Routines in Service Networks: A Modularity and Social Construction-Based Approach. Scandinavian Journal of Information Systems. 2013;(1):37--68.
LibreCat: /record/3496

Beverungen D, Eggert M, Voigt M, Rosemann M. Augmenting Analytical CRM Strategies with Social BI. International Journal of Business Intelligence Research (IJBIR). 2013;(3):32--49. doi:10.4018/ijbir.2013070103
LibreCat: /record/3497
DOI: 10.4018/ijbir.2013070103

Hofmann S, Beverungen D, Räckers M, Becker J. What Makes Local Governments’ Online Communications Successful? Insights from a Multi-Method Analysis of Facebook. Government Information Quarterly. 2013;(4):387--396. doi:10.1016/j.giq.2013.05.013
LibreCat: /record/3498
DOI: 10.1016/j.giq.2013.05.013

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: /record/3499

Harteis C, Billett S. Intuitive expertise: Theories and empirical evidence. Educational Research Review. 2013;9:145--157.
LibreCat: /record/3660

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: /record/3813

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: /record/3814

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: /record/3876

Kuntze D. Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements. Universität Paderborn; 2013.
LibreCat: /record/2909

Juhnke J, Lefmann H, Strehl V. An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI; 2013.
LibreCat: /record/2917

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: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

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: /record/3129
DOI: 10.1007/s00145-012-9120-y

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: /record/3130
DOI: 10.1007/978-3-642-38348-9_28

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: /record/3131

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: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

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: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

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: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

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\'22arz 2013 in Aachen. LNI. ; 2013:271--284.
LibreCat: /record/3179

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: /record/27043
DOI: 10.1017/s0007114513002031