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

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

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

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

Verwaltungsdienstleistungen für Personen mit eingeschränkter Mobilität: Von mobilen Bürgerdiensten zu E-Government?
R. Plattfaut, S. Hofmann, T. Kohlborn, D. Beverungen, M. Räckers, B. Niehaves, J. Becker, EGovernment Review (2013) 14--15.
LibreCat: /record/3499

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

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

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

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

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

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

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

On the Analysis of Cryptographic Assumptions in the Generic Ring Model
T. Jager, J. Schwenk, J. Cryptology (2013) 225--245.
LibreCat: /record/3129
DOI: 10.1007/s00145-012-9120-y

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

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

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

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

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

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

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