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.
1601 Publications
2013 | Conference Paper | LibreCat-ID: 28550
Echterhoff, Niklas, et al. “Cross-Industry Innovations – Systematic Identification of Ideas for Radical Problem Solving.” Proceedings of the International Conference on Innovation and Management (ICIM), vol. 74, 2013, pp. 935–44.
LibreCat
2013 | Journal Article | LibreCat-ID: 28551
Bauer, Frank, et al. “Work Preparation 4.0 - Cloud-Based Use of Virtual Machine Tools.” Wt Workshop Technology Online, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28552
Dorociak, Rafal, et al. A Methodology for the Improvement of Dependability of Self-Optimizing Systems. Springer-Verlag Berlin Heidelberg, 2013, doi:0.1007/s11740-012-0425-3.
LibreCat
| DOI
2013 | Book | LibreCat-ID: 28553
Gausemeier, J{\"u}rgen, et al. Thinking Ahead the Future of Additive Manufacturing - Exploring the Research Landscape. 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 28554
Gausemeier, J{\"u}rgen, et al. “Integrative Development of Product and Production Systems for Mechatronic Systems.” MECHATRONIC REM 2012, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 28555
Kahl, Sascha. Framework for a Self-Optimizing Development Process for Advanced Mechatronic Systems. publishing series of the Heinz Nixdorf Institute, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 28556
Bensiek, Tobias. Systematik Zur Reifegradbasierten Leistungsbewertung Und -Steigerung von Gesch{\"a}ftsprozessen Im Mittelstand. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 28557
Wassmann, Helene. Systematik Zur Entwicklung von Visualisierungstechniken F{\"u}r Die Visuelle Analyse Fortgeschrittener Mechatronischer Systeme in VR-Anwendungen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 28558
Kokoschka, Martin. Verfahren Zur Konzipierung Imitationsgesch{\"u}tzter Produkte Und Produktionssysteme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 28559
Reymann, Felix. Verfahren Zur Strategieentwicklung Und -Umsetzung Auf Basis Einer Retropolation von Zukunftsszenarien. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann, Stefan. Themenmodellierung Zur Identifikation Und Gruppierung von Spam-Webseiten. 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder, Lennart. Nichtapproximierbarkeitsresultate Zu Radius- Und Durchmesserclustering Unter Verwendung von L_p-Metriken. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28694
Bloh, Thiemo. Kooperationsbedingte Kompetenzentwicklung. Zur Bedeutung Kollektiver Orientierun-Gen Für Individuelle Handlungskompetenz von Grundschullehrkräften. 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 24533
Hopp, Matthias. “Improving Bond Strength of Hard-Soft Combinations by Dynamic Mold Heating.” TPE Magazine International, vol. 5, no. 3, Dr. Gupta Verlag, 2013, pp. 176–83.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, Da, and Wolfgang Müller. “ A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 2013, pp. 845–57.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, Gunar, et al., editors. Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf, Lial, and Franz-Josef Rammig. “Organic Programming of Real-Time Operating Systems.” The Ninth International Conference on Autonomic and Autonomous Systems, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, Harald, et al. “Methods for the Design and Development.” Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Springer-Verlag, 2013, pp. 187–356.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25778
Klaas, Alexander, et al. “Simulation Aided, Self-Adapting Knowledge Based Control of Material Handling Systems.” Proceedings of the 2013 Winter Simulation Conference, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25780
Dangelmaier, Wilhelm, and Alexander Klaas. Collective Generation of Subjective Situations / Measures for Online Control in Transport and Storage Systems}. GITO-Verlag, 2013, pp. 37–49.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25782
Dangelmaier, Wilhelm, et al. “Simulation in Production and Logistics 2013.” Proceedings 15th ASIM Conference Simulation in Production and Logistics, vol. 316, Heinz Nixdorf Institute, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25789
Renken, Hendrik, and Wilhelm Dangelmaier. “Improving Flow-Based Modeling of Enterprise Systems and Modeling of Custom Warehouse Systems in D3fact.” Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, INSTICC PRESS, 2013, pp. 94–101.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25791
Dangelmaier, Wilhelm, and Ekaterina Kaganova. Evaluation of Affinely Adjustable Robust Counterpart for the CLSP. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25792
Klaas, Alexander, et al. “Proactive Self-Adaptation of a Flexible Simulation Based Control System Using Forecasting.” Proceedings of the 11th IFAC Workshop on Intelligent Manufacturing Systems, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25794
Hassan, Bassem, et al. Kaskadierte Simulationen Und Visualisierungen F{\"u}r Die Analyse Mechatronischer Systeme in Umfangreichen Transportszenarien. Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2013, pp. 159–76.
LibreCat
2013 | Dissertation | LibreCat-ID: 25800
Hartmann, Philip. A Contribution to the Anticipation and Regulation of Behavior in Cognitive Mechatronic Systems in Long-Term Planning and Execution. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25804
Pater, Jan-Patrick, et al. Determination of Safety Requirements {\ "a} Nden Regarding Future Delivery Reliability in Compliance with Capital Commitment Restrictions by Means of Simulation-Based Optimization. 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25805
Dangelmaier, Wilhelm, and Christoph Laroque. “Current Challenges in Process Simulation - Sketch of a Solution Approach Based on Model-Driven Software Development.” Production in Germany - Competitiveness in the 21st Century, edited by A Friedewald, A and H L {\ "o} dding, GITO-Verlag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 26045
Aasi, J., et al. “Enhanced Sensitivity of the LIGO Gravitational Wave Detector by Using Squeezed States of Light.” Nature Photonics, 2013, pp. 613–19, doi:10.1038/nphoton.2013.177.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 2610
Betz, Stefan. “Operative Handlungsempfehlungen für eine kostenorientierte Instandhaltungsplanung.” Industrielles Controlling - Planung, Steuerung und Kontrolle von Beschaffung, Produktion und Logistik, edited by Stefan Betz, 2013, pp. 87–116.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2611
Betz, Stefan. “Innovationsrisikomanagement bei unsicheren Cash-Flow-Prognosen.” Industrielles Controlling - Planung, Steuerung und Kontrolle von Beschaffung, Produktion und Logistik, edited by Stefan Betz, 2013, pp. 147–78.
LibreCat
2013 | Journal Article | LibreCat-ID: 26129
Erler, Jacqueline, et al. “Liquid–Liquid Phase Transfer of Magnetite Nanoparticles — Evaluation of Surfactants.” Powder Technology, vol. 247, 2013, pp. 265–69, doi:10.1016/j.powtec.2012.09.047.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 2613
Betz, Stefan. “Integration von Instandhaltungskosten in das Innovationsrisikomanagement.” Jahrbuch für Controlling und Rechnungswesen, edited by Gerhard Seicht, 2013, pp. 595–618.
LibreCat
2013 | Journal Article | LibreCat-ID: 26130
Schiller, Sascha, and Hans-Joachim Schmid. “Hocheffiziente Feinstaubabscheidung Aus Kleinfeuerungsanlagen Mit Einem Schlauchfilter.” Chemie Ingenieur Technik, 2013, pp. 1324–28, doi:10.1002/cite.201200114.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 26202
Reymann, Felix. Verfahren zur Strategieentwicklung und -umsetzung auf Basis einer Retropolation von Zukunftsszenarien. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 26203
Kahl, Sascha. Rahmenwerk für einen selbstoptimierenden Entwicklungsprozess fortschrittlicher mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 26204
Wassmann, Helene. Systematik zur Entwicklung von Visualisierungstechniken für die visuelle Analyse fortgeschrittener mechatronischer Systeme in VR-Anwendungen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 26205
Bensiek, Tobias. Systematik zur reifegradbasierten Leistungsbewertung und -steigerung von Geschäftsprozessen im Mittelstand. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 26206
Kokoschka, Martin. Verfahren zur Konzipierung imitationsgeschützter Produkte und Produktionssysteme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Book | LibreCat-ID: 26207
von Detten, Markus. Reengineering of Component-Based Systems in the Presence of Design Deficiencies. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 26208
Dangelmaier, Wilhelm, et al., editors. Simulation in Produktion und Logistik 2013. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Book | LibreCat-ID: 26209
Priesterjahn, Claudia. Analyzing Self-Healing Operations in Mechatronic Systems . Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 2630
Kundisch, Dennis, et al. “Entscheidungsunterstützung für szenarium-basierte Risikobewertungen.” KoR - Zeitschrift für internationale und kapitalmarktorientierte Rechnungslegung, vol. 11, 2013, pp. 543–50.
LibreCat
2013 | Journal Article | LibreCat-ID: 26347
Sperling, Jan, et al. “Correlation Measurements with On-off Detectors.” Physical Review A, 2013, doi:10.1103/physreva.88.043821.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26348
Pagel, D., et al. “Multipartite Entangled Light from Driven Microcavities.” Physical Review A, 2013, doi:10.1103/physreva.88.042310.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26349
Sperling, Jan, and W. Vogel. “Multipartite Entanglement Witnesses.” Physical Review Letters, 2013, doi:10.1103/physrevlett.111.110503.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26350
Agudelo, E., et al. “Quasiprobabilities for Multipartite Quantum Correlations of Light.” Physical Review A, 2013, doi:10.1103/physreva.87.033811.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26497
Barkhofen, Sonja, et al. “Disordered Graphene and Boron Nitride in a Microwave Tight-Binding Analog.” Physical Review B, 2013, doi:10.1103/physrevb.87.035101.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26504
Barkhofen, Sonja, et al. “Experimental Observation of the Spectral Gap in Microwave N-Disk Systems.” Physical Review Letters, 2013, doi:10.1103/physrevlett.110.164102.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26505
Franco-Villafañe, J. A., et al. “First Experimental Realization of the Dirac Oscillator.” Physical Review Letters, 2013, doi:10.1103/physrevlett.111.170405.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26506
Barkhofen, Sonja, et al. “Experimental Observation of a Fundamental Length Scale of Waves in Random Media.” Physical Review Letters, 2013, doi:10.1103/physrevlett.111.183902.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 26522
Barkhofen, Sonja. Microwave Measurements on N-Disk Systems and Investigation of Branching in Correlated Potentials and Turbulent Flows. Philipps-Universität Marburg, 2013, doi:10.17192/Z2013.0457.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 2654
Kundisch, Dennis, et al. “Classroom Response Systems.” Informatik-Spektrum, vol. 36, no. 4, 2013, pp. 389–93.
LibreCat
2013 | Book Chapter | LibreCat-ID: 26692
Hellmich, Frank, and Fabian Karl Hoya. “Implizite Theorien von der Veränderbarkeit eigener Fähigkeiten bei Kindern im Mathematikunterricht der Grundschule – Ergebnisse aus einer empirischen Studie.” Beiträge zum Mathematikunterricht , edited by Gilbert Greefrath et al., WTM, 2013, pp. 1138–39.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 2670
Betz, Stefan, editor. Industrielles Controlling - Planung, Steuerung Und Kontrolle von Beschaffung, Produktion Und Logistik. 2013.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 26725
Hellmich, Frank, and Katja Siekmann, editors. Sprechen, Lesen und Schreiben lernen – Erfolgreiche Konzepte der Sprachförderung. Deutsche Gesellschaft für Lesen und Schreiben (DGLS), 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 26742
Hellmich, Frank, and Sabrina Förster. “Förderung der Lesekompetenz durch den Einsatz von Lesestrategien in der Grundschule.” Sprechen, Lesen und Schreiben lernen – Erfolgreiche Konzepte der Sprachförderung, edited by Frank Hellmich and Katja Siekmann, Deutsche Gesellschaft für Lesen und Schreiben (DGLS), 2013, pp. 150–67.
LibreCat
2013 | Journal Article | LibreCat-ID: 26910
Goletzke, Janina, et al. “Carbohydrate Quality Is Not Associated with Liver Enzyme Activity and Plasma TAG and HDL Concentrations over 5 Years in an Older Population.” British Journal of Nutrition, 2013, pp. 918–25, doi:10.1017/s0007114512005867.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26911
Goletzke, J., et al. “Habitually Higher Dietary Glycemic Index During Puberty Is Prospectively Related to Increased Risk Markers of Type 2 Diabetes in Younger Adulthood.” Diabetes Care, 2013, pp. 1870–76, doi:10.2337/dc12-2063.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26912
Joslowski, Gesa, et al. “Animal Protein Intakes during Early Life and Adolescence Differ in Their Relation to the Growth Hormone-Insulin-Like-Growth-Factor Axis in Young Adulthood.” The Journal of Nutrition, 2013, pp. 1147–54, doi:10.3945/jn.113.175877.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 26973
Meyer, Tobias, et al. “Increasing Intelligent Systems’ Reliability by Using Reconfiguration.” The Annual Reliability and Maintainability Symposium (RAMS), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3440
Becker, Jörg, et al. “Performance Benchmarking for Designing Interaction Routines --- Managing Trade-Offs in Service Co-Creation with the Data Envelopment Analysis.” Proceedings of the European Research Conference on Information Systems (ECIS) 2013, 2013, p. Paper 185.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3441
Beverungen, Daniel. “On the Design of IT Artifacts and the Emergence of Business Processes as Organizational Routines.” Proceedings of the 34th International Conference on Information Systems (ICIS), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3442
Dillon, S., et al. “Local E-Government Transformation --- An International Comparison.” WEBIST, 2013, pp. 361--367.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3443
Hofmann, Sara, et al. “Old Blunders in New Media? How Local Governments Communicate with Citizens in Online Social Networks.” Proceedings of the 46$^{th}$ Hawaii International Conference on System Sciences (HICSS-46), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3444
Malsbender, Andrea, et al. “Capitalizing on Social Media Analysis --- Insights from an Online Review on Business Models.” Proceedings of the Americas Conference on Information Systems (AMCIS2013), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3446
Malsbender, Andrea, et al. “Much Ado about Nothing? Tracing the Progress of Innovations Borne on Enterprise Social Network Sites.” Proceedings of the 34th International Conference on Information Systems (ICIS), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3447
Malsbender, Andrea, et al. “Digital Social Signal Processing --- Theoretical Underpinning and Research Agenda.” Proceedings of the Pacific Asia Conference on Information Systems (PACIS), 2013, pp. 1--12.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3448
Plattfaut, Ralf, et al. “Unravelling (E-)Government Channel Selection: A Quantitative Analysis of Individual Customer Preferences in Germany and Australia.” Proceedings of the 46th Hawaii International Conference on System Sciences, 2013, pp. 1983--1991, doi:10.1109/HICSS.2013.585.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3494
Becker, Jörg, et al. “Guidelines for Reporting Productivity Studies: A Review of the Reproducibility of DEA in the Service Sector.” International Journal of Services and Operations Management, no. 3, 2013, pp. 407--425, doi:10.1504/IJSOM.2013.056796.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3495
Becker, Jörg, et al. “Bridging the Gap Between Manufacturing and Service Through IT-Based Boundary Objects.” IEEE Transactions on Engineering Management, no. 3, 2013, pp. 468--482, doi:10.1109/TEM.2012.2214770.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3496
Becker, Jörg, et al. “Designing Interaction Routines in Service Networks: A Modularity and Social Construction-Based Approach.” Scandinavian Journal of Information Systems, no. 1, 2013, pp. 37--68.
LibreCat
| Download (ext.)
2013 | Journal Article | LibreCat-ID: 3497
Beverungen, Daniel, et al. “Augmenting Analytical CRM Strategies with Social BI.” International Journal of Business Intelligence Research (IJBIR), no. 3, 2013, pp. 32--49, doi:10.4018/ijbir.2013070103.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3498
Hofmann, Sara, et al. “What Makes Local Governments’ Online Communications Successful? Insights from a Multi-Method Analysis of Facebook.” Government Information Quarterly, no. 4, 2013, pp. 387--396, doi:10.1016/j.giq.2013.05.013.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3499
Plattfaut, Ralf, et al. “Verwaltungsdienstleistungen Für Personen Mit Eingeschränkter Mobilität: Von Mobilen Bürgerdiensten Zu E-Government?” EGovernment Review, 2013, pp. 14--15.
LibreCat
2013 | Journal Article | LibreCat-ID: 3660
Harteis, Christian, and Stephen Billett. “Intuitive Expertise: Theories and Empirical Evidence.” Educational Research Review, vol. 9, 2013, pp. 145--157.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
Wachsmuth, Henning, et al. “Learning Efficient Information Extraction on Heterogeneous Texts.” Proceedings of the Sixth International Joint Conference on Natural Language Processing, edited by Alexander Gelbukh, 2013, pp. 534–42.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth, Henning, et al. “Information Extraction as a Filtering Task.” Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2013, pp. 2049–58.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth, Henning, et al. “Automatic Pipeline Construction for Real-Time Annotation.” 14th International Conference on Intelligent Text Processing and Computational Linguistics, edited by Alexander Gelbukh, 2013, pp. 38–49.
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze, Daniel. 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, Jakob, et al. An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
Blömer, Johannes, et al. “Improved Side Channel Attacks on Pairing Based Cryptography.” Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, 2013, pp. 154–68, doi:10.1007/978-3-642-40026-1_10.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions in the Generic Ring Model.” J. Cryptology, no. 2, 2013, pp. 225--245, doi:10.1007/s00145-012-9120-y.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl, Florian, et al. “Practical Signatures from Standard Assumptions.” 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, doi:10.1007/978-3-642-38348-9_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager, Tibor, et al. “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography.” 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, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” 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, edited by Dirk Beyer and Michele Boreale, 2013, pp. 178--192, doi:10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory Models.” Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.” Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 2013, pp. 271--284.
LibreCat
2013 | Journal Article | LibreCat-ID: 27043
Libuda, Lars, et al. “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, 2013, pp. 141–50, doi:10.1017/s0007114513002031.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, Jürgen, et al. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27061
Libuda, Lars, et al. “Frequencies and Demographic Determinants of Breastfeeding and DHA Supplementation in a Nationwide Sample of Mothers in Germany.” European Journal of Nutrition, 2013, pp. 1335–44, doi:10.1007/s00394-013-0633-4.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27062
Müller, Katrin, 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, 2013, pp. 332–39, doi:10.1016/j.appet.2013.09.002.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27063
Müller, K., et al. “Effects of Lunch on Children’s Short-Term Cognitive Functioning: A Randomized Crossover Study.” European Journal of Clinical Nutrition, 2013, pp. 185–89, doi:10.1038/ejcn.2012.209.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 27168
Keil, Reinhard, and Felix Winkelnkemper. Approaches for an Informational Separation of Powers in Learning Platforms. Society for Informatics, 2013, pp. 131–42.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer, Holger Gerhard, 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. German UPA, 2013, pp. 28–34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel, Birger. Contextual Tagging in the Coactive Knowledge Organization. Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer, Holger Gerhard, et al. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. Springer Verlag, 2013, pp. 252–61.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil, Reinhard, et al. “Computer Science and Education - A Struggle for Creative Sovereignty in Society?” FIfF-Kommunikation, 2013, pp. 61–65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil, Reinhard. Media Contexts - Context Media. Verbrecher Verlag, 2013, pp. 217–26.
LibreCat