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.

1162 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
 

2013 | Journal Article | LibreCat-ID: 19587
@article{Büker_2013, title={Individualisierung, Integration, Inklusion: KiTas und Grundschulen auf dem Weg}, number={H. 7/8}, journal={DDS (Zeitschrift der Gewerkschaft Erziehung und Wissenschaft, Landesverband Bayern), H. 7/8, Themenheft: Frühkindliche Bildung}, author={Büker, Petra}, year={2013}, pages={10–12} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 19862
@inproceedings{Büker_Bührmann_2013, title={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}, author={Büker, Petra and Bührmann, Thorsten}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 19882
@inproceedings{Büker_2013, title={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}, author={Büker, Petra}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 19884
@inproceedings{Büker_Arndt_2013, title={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}, author={Büker, Petra and Arndt, Petra A.}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 19885
@inproceedings{Büker_2013, title={Jedes Kind lernt anders! Individualisierung, Differenzierung und “gute” Lernaufgaben. Vortrag im Rahmen des Pädagogischen Tages zum Thema “Gute Lernaufgaben für die Lernwerkstattarbeit” im Modellprojekt Kinderbildungshaus. Paderborn}, author={Büker, Petra}, year={2013} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 19981
@article{Mertsching_Divband Soorati_Kotthauser_2013, title={Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds}, journal={IEEE International Conference on Robotics and Biomimetics (ROBIO)}, author={Mertsching, Bärbel and Divband Soorati, Mohammad and Kotthauser, Tobias}, year={2013}, pages={661–667} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 20148
@article{Hamann_Karsai_Schmickl_2013, title={Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning}, volume={75}, DOI={10.1007/s11538-013-9851-4 }, number={7}, journal={Bulletin of Mathematical Biology}, author={Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas}, year={2013}, pages={1181–1206} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 20150
@article{Hamann_Schmickl_Stradner_Crailsheim_Thenius_Zahadat_2013, title={Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems}, volume={50}, DOI={10.1016/j.chaos.2013.01.011}, journal={Chaos, Solitons & Fractals}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Ronald and Zahadat, Payam}, year={2013}, pages={100–114} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 20151
@inproceedings{Hamann_Schmickl_Stradner_Schwarzer_Michiels_Esparcia-Alcazar_2013, title={Virtual Spatiality in Agent Controllers: Encoding Compartmentalization}, volume={7835}, DOI={10.1007/978-3-642-37192-9_58}, booktitle={Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013)}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Schwarzer, Christopher and Michiels, Nico K. and Esparcia-Alcazar, Anna Isabel}, year={2013}, pages={579–588} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 20160
@inproceedings{Hamann_2013, title={A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems}, DOI={10.1109/SASO.2013.10}, booktitle={7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013)}, publisher={IEEE Press}, author={Hamann, Heiko}, year={2013}, pages={227–236} }
LibreCat | DOI
 

Filters and Search Terms

year=2013

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed