Betz, Stefan. “Internationale Standortwahl als strategisches Logistikproblem.” Ausgewählte Probleme des Logistikmanagements, edited by Stefan Betz, 2011, pp. 215–40.
LibreCat: /record/2606

Betz, Stefan. “Bedarfsorientiertes Kapazitätsmanagement in Supply Chains.” Ausgewählte Probleme des Logistikmanagements, edited by Stefan Betz, 2011, pp. 109–37.
LibreCat: /record/2607

Brink, Volker. Verfahren zur Entwicklung konsistenter Produkt- und Technologiestrategien. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26185

Pohl, Christopher. Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26187

Dumitrescu, Roman. Entwicklungssystematik zur Integration kognitiver Funktionen in fortgeschrittene mechatronische Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26188

Reyes Perez, Mariana. A Specification Technique for the Conceptual Design of Manufacturing Systems. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26189

Krol, Rafal. Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26194

Gausemeier, Jürgen, et al., editors. 8. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26195

Gausemeier, Jürgen, et al., editors. 10. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26196

Pook, Sebastian. Eine Methode zum Entwurf von Zielsystemen selbstoptimierender mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26197

Gausemeier, Jürgen, editor. Vorausschau und Technologieplanung. 7. Symposium für Vorausschau und Technologieplanung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat: /record/26198

Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, 2011.
LibreCat: /record/26276

Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, 2011.
LibreCat: /record/26279

Stern, Claudius, et al. “Towards Using Virtual Forces for Image Registration.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat: /record/26281

Sperling, Jan, and W. Vogel. “Determination of the Schmidt Number.”10.1103/physreva.83.042315__Physical Review A, 2011, doi:10.1103/physreva.83.042315.
LibreCat: /record/26357
DOI: 10.1103/physreva.83.042315

Sperling, Jan, and W. Vogel. “The Schmidt Number as a Universal Entanglement Measure.”10.1088/0031-8949/83/04/045002__Physica Scripta, 045002, 2011, doi:10.1088/0031-8949/83/04/045002.
LibreCat: /record/26358
DOI: 10.1088/0031-8949/83/04/045002

Diller, M., et al. “Zur Bewertung von Verlustgesellschaften nach den Änderungen des §8c KStG durch das Wachstumsbeschleunigungsgesetz.” CORPORATE FINANCE biz, no. 3, 2011, pp. 153–56.
LibreCat: /record/2644

Dannewitz, Christian, and et al. “How to Manage and Search/Retrieve Information Objects.” Architecture and Design for the Future Internet, 2011.
LibreCat: /record/2662

Dannewitz, Christian, and et al. “Integrating Generic Paths and NetInf.” Architecture and Design for the Future Internet, 2011.
LibreCat: /record/2663

Rasche, Christoph, et al. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat: /record/26660

Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat: /record/26663

Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat: /record/26667

Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat: /record/26669

Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science &; Engineering 26 (6), 2011.
LibreCat: /record/26670

Baldin, Daniel, et al. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” International Journal on Computing (JoC) 1(4), 2011.
LibreCat: /record/26671

Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.”  1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, 2011.
LibreCat: /record/26673

Orfanus, Dalimir, et al. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaB), IEEE Computer Society, 2011.
LibreCat: /record/26687

Betz, Stefan, editor. Ausgewählte Probleme Des Logistikmanagements. 2011.
LibreCat: /record/2669

Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat: /record/26698

Jungmann, Alexander, et al. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat: /record/26699

Gausemeier, Jürgen, et al. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat: /record/26701

Thuy, Andreas. “Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat: /record/26702

Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat: /record/26705

Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM),  IEEE Computer Society, 2011, pp. 1–9.
LibreCat: /record/26707

Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme – Eine Fallstudie.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27.
LibreCat: /record/26710

Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” ThinkMind, International Journal On Advances in Software 3 (3&;4), 2011, pp. 351–70.
LibreCat: /record/26711

Khaluf, Yara, et al. “Self-Organized Cooperation in Swarm Robotics.” 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, 2011, pp. 217–26.
LibreCat: /record/26712

Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” Proceedings of Design, Automation, Test Europe - DA, IEEE Computer Society Press, 2011.
LibreCat: /record/26713

Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, 2011.
LibreCat: /record/26714

Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” Proceedings of DVCON , 2011.
LibreCat: /record/26715

Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat: /record/26716

He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.” Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat: /record/26717

Hellmich, Frank, editor. Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen. Kohlhammer, 2011.
LibreCat: /record/26726

Hellmich, Frank. “Lehren und Lernen im Geometrieunterricht.” Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis, edited by Franz B. Wember and Ulrich Heimlich , 2nd ed., Kohlhammer, 2011, pp. 294–306.
LibreCat: /record/26745

Hellmich, Frank. “Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen.”10.1007/978-3-531-94131-8_39__Grundlegende Bildung ohne Brüche, edited by Diemut Kucharz et al., vol. 15, Springer VS, 2011, pp. 215–18, doi:10.1007/978-3-531-94131-8_39.
LibreCat: /record/26749
DOI: 10.1007/978-3-531-94131-8_39

Hellmich, Frank, and Frederike Günther. “Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick.” Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, edited by Frank Hellmich, Kohlhammer, 2011, pp. 17–46.
LibreCat: /record/26750

Hellmich, Frank, and Sandra Niebuhr-Siebert. “Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache.” Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis, edited by Sabine Hornberg and Renate Valtin, Deutsche Gesellschaft für Lesen und Schreiben, 2011, pp. 287–93.
LibreCat: /record/26751

Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat: /record/26782

Adelt, Philipp, et al. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.”  Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–94.
LibreCat: /record/26783

Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat: /record/26784

Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–35.
LibreCat: /record/26787

Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat: /record/26789

Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” Emotional Engineering, Springer-Verlag London, 2011, pp. 119–42.
LibreCat: /record/26792

Jungmann, Alexander, et al. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat: /record/26794

Jungmann, Alexander, et al. “A Fast Hierarchical Learning Approach for Autonomous Robots.”10.1007/978-3-0348-0130-0_36__Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–58, doi:10.1007/978-3-0348-0130-0_36.
LibreCat: /record/26805
DOI: 10.1007/978-3-0348-0130-0_36

Jungmann, Alexander, et al. “Increasing Learning Speed by Imitation in Multi-Robot Societies.”10.1007/978-3-0348-0130-0_19__Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307, doi:10.1007/978-3-0348-0130-0_19.
LibreCat: /record/26810
DOI: 10.1007/978-3-0348-0130-0_19

Herbst, Antje, et al. “Direction of Associations between Added Sugar Intake in Early Childhood and Body Mass Index at Age 7 Years May Depend on Intake Levels.”10.3945/jn.110.137000__The Journal of Nutrition, 2011, pp. 1348–54, doi:10.3945/jn.110.137000.
LibreCat: /record/26904
DOI: 10.3945/jn.110.137000

Bokhof, Beate, et al. “Validation of Protein and Potassium Intakes Assessed from 24 h Recalls against Levels Estimated from 24 h Urine Samples in Children and Adolescents of Turkish Descent Living in Germany: Results from the EVET! Study.”10.1017/s1368980011002734__Public Health Nutrition, 2011, pp. 640–47, doi:10.1017/s1368980011002734.
LibreCat: /record/26906
DOI: 10.1017/s1368980011002734

Gries, Thomas. “Internationale Umweltpolitik bei akkumulierender und asymmetrischer Verschmutzungsdynamik.” Zukunftsfähige Wirtschaftspolitik für Deutschland und Europa, edited by Paul J.J. Welfens, Springer, 2011, pp. 215–46.
LibreCat: /record/3290

Lettmann, Theodor, et al. “Modeling Agents and Agent Systems.”10.1007/978-3-642-24016-4_9__Transactions on Computational Collective Intelligence V, Springer Berlin Heidelberg, 2011, pp. 157–81, doi:10.1007/978-3-642-24016-4_9.
LibreCat: /record/3332
DOI: 10.1007/978-3-642-24016-4_9

Becker, Jörg, et al. “Conceptualizing Service Network Productivity --- A Looped DEA Approach.” XII European Workshop on Efficiency and Productivity Analysis (Abstract), 2011.
LibreCat: /record/3454

Becker, Jörg, et al. “How to Model Service Productivity for Data Envelopment Analysis? A Meta-Design Approach.” ECIS 2011 Proceedings, 2011, p. Paper 111.
LibreCat: /record/3455

Becker, Jörg, et al. “Do We Need New Theories on Service Productivity? --- Status Quo and Implications from Contemporary Research.” XXI. International RESER Conference, 2011, pp. 146--147.
LibreCat: /record/3456

Becker, Jörg, et al. “Information Needs in Service Systems --- A Framework for Integrating Service and Manufacturing Business Processes.”10.1109/HICSS.2011.243__Proceedings of the 44th Annual Hawaii International Conference on System Sciences, 2011, doi:10.1109/HICSS.2011.243.
LibreCat: /record/3457
DOI: 10.1109/HICSS.2011.243

Becker, Jörg, et al. “Design Science in Service Research: A Framework-Based Review of IT Artifacts in Germany.”10.1007/978-3-642-20633-7_26__International Conference on Design Science Research in Information Systems and Technology, edited by Hemant Jain et al., 2011, pp. 366--375, doi:10.1007/978-3-642-20633-7_26.
LibreCat: /record/3458
DOI: 10.1007/978-3-642-20633-7_26

Beverungen, Daniel. “Mapping the Emerging Field of Service Science: Insights from a Citation Network and Cocitation Network Analysis.” 32th International Conference on Information Systems (ICIS), 2011.
LibreCat: /record/3459

Beverungen, Daniel, et al. “The Morphology of Service Bundling Settings.” 22nd Australasian Conference on Information Systems (ACIS), 2011.
LibreCat: /record/3460

Beverungen, Daniel, et al. “Where Are the Participants? Including Motivational Aspects into Theorizing and Design in IS Research.” Proceedings of the 19th European Conference on Information Systems, 2011.
LibreCat: /record/3461

Hellingrath, Bernd, et al. “On the Coalescence of Supply Networks and Information Systems.” EMNet, 2011.
LibreCat: /record/3462

Becker, Jörg, et al. “Pricing of Value Bundles: A Multi-Perspective Decision Support Approach.” Enterprise Modelling and Information Systems Architectures, no. 2, 2011, pp. 54--69.
LibreCat: /record/3502

Paetz, Nadja-Verena, et al. Kompetenz in Der Hochschuldidaktik: Ergebnisse Einer Delphi-Studie Über Die Zukunft Der Hochschullehre. VS Verlag für Sozialwissenschaften, 2011.
LibreCat: /record/3620

Ceylan, Firat, et al. “Die Auswirkungen Des Bologna-Prozesses--Eine Expertise Der Hochschuldidaktik.” Der Bologna-Prozess Aus Sicht Der Hochschulforschung, edited by Sigrun Nickel, CHE, 2011, pp. 106–22.
LibreCat: /record/3628

Harteis, Christian, et al. “Intuitive Decision Making in Emergency Medicine: An Explorative Study.” Handbook of Intuition Research, edited by Martha Sinclair, Edward Elgar, 2011, pp. 145–56.
LibreCat: /record/3630

Gruber, Hans, and Christian Harteis. “Researching Workplace Learning in Europe.” The SAGE Handbook of Workplace Learning, edited by Marg Malloch et al., Sage, 2011, pp. 224--235.
LibreCat: /record/3632

Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text Classification by Language Function.” Proceedings of 5th International Joint Conference on Natural Language Processing, edited by Bettina Berendt et al., 2011, pp. 632–40.
LibreCat: /record/3811

Wachsmuth, Henning, et al. “Constructing Efficient Information Extraction Pipelines.” 20th ACM International Conference on Information and Knowledge Management, edited by Bettina Berendt et al., 2011, pp. 2237–40.
LibreCat: /record/3875

Davis, Niki, et al. EduSummIT 2011: Restructuring Educational Systems to Move into the Digital Age. UNESCO/Kennisnet, 2011.
LibreCat: /record/28933

Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs. 2011.
LibreCat: /record/2902

Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat: /record/2910

Gries, Thomas, and Wim Naudé. “Entrepreneurship and Human Development - A Capability Approach.”10.1016/j.jpubeco.2010.11.008__Journal of Public Economics, vol. 95, no. 3–4, 2011, pp. 216–24, doi:10.1016/j.jpubeco.2010.11.008.
LibreCat: /record/2953
DOI: 10.1016/j.jpubeco.2010.11.008

Gries, Thomas, and Wim Naudé. “Entrepreneurship, Structural Change and a Global Economic Crisis.”10.2202/2157-5665.1029__Entrepreneurship Research Journal, vol. 1, no. 3, 4, 2011, doi:10.2202/2157-5665.1029.
LibreCat: /record/2954
DOI: 10.2202/2157-5665.1029

Gries, Thomas, and Axel Wieneke. “SME Performance in Transition Economies: The Financial Regulation and Firm Level Corruption Nexus.”10.1016/j.jce.2010.09.001__Journal of Comparative Economics, vol. 39, no. 2, 2011, pp. 221–29, doi:10.1016/j.jce.2010.09.001.
LibreCat: /record/2955
DOI: 10.1016/j.jce.2010.09.001

Ackermann, Marcel R., et al. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat: /record/2985

Blömer, Johannes. “How to Share a Secret.”10.1007/978-3-642-15328-0_17__Algorithms Unplugged, Springer Berlin Heidelberg, 2011, pp. 159–68, doi:10.1007/978-3-642-15328-0_17.
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat: /record/2987

Gries, Thomas, et al. “Income Determination and Income Discrimination in Shenzhen.”10.1177/0042098010375317__Urban Studies, vol. 48, no. 7, 2011, pp. 1457–75, doi:10.1177/0042098010375317.
LibreCat: /record/3052
DOI: 10.1177/0042098010375317

Gries, Thomas, et al. “Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean.”10.1080/00036846.2010.498352__Applied Economics, vol. 43, no. 30, 2011, pp. 4729–39, doi:10.1080/00036846.2010.498352.
LibreCat: /record/3053
DOI: 10.1080/00036846.2010.498352

Gries, Thomas, et al. “Causal Linkages Between Domestic Terrorism and Economic Growth.”10.1080/10242694.2010.532943__Defence and Peace Economics, vol. 22, no. 5, 2011, pp. 493–508, doi:10.1080/10242694.2010.532943.
LibreCat: /record/3054
DOI: 10.1080/10242694.2010.532943

Gries, Thomas, et al. “Interregional Migration, Self-Selection and the Returns to Education in Brazil.”10.1007/s00168-009-0344-1__The Annals of Regional Science, vol. 46, no. 3, 2011, pp. 707–32, doi:10.1007/s00168-009-0344-1.
LibreCat: /record/3058
DOI: 10.1007/s00168-009-0344-1

Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.”10.1007/978-3-642-25385-0_35__Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666, doi:10.1007/978-3-642-25385-0_35.
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.”10.1145/2046707.2046756__Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422, doi:10.1145/2046707.2046756.
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

Schneider, Steve, et al. “Bounded Retransmission in Event-B\'70arallelCSP: A Case Study.”10.1016/j.entcs.2011.11.019__Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, Thomas, et al. “ReL: A Generic Refactoring Language for Specification and Execution.”10.1109/SEAA.2011.22__37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.”10.1007/978-3-642-21437-0_25__FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”10.1007/978-3-642-25032-3_7__Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, Steve, et al. “A CSP Account of Event-B Refinement.”10.4204/EPTCS.55.9__Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Sondermann-Wölke, Christoph, et al. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” Technische Zuverlässigkeit –TTZ, 2011.
LibreCat: /record/26981

Krol, Rafal. Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
LibreCat: /record/26982

Diethelm, Katharina, et al. “Associations between the Macronutrient Composition of the Evening Meal and Average Daily Sleep Duration in Early Childhood.”10.1016/j.clnu.2011.05.004__Clinical Nutrition, 2011, pp. 640–46, doi:10.1016/j.clnu.2011.05.004.
LibreCat: /record/27010
DOI: 10.1016/j.clnu.2011.05.004