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.
10469 Publications
2014 | Book Chapter | LibreCat-ID: 57420
@inbook{Podworny_Biehler_2014, place={Voorburg: The Netherlands}, title={A learning trajectory on hypothesis testing with TinkerPlots - design and exploratory evaluation}, booktitle={Sustainability in statistics education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}, publisher={ISA}, author={Podworny, Susanne and Biehler, Rolf}, editor={Makar, K. and d. Sousa, B. and Gould, R.}, year={2014} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57193
@inbook{Biehler_2014, place={Voorburg: The Netherlands}, title={On the delicate relation between informal statistical inference and formal statistical inference}, booktitle={Sustainability in statistics education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}, publisher={ISA}, author={Biehler, Rolf}, editor={Makar, K. and d. Sousa, B. and Gould, R.}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 57413
@inbook{Hochmuth_Biehler_Schreiber_2014, title={Considering mathematical practices in engineering contexts focusing on signal analysis}, booktitle={Proceedings of the 17th Annual Conference on Research in Undergraduate Mathematics Education (RUME 17)}, author={Hochmuth, Reinhard and Biehler, Rolf and Schreiber, Stephan}, editor={Fukawa-Connelly, T. and Karakok, G. and Keene, K. and Zandieh, M.}, year={2014}, pages={693–699} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57415
@inbook{Kuzle_Biehler_2014, place={Münster}, title={Wie „multiplizieren“ Mathematikmultiplikatoren in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?}, booktitle={Beiträge zum Mathematikunterricht 2014, Band 1}, publisher={WTM-Verlag}, author={Kuzle, Ana and Biehler, Rolf}, editor={Roth, J. and Ames, J.}, year={2014}, pages={687–690} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57275
@inbook{Biehler_Kuzle_Dutkowski_Elschenbroich_Heintz_2014, place={Münster}, title={GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten Sicht auf die euklidische Geometrie}, booktitle={Beiträge zum Mathematikunterricht 2014, Band 1}, publisher={WTM-Verlag}, author={Biehler, Rolf and Kuzle, Ana and Dutkowski, Wilfried and Elschenbroich, Hans-Jürgen and Heintz, Gaby}, editor={Roth, J. and Ames, J.}, year={2014}, pages={181–184} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 57421
@inbook{Wassong_Biehler_2014, place={Voorburg: The Netherlands}, title={The use of technology in a mentor teacher course in statistics education}, booktitle={Sustainability in statistics education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}, publisher={ISA}, author={Wassong, Thomas and Biehler, Rolf}, editor={Makar, K. and d. Sousa, B. and Gould, R.}, year={2014} }
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 57423
@article{Wolf_Biehler_2014, title={Entwicklung und Erprobung anwendungsorientierter Aufgaben für Ingenieurstudienanfänger/innen}, volume={9}, number={4}, journal={Zeitschrift für Hochschulentwicklung}, author={Wolf, Paul and Biehler, Rolf}, year={2014}, pages={169–190} }
LibreCat
| Download (ext.)
2014 | Book | LibreCat-ID: 57422
@book{Wolf_Biehler_2014, place={Kassel}, title={Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium, khdm-Report: Nr. 03-14}, publisher={Universität Kassel}, author={Wolf, Paul and Biehler, Rolf}, year={2014} }
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 34583
@inproceedings{Koppelmann_Messidat_Kuznik_Müller_Becker_Scheytt_2014, place={München}, title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, booktitle={Proceedings of the Design and Verification Conference Europe (DVCON Europe)}, author={Koppelmann, Bastian and Messidat, Bernd and Kuznik, Christoph and Müller, Wolfgang and Becker, Markus and Scheytt, J. Christoph}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25117
@article{Koppelmann_Messidat_Becker_Kuznik_Müller_Scheytt_2014, title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, journal={Design and Verification Conference (DVCON EUROPE)}, author={Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt, J. Christoph}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25162
@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25169
@inproceedings{Oetjens_Becker_Kuznik_Müller_2014, title={Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges}, booktitle={Design Automation Conference (DAC)}, author={Oetjens, Jan-Hendrik and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
@inproceedings{Khaluf_Birattari_Rammig_2013, series={Theory and Practice of Natural Computing, Nr. 8273}, title={Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences}, volume={8273}, booktitle={Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013}, publisher={Springer}, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2013}, collection={Theory and Practice of Natural Computing, Nr. 8273} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
@inproceedings{Joy_Müller_Rammig_2013, title={Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model}, booktitle={Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,}, publisher={Linköping University Electronic Press}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems}, booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation System for Automated Service Composition}, booktitle={Proceedings of the 10th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104} }
LibreCat