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 (Editor) | LibreCat-ID: 25472
Ngonga Ngomo, A.-C., & Paliouras, G. (Eds.). (2013). 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.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2013). Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013). 8. - 11. Apr. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, M., Samara, S., & Zhao, Y. (2013). Accelerating Online Model Checking. 6’th Latin-American Symposium on Dependable Computing (LADC 2013).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2013). Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
Rasche, C., Bieshaar, M., Jungmann, A., Kleinjohann, L., & Kleinjohann, B. (2013). Statistisches Planen in einem realen Roboterszenario. Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 310, 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink, S., Baldin, D., & Oberthür, S. (2013). Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. ACM SIGBED Review, Band 10.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1), 69–79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, A., Kleinjohann, B., & Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2013). A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In G. Sen Gupta, D. Bailey, S. Demidenko, & D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 (Vol. 480, pp. 103–113). Springer .
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 19585
Büker, P., Bührmann, T., & Kordulla, A. (2013). Die wissenschaftliche Begleitung des Modellprojektes. In Stadt Paderborn (Ed.), Hand in Hand durch den Übergang - Neue Wege der Kooperation zwischen Kita und Grundschule im Modellprojekt Kinderbildungshaus Paderborn (pp. 57–80). Paderborn.
LibreCat
2013 | Journal Article | LibreCat-ID: 19587
Büker, P. (2013). 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, (H. 7/8), 10–12.
LibreCat
2013 | Conference Paper | LibreCat-ID: 19862
Büker, P., & Bührmann, T. (2013). 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.
LibreCat
2013 | Conference Paper | LibreCat-ID: 19882
Büker, P. (2013). 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.
LibreCat
2013 | Conference Paper | LibreCat-ID: 19884
Büker, P., & Arndt, P. A. (2013). 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.
LibreCat