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.
11494 Publications
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
2023 | Journal Article | LibreCat-ID: 41456
@article{Kolbaum_Ptok_Jung_Libuda_Lindtner_2023, title={Reusability of Germany´s total diet study food list upon availability of new food consumption data—comparison of three update strategies}, DOI={10.1038/s41370-023-00522-4}, journal={Journal of Exposure Science & Environmental Epidemiology}, publisher={Springer Science and Business Media LLC}, author={Kolbaum, Anna Elena and Ptok, Sebastian and Jung, Christian and Libuda, Lars and Lindtner, Oliver}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41812
@inproceedings{Luo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title={Model Generation For Java Frameworks}, booktitle={IEEE International Conference on Software Testing, Verification and Validation (ICST)}, author={Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }
LibreCat
2023 | Dissertation | LibreCat-ID: 41970
@book{Dunst_2023, series={Schriften des Lehrstuhls für Dynamik und Mechatronik}, title={Modellierung und Optimierung reibungsbasierter Ultraschall-Pulvertransportprozesse}, volume={14}, publisher={Shaker}, author={Dunst, Paul}, year={2023}, collection={Schriften des Lehrstuhls für Dynamik und Mechatronik} }
LibreCat
| Files available
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 41035
@article{Sharapova_Kruk_Solntsev_2023, title={Nonlinear Dielectric Nanoresonators and Metasurfaces: Toward Efficient Generation of Entangled Photons}, DOI={10.1002/lpor.202200408}, number={2200408}, journal={Laser & Photonics Reviews}, publisher={Wiley}, author={Sharapova, Polina R. and Kruk, Sergey S. and Solntsev, Alexander S.}, year={2023} }
LibreCat
| DOI
2023 | Preprint | LibreCat-ID: 42049
@article{Cui_Schweickert_Jöns_Namazi_Lettner_Zeuner_Montaña_Silva_Reindl_Huang_et al._2023, title={Coherent Quantum Interconnection between On-Demand Quantum Dot Single Photons and a Resonant Atomic Quantum Memory}, journal={arXiv:2301.10326}, author={Cui, Guo-Dong and Schweickert, Lucas and Jöns, Klaus D. and Namazi, Mehdi and Lettner, Thomas and Zeuner, Katharina D. and Montaña, Lara Scavuzzo and Silva, Saimon Filipe Covre da and Reindl, Marcus and Huang, Huiying and et al.}, year={2023} }
LibreCat
| arXiv