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.

1155 Publications


2013 | Conference Paper | LibreCat-ID: 25612
@inproceedings{Mischkalla_Müller_2013, title={Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25614
@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SC OVM: An Advanced SystemC Library for OVM-based Verification}, booktitle={Open SANITAS SystemC Verification Workshop}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }
LibreCat
 

2013 | Newspaper Article | LibreCat-ID: 25615
@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title={ Informationstechnik spart Ressourcen}, journal={ForschungsForum Paderborn }, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang}, year={2013} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 25616
@article{Grösbrink_2013, title={Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues}, journal={Production Engineering Research & Development 7(1)}, author={Grösbrink, Stefan}, year={2013}, pages={69–79} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 25618
@article{Jungmann_Kleinjohann_Kleinjohann_2013, title={Learning Service Recommendations}, journal={International Journal of Business Process Integration and Management 6(4)}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa}, year={2013}, pages={284–297} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25620
@inproceedings{Kuznik_Oliveira_Defo_Müller_2013, title={Systematic Application of UCIS to Improve the Automation on Verification Closure}, booktitle={Proceedings of DVCON}, author={Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand and Müller, Wolfgang}, year={2013} }
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 25625
@inbook{Rasche_Stern_Kleinjohann_Kleinjohann_2013, place={Berlin Heidelberg}, title={A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights}, volume={480}, booktitle={Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480}, publisher={Springer }, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, editor={Sen Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale}, year={2013}, pages={103–113} }
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 25632
@inproceedings{Klobedanz_Jatzkowski_Rettberg_Müller_2013, title={Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks}, booktitle={International Embedded Systems Symposium (IESS) 2013}, publisher={Springer}, author={Klobedanz, Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang}, year={2013} }
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 19585
@inbook{Büker_Bührmann_Kordulla_2013, place={Paderborn}, title={Die wissenschaftliche Begleitung des Modellprojektes}, booktitle={Hand in Hand durch den Übergang - Neue Wege der Kooperation zwischen Kita und Grundschule im Modellprojekt Kinderbildungshaus Paderborn}, author={Büker, Petra and Bührmann, Thorsten and Kordulla, Agnes}, editor={Stadt PaderbornEditor}, year={2013}, pages={57–80} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 19586
@article{Hüpping_Büker_Winheller_Müller_Rendtorff_2013, title={Dokumentation der Studie ProLEG: Professionalisierung von Lehrkräften für einen reflektierten Umgang mit Ethnizität und Geschlecht in der Grundschule. Kurz-Dokumentation ausgewählter Daten und Ergebnisse}, journal={PLAZ-Forum (Lehrerausbildung und Schule in der Diskussion)}, author={Hüpping, Birgit and Büker, Petra and Winheller, Sandra and Müller, Michael and Rendtorff, Barbara}, year={2013} }
LibreCat | Files available
 

Filters and Search Terms

year=2013

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed