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.
11457 Publications
2023 | Conference Paper | LibreCat-ID: 35083
@article{Dann_Hermann_Bodden_2023, series={International Conference on Software Engineering (ICSE)}, title={UpCy: Safely Updating Outdated Dependencies}, author={Dann, Andreas Peter and Hermann, Ben and Bodden, Eric}, year={2023}, collection={International Conference on Software Engineering (ICSE)} }
LibreCat
2023 | Journal Article | LibreCat-ID: 21199 | 
@article{Peitz_Bieker_2023, title={On the Universal Transformation of Data-Driven Models to Control Systems}, volume={149}, DOI={10.1016/j.automatica.2022.110840}, number={110840}, journal={Automatica}, publisher={Elsevier}, author={Peitz, Sebastian and Bieker, Katharina}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 36471
@article{Hummel_Widhalm_Höpker_Jöns_Chang_Fognini_Steinhauer_Zwiller_Zrenner_Bartley_2023, title={Nanosecond gating of superconducting nanowire single-photon detectors using cryogenic bias circuitry}, volume={31}, DOI={10.1364/oe.472058}, number={1610}, journal={Optics Express}, publisher={Optica Publishing Group}, author={Hummel, Thomas and Widhalm, Alex and Höpker, Jan Philipp and Jöns, Klaus and Chang, Jin and Fognini, Andreas and Steinhauer, Stephan and Zwiller, Val and Zrenner, Artur and Bartley, Tim}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 36800 |
@article{Busch_Hausotte_2023, title={Simulation-based investigation of the metrological interface structural resolution capability of X-ray computed tomography scanners}, volume={12}, DOI={10.5194/jsss-12-1-2023}, number={1}, journal={Journal of Sensors and Sensor Systems}, publisher={Copernicus GmbH}, author={Busch, Matthias and Hausotte, Tino}, year={2023}, pages={1–8} }
LibreCat
| DOI
| Download (ext.)
2023 | Book (Editor) | LibreCat-ID: 37469
@book{Biehler_Liebendörfer_Gueudet_Rasmussen_Winsløw_2023, place={Cham}, title={Practice-Oriented Research in Tertiary Mathematics Education}, DOI={10.1007/978-3-031-14175-1}, publisher={Springer International Publishing}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 37553
@inproceedings{Schrader_Bernijazov_Foullois_Hillebrand_Kaiser_Dumitrescu_2023, title={Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering}, DOI={10.1109/isse54508.2022.10005487}, booktitle={2022 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Schrader, Elena and Bernijazov, Ruslan and Foullois, Marc and Hillebrand, Michael and Kaiser, Lydia and Dumitrescu, Roman}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={10.1145/3551349.3561156}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android Taint Analyses}, DOI={10.1109/scam55253.2022.00007}, booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck, Felix}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={10.1145/3551349.3561339}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35892
@inproceedings{Hoya_Schulze_Blumberg_Hellmich_2023, place={Duisburg/Essen}, title={Effekte des Feedbacks von Lehrkräften auf die Selbstwirksamkeitsüberzeugungen und die intrinsische Motivation von Kindern im naturwissenschaftlichen Sachunterricht der Grundschule. Vortrag auf der 10. Tagung der Gesellschaft für Empirische Bildungsforschung (GEBF). Thema: „Bildung zwischen Unsicherheit und Evidenz“}, publisher={Universität Duisburg-Essen}, author={Hoya, Fabian Karl and Schulze, Jan Roland and Blumberg, Eva and Hellmich, Frank}, year={2023} }
LibreCat
2023 | Dissertation | LibreCat-ID: 37645 |
@book{Bauer_2023, title={Experimentelle Kompetenz Physikstudierender}, DOI={10.17619/UNIPB/1-1652}, publisher={LibreCat University}, author={Bauer, Anna Brigitte}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 33488
@inproceedings{Ksouri-Gerwien_Vorbohle, title={Supporting Business Model Decision-making in B2B Ecosystems: A Framework for Using System Dynamics}, booktitle={Proceedings of the 55th Hawaii International Conference on System Sciences (HICSS)}, author={Ksouri-Gerwien, C. and Vorbohle, Christian} }
LibreCat
2023 | Book Chapter | LibreCat-ID: 37641
@inbook{Schröer_Tenberge, place={London}, edition={1}, title={Including: Thinking Towards an Inclusive Curriculum for Technology Education in German Primary Schools}, booktitle={Bloomsbury Handbook of Technology Education}, publisher={Bloomsbury Publishing}, author={Schröer, Franz and Tenberge, Claudia}, editor={Gill, David and Irving-Bell, Dawne and McLain, Matt and Wooff, David}, pages={156–169} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 |
@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, DOI={10.48550/ARXIV.2301.04419}, publisher={IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }
LibreCat
| Files available
| DOI
2023 | Mastersthesis | LibreCat-ID: 40440
@book{Pilot_2023, title={Updatable Privacy-Preserving Reputation System based on Blockchain}, author={Pilot, Matthias}, year={2023} }
LibreCat
2023 | Book Chapter | LibreCat-ID: 40511
@inbook{Hüsing_Schulte_Winkelnkemper_2023, title={Epistemic Programming}, DOI={10.5040/9781350296947.ch-022}, booktitle={Computer Science Education}, publisher={Bloomsbury Academic}, author={Hüsing, Sven and Schulte, Carsten and Winkelnkemper, Felix}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 40520
@inproceedings{Schmidt_Tenberge_Häsel-Weide, title={Lehre in Zeiten von Digitalisierung und Inklusion – Beispiele aus drei Fächern.}, author={Schmidt, Rebekka and Tenberge, Claudia and Häsel-Weide, Uta}, editor={Vöing, Nerea and Schmidt, Rebekka and Neiske, Iris} }
LibreCat
2023 | Journal Article | LibreCat-ID: 33947
@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation}, volume={939}, DOI={10.1016/j.tcs.2022.10.031}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2023}, pages={261–291} }
LibreCat
| DOI
| arXiv
2023 | Book | LibreCat-ID: 36558
@book{Matz_Rogge_Rumlich_2023, place={Tübingen}, title={Die mündliche Prüfung. Eine Einführung}, publisher={Narr}, author={Matz, Frauke and Rogge, Michael and Rumlich, Dominik}, year={2023} }
LibreCat
2023 | Book | LibreCat-ID: 41369
@book{Böcker, place={Paderborn}, title={Mechatronik und elektrische Antriebe / Mechatronics and electrical drives}, DOI={10.17619/UNIPB/1-1640}, publisher={Paderborn University}, author={Böcker, Joachim} }
LibreCat
| DOI