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.
11318 Publications
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
2014 | Journal Article | LibreCat-ID: 60444
@article{Campen_Kobbelt_2014, title={Dual strip weaving}, volume={33}, DOI={10.1145/2661229.2661236}, number={6}, journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery (ACM)}, author={Campen, Marcel and Kobbelt, Leif}, year={2014}, pages={1–10} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 60445
@article{Ebke_Campen_Bommes_Kobbelt_2014, title={Level-of-detail quad meshing}, volume={33}, DOI={10.1145/2661229.2661240}, number={6}, journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery (ACM)}, author={Ebke, Hans-Christian and Campen, Marcel and Bommes, David and Kobbelt, Leif}, year={2014}, pages={1–11} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 60443
@article{Campen_Kobbelt_2014, title={Quad Layout Embedding via Aligned Parameterization}, volume={33}, DOI={10.1111/cgf.12401}, number={8}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Campen, Marcel and Kobbelt, Leif}, year={2014}, pages={69–81} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10309
@article{Hüllermeier_2014, title={Rejoinder on “Learning from imprecise and fuzzy observations: Data disambiguation through generalized loss minimization”}, volume={55}, number={7}, journal={Int. J. Approx. Reasoning}, author={Hüllermeier, Eyke}, year={2014}, pages={1609–1613} }
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