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.
1603 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
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach Towards NUI Interaction Design. Published online 2013:32-41.
LibreCat
2013 | Working Paper | LibreCat-ID: 2733 | 
Dimant E, Krieger T, Redlin M. A Crook Is a Crook … But Is He Still a Crook Abroad? - On the Effect of Immigration on Destination-Country Corruption. Vol 2013-14. Paderborn University, CIE Center for International Economics; 2013.
LibreCat
| Download (ext.)
2013 | Working Paper | LibreCat-ID: 2739 |
Dimant E, Krieger T, Redlin M. A Crook Is a Crook ... but Is He Still a Crook Abroad? On the Effect of Immigration on Destination-Country Corruption. Vol 2013-03. Wilfried-Guth-Stiftungsprofessur für Ordnungs- und Wettbewerbspolitik, Universität Freiburg; 2013.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 27472
Kepper J, Roland P, Röwenstrunk D. Musical Variants in Encoding, Analysis and Visualization. In: Balisage: The Markup Conference 2013. Vol 10. Balisage Series on Markup Technologies. Proceedings of Balisage: The Markup Conference 2013. ; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27514
Oepping A, Schlegel-Matthies K. Bildung für nachhaltige Entwicklung. Den Alltag gestalten – Teilhabe ermöglichen. Verbraucherbildung als Aufgabe von Schule. Schule NRW Amtsblatt des Ministeriums für Schule und Weiterbildung. 2013;2:10-12.
LibreCat
2013 | Journal Article | LibreCat-ID: 27515
Schlegel-Matthies K. Ethik, Konsumentenverantwortung und Verbraucherbildung im Spannungsfeld. Haushalt in Bildung und Forschung (HiBiFo). 2013;2(2):61-70.
LibreCat
2013 | Journal Article | LibreCat-ID: 27516
Schlegel-Matthies K. Fachliche Betreuung des Schwerpunktthemas: Ethik – Konsum – Verbraucherbildung. . Haushalt in Bildung und Forschung (HiBiFo). 2013;2(2).
LibreCat
2013 | Book | LibreCat-ID: 27518
Oepping A, Schlegel-Matthies K. Ernährungs- und Verbraucherbildung im Unterricht . 4th ed.; 2013.
LibreCat
2013 | Conference Abstract | LibreCat-ID: 2752
John T, Kundisch D. Business Model Representations: A Cross-Disciplinary Review of the Pragmatic, Semantic and Syntactic Foundations of Existing Approaches. In: Pre-ECIS Workshop on the Digitization in Business Models and Entrepreneurship (DiBME). ; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27524
Müller K, Libuda L, Terschlüsen AM, Kersting M. A Review of the Effects of Lunch: On Adults’ Short-term Cognitive Functioning. Canadian Journal of Dietetic Practice and Research. Published online 2013:181-188. doi:10.3148/74.4.2013.181
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 2753
Mutter T. Do Non-Monetary Incentive Systems Matter? Evidence From the Restructuring of a Non-Monetary Incentive System in an Online Community. In: Proceedings of the 21st European Conference on Information Systems (ECIS). ; 2013.
LibreCat
2013 | Conference Abstract | LibreCat-ID: 2754
John T, Weskamp C, Kundisch D, Suhl L. Towards an Agile Simulation-based Method for Creating, Evaluating and Selecting Business Models. In: Pre-ECIS Workshop on the Digitization in Business Models and Entrepreneurship (DiBME). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 2755
Kundisch D, Herrmann P, Whittaker M, et al. Designing a Web-Based Classroom Response System. In: Proceedings of the Design Science Research in Information Systems and Technologies 2013 (DESRIST). Vol 7939. Lecture Notes in Computer Science (LNCS). Springer; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 2756
Herrmann P, Kundisch D, Rahman M. Does it Pay Off to Bid Aggressively? An Empirical Study. In: Proceedings of the 46th Hawaii International Conference on System Sciences (HICCS). Vol 46. ; 2013:3962-3971.
LibreCat
2013 | Journal Article | LibreCat-ID: 27581
Mesch C, Stimming M, Wagner A, Libuda L, Kersting M. Rekrutierung von Müttern mit Säuglingen in einer Interventionsstudie – erste Erkenntnisse aus der PINGU-Studie. . Ernährungsumschau International. 2013;7:110-115.
LibreCat
2013 | Dissertation | LibreCat-ID: 27697
Schröder C. Verfahrenstechnische Entwicklung Zum Hinterspritzen von Echtholzfurnieren Mit Wood-Plastic-Composites (WPC) .; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 27698
Hallmann T. Untersuchung Des Prozessverhaltens Neuartiger Einzugzonen-Konzepte Für Kautschukextruder.; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27732
Assmann KE, Joslowski G, Buyken A, et al. Prospective association of protein intake during puberty with body composition in young adulthood. Obesity. Published online 2013:E782-E789. doi:10.1002/oby.20516
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27733
Günther ALB, Walz H, Kroke A, et al. Breastfeeding and Its Prospective Association with Components of the GH-IGF-Axis, Insulin Resistance and Body Adiposity Measures in Young Adulthood – Insights from Linear and Quantile Regression Analysis. PLoS ONE. Published online 2013. doi:10.1371/journal.pone.0079436
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann P. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 20946
Alissawi N, Peter T, Strunskus T, Ebbert C, Grundmeier G, Faupel F. Plasma-polymerized HMDSO coatings to adjust the silver ion release properties of Ag/polymer nanocomposites. JOURNAL OF NANOPARTICLE RESEARCH. 2013;15(11). doi:10.1007/s11051-013-2080-9
LibreCat
| DOI
| WoS
2013 | Report | LibreCat-ID: 20973
Daun M, Fockel M, Holtmann J, Tenbergen B. Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”; 2013.
LibreCat
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 21041
Harder G, Ansari V, Brecht B, Dirmeier T, Marquardt C, Silberhorn C. An optimized photon pair source for quantum circuits. Optics Express. 2013;21(12). doi:10.1364/oe.21.013975
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21042
Christ A, Brecht B, Mauerer W, Silberhorn C. Theory of quantum frequency conversion and type-II parametric down-conversion in the high-gain regime. New Journal of Physics. 2013;15. doi:10.1088/1367-2630/15/5/053038
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21043
Brecht B, Silberhorn C. Characterizing entanglement in pulsed parametric down-conversion using chronocyclic Wigner functions. Physical Review A. 2013;87. doi:10.1103/physreva.87.053810
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21044
Krapick S, Herrmann H, Quiring V, Brecht B, Suche H, Silberhorn C. An efficient integrated two-color source for heralded single photons. New Journal of Physics. 2013;15. doi:10.1088/1367-2630/15/3/033010
LibreCat
| DOI
2013 | Conference Abstract | LibreCat-ID: 21133
Oertel S, Thommes K, Walgenbach P. Born in the GDR: Imprinting, Structural Inertia and the Survival Chances of Organizations. In: Atinc G, ed. Academy of Management Annual Meeting Proceedings. ; 2013. doi:10.5465/ambpp.2013.11642abstract
LibreCat
| DOI