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.
9762 Publications
2023 | Book Chapter | LibreCat-ID: 52662
@inbook{Nachtigall_Schlichtig_Bodden_2023, place={Bonn}, title={Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2023}, pages={95–96} }
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
@inbook{Schlichtig_Sassalla_Narasimhan_Bodden_2023, place={Bonn}, title={Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2023}, pages={105–106} }
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 34803
@article{Celledoni_Glöckner_Riseth_Schmeding_2023, title={Deep neural networks on diffeomorphism groups for optimal shape reparametrization}, volume={63}, DOI={10.1007/s10543-023-00989-05}, number={50}, journal={BIT Numerical Mathematics}, publisher={Springer}, author={Celledoni, Elena and Glöckner, Helge and Riseth, Jørgen and Schmeding, Alexander}, year={2023} }
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 34793
@article{Glöckner_Hilgert_2023, title={Aspects of control theory on infinite-dimensional Lie groups and G-manifolds}, volume={343}, DOI={10.1016/j.jde.2022.10.001}, journal={Journal of Differential Equations}, author={Glöckner, Helge and Hilgert, Joachim}, year={2023}, pages={186–232} }
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 34801
@article{Glöckner_Tárrega_2023, title={Mapping groups associated with real-valued function spaces and direct limits of Sobolev-Lie groups }, volume={33}, number={1}, journal={Journal of Lie Theory}, publisher={Heldermann}, author={Glöckner, Helge and Tárrega, Luis}, year={2023}, pages={271–296} }
LibreCat
| arXiv
2023 | Journal Article | LibreCat-ID: 46264
@article{Sadeghi-Kohan_Hellebrand_Wunderlich_2023, title={Workload-Aware Periodic Interconnect BIST}, DOI={10.1109/mdat.2023.3298849}, journal={IEEE Design &Test}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Sadeghi-Kohan, Somayeh and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2023}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 45830
@inproceedings{Jafarzadeh_Klemme_Reimer_Najafi Haghi_ Amrouch_Hellebrand_ Wunderlich_2023, place={Anaheim, CA, USA}, title={Robust Pattern Generation for Small Delay Faults under Process Variations}, booktitle={IEEE International Test Conference (ITC’23), Anaheim, USA, October 2023}, publisher={IEEE}, author={Jafarzadeh, Hanieh and Klemme, Florian and Reimer, Jan Dennis and Najafi Haghi, Zahra Paria and Amrouch, Hussam and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2023} }
LibreCat
2023 | Book (Editor) | LibreCat-ID: 45191
@book{Gräßler_Maier_Steffen_Roesmann_2023, place={Cham}, title={The Digital Twin of Humans}, DOI={10.1007/978-3-031-26104-6}, publisher={Springer International Publishing}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 52806
@article{Gilbert_Schürmann_Liebendörfer_Lawson_Hodds_2023, title={Post-pandemic online mathematics and statistics support: Practitioners’ opinions in Germany and Great Britain & Ireland}, DOI={10.1080/0020739x.2023.2184282}, journal={International Journal of Mathematical Education in Science and Technology}, publisher={Informa UK Limited}, author={Gilbert, H. and Schürmann, M. and Liebendörfer, M. and Lawson, D. and Hodds, M.}, year={2023}, pages={1–26} }
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52811
@inbook{Biehler_Guntermann_Liebendörfer_Krämer_Schlüter_2023, place={Münster}, title={Fachdidaktisches Design von Begründungsvideos im Projekt studiVEMINTvideos}, volume={1}, DOI={10.37626/GA9783959872089.0}, booktitle={Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik}, publisher={WTM}, author={Biehler, Rolf and Guntermann, Dominik and Liebendörfer, Michael and Krämer, Sandra and Schlüter, Sarah}, editor={Goethe-Universität Frankfur, IDMI-Primar}, year={2023}, pages={407–410} }
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52810
@inbook{Göller_Gildehaus_Liebendörfer_Besser_2023, place={Münster}, title={Erfassung und Vergleich (mathematischer) Eingangsvoraussetzungen angehender Studierender verschiedener mathematikhaltiger Studiengänge}, booktitle={Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum}, publisher={WTM}, author={Göller, Robin and Gildehaus, Lara and Liebendörfer, Michael and Besser, Michael}, editor={Härterich, Jörg and Kallweit, Michael and Rolka, Katrin and Skill, Thomas}, year={2023}, pages={66–80} }
LibreCat
2023 | Book Chapter | LibreCat-ID: 52809
@inbook{Kempen_Liebendörfer_2023, place={Münster}, title={Zu digital - zu viel - zu schwer? Qualitative Einsichten in das Erleben und Handeln von Erstsemester-Studierenden der Mathematik während der Corona-Pandemie}, booktitle={Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum}, publisher={WTM}, author={Kempen, Leander and Liebendörfer, Michael}, editor={Härterich, Jörg and Kallweit, Michael and Rolka, Katrin and Skill, Thomas}, year={2023}, pages={91–106} }
LibreCat
2023 | Book Chapter | LibreCat-ID: 52813
@inbook{Schlüter_Liebendörfer_2023, place={Münster}, title={Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen}, volume={2}, DOI={10.37626/GA9783959872089.0}, booktitle={Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik}, publisher={WTM}, author={Schlüter, Sarah and Liebendörfer, Michael}, editor={Goethe-Universität Frankfur, IDMI-Primar}, year={2023}, pages={1177–1180} }
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52812
@inbook{Krämer_Liebendörfer_2023, place={Münster}, title={Förderung prozeduraler Flexibilität durch Lernvideos mit interaktiven Aufgaben}, volume={2}, DOI={10.37626/GA9783959872089.0}, booktitle={Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik}, publisher={WTM}, author={Krämer, Sandra and Liebendörfer, Michael}, editor={Goethe-Universität Frankfur, IDMI-Primar}, year={2023}, pages={949–952} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 52807
@article{Preservice teachers’ mathematics-related values and expectancy in the transition from school to university_2023, DOI={10.48489/QUADRANTE.31191}, year={2023} }
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models}, DOI={10.1007/978-3-031-43619-2_36}, booktitle={Logics in Artificial Intelligence}, publisher={Springer Nature Switzerland}, author={de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 52861
@article{Gil_Patrizi_Perelli_Turhan_2023, title={Optimal Alignment of Temporal Knowledge Bases}, volume={abs/2307.15439}, DOI={10.48550/ARXIV.2307.15439}, journal={CoRR}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52863
@inproceedings{Ŝkvorc_Eftimov_Koro]ec_2023, title={Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization}, DOI={10.1109/ssci52147.2023.10371868}, booktitle={2023 IEEE Symposium Series on Computational Intelligence (SSCI)}, publisher={IEEE}, author={Ŝkvorc, Urban and Eftimov, Tome and Koro]ec, Peter}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
@inproceedings{Turhan_2023, series={CEUR Workshop Proceedings}, title={Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)}, volume={3515}, booktitle={Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin}, editor={Kutz, Oliver and Lutz, Carsten and Ozaki, Ana}, year={2023}, collection={CEUR Workshop Proceedings} }
LibreCat