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.
10484 Publications
2014 | Book Chapter | LibreCat-ID: 57411
@inbook{Biehler_Schaper_Kortemeyer_2014, place={Münster}, title={Hilft der sogenannte Modellierungskreislauf Lösungsprozesse bei ingenieurwiss. Anwendungsaufga-ben besser zu verstehen?}, booktitle={Beiträge zum Mathematikunterricht 2014, Band 1}, publisher={WTM-Verlag}, author={Biehler, Rolf and Schaper, N. and Kortemeyer, Jörg}, editor={Roth, J. and Ames, J.}, year={2014}, pages={647–650} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57419
@inbook{Oesterhaus_Biehler_2014, place={Voorburg: The Netherlands}, title={Designing and implementing an alternative teaching concept within a continuous professional development course for German secondary school teachers}, booktitle={Sustainability in statistics education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}, publisher={ISA}, author={Oesterhaus, Janina and Biehler, Rolf}, editor={Makar, K. and d. Sousa, B. and Gould, R.}, year={2014} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57414
@inbook{Kempen_Biehler_2014, place={Vancouver, Canada}, title={The Quality of Argumentations of First-Year Pre-Service Teachers}, booktitle={Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education and the 36th Conference of the North American Chapter of the Psychology of Mathemat-ics Education (Vol. 3) }, publisher={PME}, author={Kempen, Leander and Biehler, Rolf}, editor={Oesterle, S. and Liljedahl, P. and Nicol, C. and Allen, D.}, year={2014}, pages={425–432} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57417
@inbook{Liebendörfer_Hochmuth_Schreiber_Göller_Kolter_Biehler_Kortemeyer_Ostsieker_2014, place={Münster}, title={Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen}, booktitle={Beiträge zum Mathematikunterricht 2014, Band 1}, publisher={WTM-Verlag}, author={Liebendörfer, Michael and Hochmuth, Reinhard and Schreiber, S. and Göller, Robin and Kolter, J. and Biehler, Rolf and Kortemeyer, Jörg and Ostsieker, Laura}, editor={Roth, J. and Ames, J.}, year={2014}, pages={739–742} }
LibreCat
| Download (ext.)
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