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