A.-C. Ngonga Ngomo and G. Paliouras, Eds., Proceedings of the first Workshop on Bio-Medical Semantic Indexing and Question Answering, a Post-Conference Workshop of Conference and Labs of the Evaluation Forum 2013 (CLEF 2013) , Valencia, Spain, September 27th, 2013, vol. 1094. CEUR-WS.org, 2013.

S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.

M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.

C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, 2013, vol. 311.

C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.

S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.

C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.

F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.

C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.

G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.

S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues,” Production Engineering Research &; Development 7(1), pp. 69–79, 2013.

A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,” International Journal of Business Process Integration and Management 6(4), pp. 284–297, 2013.

C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.

C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights,” in Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin Heidelberg: Springer , 2013, pp. 103–113.

K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks,” 2013.

P. Büker, T. Bührmann, and A. Kordulla, “Die wissenschaftliche Begleitung des Modellprojektes,” in Hand in Hand durch den Übergang - Neue Wege der Kooperation zwischen Kita und Grundschule im Modellprojekt Kinderbildungshaus Paderborn, Stadt Paderborn, Ed. Paderborn, 2013, pp. 57–80.

P. Büker, “Individualisierung, Integration, Inklusion: KiTas und Grundschulen auf dem Weg,” DDS (Zeitschrift der Gewerkschaft Erziehung und Wissenschaft, Landesverband Bayern), H. 7/8, Themenheft: Frühkindliche Bildung, no. H. 7/8, pp. 10–12, 2013.

P. Büker and T. Bührmann, “Forschung und Praxis im Dialog?! Erfahrungen und Probleme der wissenschaftlichen Begleitung von Projekten im Übergang Kita-Grundschule. Keynote an der 18. Jahrestagung des Nordverbunds Schulbegleitforschung, Universität Osnabrück,” 2013.

P. Büker, “Individualisierung, Integration, Inklusion: Kitas und (Grund-) Schulen auf dem Weg. Abschlussvortrag im Rahmen des Fachtages des GEW Bezirksverbandes Oberbayern zum Thema ‘Individuelle Förderung als Grundlage der Inklusion’. GEW Bezirksverband Oberbayern, Freising,” 2013.

P. Büker and P. A. Arndt, “Verzahnung von Elementar- und Primarbereich in Bildungshäusern: Auswirkungen auf Kinder, Erzieher/innen und Lehrkräfte. Symposium an der 1. Tagung der Gesellschaft für Empirische Bildungsforschung (GEBF) an der Christian-Albrecht-Universität Kiel,” 2013.