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.
9785 Publications
2024 | Book Chapter | LibreCat-ID: 53942
SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
2024 | Conference Paper | LibreCat-ID: 53958
Detecting Security-Relevant Methods using Multi-label Machine Learning
O. Johnson, G. Piskachev, R. Krishnamurthy, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.
LibreCat
| DOI
O. Johnson, G. Piskachev, R. Krishnamurthy, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.
2024 | Conference Paper | LibreCat-ID: 53796
UNav-Sim: A Visually Realistic Underwater Robotics Simulator and Synthetic Data-Generation Framework
A. Amer, O. Álvarez-Tuñón, H.İ. Uğurlu, J. Le Fevre Sejersen, Y. Brodskiy, E. Kayacan, in: 2023 21st International Conference on Advanced Robotics (ICAR), IEEE, 2024.
LibreCat
| DOI
A. Amer, O. Álvarez-Tuñón, H.İ. Uğurlu, J. Le Fevre Sejersen, Y. Brodskiy, E. Kayacan, in: 2023 21st International Conference on Advanced Robotics (ICAR), IEEE, 2024.
2024 | Conference Paper | LibreCat-ID: 53959
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
LibreCat
| arXiv
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
2024 | Journal Article | LibreCat-ID: 51207
Temperedness of locally symmetric spaces: The product case
T. Weich, L.L. Wolf, Geom Dedicata 218 (2024).
LibreCat
| DOI
| arXiv
T. Weich, L.L. Wolf, Geom Dedicata 218 (2024).
2024 | Preprint | LibreCat-ID: 51204
Polyhedral bounds on the joint spectrum and temperedness of locally symmetric spaces
C. Lutsko, T. Weich, L.L. Wolf, ArXiv:2402.02530 (2024).
LibreCat
| arXiv
C. Lutsko, T. Weich, L.L. Wolf, ArXiv:2402.02530 (2024).
2024 | Conference Paper | LibreCat-ID: 53816
Measuring Visual Attention Capacity Across xReality
K. Biermeier, I. Scharlau, E. Yigitbas, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
LibreCat
K. Biermeier, I. Scharlau, E. Yigitbas, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
2024 | Journal Article | LibreCat-ID: 54078
Fachbezogene Professionalisierung von fachfremd Mathematik unterrichtenden Lehrkräften: Retrospektive Selbsteinschätzungen zur Expertise im Umgang mit Schwierigkeiten beim Mathematiklernen im Anfangsunterricht der Grundschule
U. Häsel-Weide, L.M. Graf, K. Höveler, M. Nührenbörger, HLZ – Herausforderung Lehrer*innenbildung 7 (2024).
LibreCat
| DOI
U. Häsel-Weide, L.M. Graf, K. Höveler, M. Nührenbörger, HLZ – Herausforderung Lehrer*innenbildung 7 (2024).
2024 | Journal Article | LibreCat-ID: 54144
The meaning landscape of the concept of the total derivative in multivariable real analysis textbooks: an analysis based on a new model of meaning
E. Lankeit, R. Biehler, ZDM – Mathematics Education (2024).
LibreCat
| DOI
E. Lankeit, R. Biehler, ZDM – Mathematics Education (2024).
2024 | Mastersthesis | LibreCat-ID: 54245
Exploring Custom FPGA Accelerators for DNN-based RF Fingerprinting
L.-S. Henke, Exploring Custom FPGA Accelerators for DNN-Based RF Fingerprinting, 2024.
LibreCat
L.-S. Henke, Exploring Custom FPGA Accelerators for DNN-Based RF Fingerprinting, 2024.
2024 | Journal Article | LibreCat-ID: 54277
Towards New Realities: Implications of Personalized Online Layers in Our Daily Lives
E. Herder, L. Stojko, J. Strecker, T. Neumayr, E. Yigitbas, M. Augstein, I-Com - Journal of Interactive Media, Special Issue on “The Future of Human-Computer Interaction” (to Appear) (2024).
LibreCat
E. Herder, L. Stojko, J. Strecker, T. Neumayr, E. Yigitbas, M. Augstein, I-Com - Journal of Interactive Media, Special Issue on “The Future of Human-Computer Interaction” (to Appear) (2024).
2024 | Book (Editor) | LibreCat-ID: 54283
Digitale Plattformen im industriellen Mittelstand
D. Beverungen, R. Dumitrescu, A. Kühn, C. Plass, eds., Digitale Plattformen Im Industriellen Mittelstand, Springer Berlin Heidelberg, Berlin, Heidelberg, 2024.
LibreCat
| DOI
D. Beverungen, R. Dumitrescu, A. Kühn, C. Plass, eds., Digitale Plattformen Im Industriellen Mittelstand, Springer Berlin Heidelberg, Berlin, Heidelberg, 2024.
2024 | Conference Paper | LibreCat-ID: 54291
"I'm actually going to go and change these passwords": Analyzing the Usability of Credential Audit Interfaces in Password Managers
E. Kablo, K. Kader, P. Arias Cabarcos, in: Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, ACM, 2024.
LibreCat
| DOI
E. Kablo, K. Kader, P. Arias Cabarcos, in: Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, ACM, 2024.
2024 | Conference Paper | LibreCat-ID: 54312
Enabling Performance Portability for Shallow Water Equations on CPUs, GPUs, and FPGAs with SYCL
M. Büttner, C. Alt, T. Kenter, H. Köstler, C. Plessl, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2024.
LibreCat
| DOI
M. Büttner, C. Alt, T. Kenter, H. Köstler, C. Plessl, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2024.
2024 | Journal Article | LibreCat-ID: 54017
Compact, High-Speed Mach-Zehnder Modulator with On-Chip Linear Drivers in Photonic BiCMOS Technology
C. Kress, T. Schwabe, H. Rhee, J.C. Scheytt, IEEE Access (2024) 1–1.
LibreCat
| DOI
C. Kress, T. Schwabe, H. Rhee, J.C. Scheytt, IEEE Access (2024) 1–1.
2024 | Research Data | LibreCat-ID: 53662
Randomised material parameter piezoelectric impedance dataset with structured electrodes
K. Koch, L. Claes, Randomised Material Parameter Piezoelectric Impedance Dataset with Structured Electrodes, zenodo, 2024.
LibreCat
| DOI
K. Koch, L. Claes, Randomised Material Parameter Piezoelectric Impedance Dataset with Structured Electrodes, zenodo, 2024.
2024 | Research Data | LibreCat-ID: 54314
Randomised material parameter impedance dataset of piezoelectric rings
K. Koch, O. Friesen, L. Claes, Randomised Material Parameter Impedance Dataset of Piezoelectric Rings, zenodo, 2024.
LibreCat
| DOI
K. Koch, O. Friesen, L. Claes, Randomised Material Parameter Impedance Dataset of Piezoelectric Rings, zenodo, 2024.
2023 | Conference Paper | LibreCat-ID: 35083
UpCy: Safely Updating Outdated Dependencies
A.P. Dann, B. Hermann, E. Bodden, (2023).
LibreCat
A.P. Dann, B. Hermann, E. Bodden, (2023).
2023 | Journal Article | LibreCat-ID: 21199 |
On the Universal Transformation of Data-Driven Models to Control Systems
S. Peitz, K. Bieker, Automatica 149 (2023).
LibreCat
| DOI
| Download (ext.)
S. Peitz, K. Bieker, Automatica 149 (2023).
2023 | Journal Article | LibreCat-ID: 35428
Dimensioning and Lifetime Prediction Model for a Hybrid, Hydrogen-Based Household PV Energy System Using Matlab/Simulink
M.C. Möller, S. Krauter, Solar 3 (2023) 25–48.
LibreCat
| DOI
M.C. Möller, S. Krauter, Solar 3 (2023) 25–48.
2023 | Book (Editor) | LibreCat-ID: 37469
Practice-Oriented Research in Tertiary Mathematics Education
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, eds., Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
LibreCat
| DOI
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, eds., Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
2023 | Conference Paper | LibreCat-ID: 37553
Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
LibreCat
| DOI
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35426 |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Conference Paper | LibreCat-ID: 36848
Benchmark Fuzzing for Android Taint Analyses
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
LibreCat
| DOI
| Download (ext.)
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35427 |
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Journal Article | LibreCat-ID: 38280
Consistent Optical and Electrical Noise Figure
R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
LibreCat
| DOI
R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
2023 | Mastersthesis | LibreCat-ID: 40440
Updatable Privacy-Preserving Reputation System based on Blockchain
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
2023 | Book Chapter | LibreCat-ID: 40511
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat
| DOI
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
2023 | Journal Article | LibreCat-ID: 33947
Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
LibreCat
| DOI
| arXiv
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
2023 | Book | LibreCat-ID: 41369
Mechatronik und elektrische Antriebe / Mechatronics and electrical drives
J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.
LibreCat
| DOI
J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.
2023 | Conference Paper | LibreCat-ID: 41812
Model Generation For Java Frameworks
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
2023 | Conference Paper | LibreCat-ID: 41813
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
2023 | Journal Article | LibreCat-ID: 34402
End-User Development of Interactive Web-Based Virtual Reality Scenes
E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA) (2023).
LibreCat
E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA) (2023).
2023 | Conference Paper | LibreCat-ID: 33511
Enhancing Robot Programming through Digital Twin and Augmented Reality
E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
LibreCat
E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.
2023 | Conference Paper | LibreCat-ID: 34401
Towards Enhanced Guiding Mechanisms in VR Training through Process Mining
E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
LibreCat
E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
2023 | Conference Paper | LibreCat-ID: 34008
A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.
LibreCat
| DOI
| arXiv
J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.
2023 | Preprint | LibreCat-ID: 42160 |
Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs
S. Werner, S. Peitz, ArXiv:2302.07160 (2023).
LibreCat
| Download (ext.)
| arXiv
S. Werner, S. Peitz, ArXiv:2302.07160 (2023).
2023 | Journal Article | LibreCat-ID: 34814
A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus
M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.
LibreCat
| DOI
M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.
2023 | Conference Paper | LibreCat-ID: 31872
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.
LibreCat
| DOI
| arXiv
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.
2023 | Conference Paper | LibreCat-ID: 42804
Nonlinear S-Parameter Behavioral Model of a Photonic Radar Transceiver Chipset for Automotive Applications
S. Kruse, T. Schwabe, P. Kneuper, M.-M. Meinecke, H.G. Kurz, J.C. Scheytt, in: 2023.
LibreCat
| Files available
S. Kruse, T. Schwabe, P. Kneuper, M.-M. Meinecke, H.G. Kurz, J.C. Scheytt, in: 2023.
2023 | Journal Article | LibreCat-ID: 27426 |
On the structure of regularization paths for piecewise differentiable regularization terms
B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.
LibreCat
| DOI
| Download (ext.)
B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.
2023 | Journal Article | LibreCat-ID: 43018 |
Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength
S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy and Radiative Transfer 302 (2023).
LibreCat
| Files available
| DOI
S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy and Radiative Transfer 302 (2023).
2023 | Conference Paper | LibreCat-ID: 39359
LoRa Transceiver for Load Monitoring and Control System in Microgrids
I. Mwammenywa, D. Petrov, P. Holle, U. Hilleringmann, in: 2022 International Conference on Engineering and Emerging Technologies (ICEET), IEEE, 2023.
LibreCat
| DOI
I. Mwammenywa, D. Petrov, P. Holle, U. Hilleringmann, in: 2022 International Conference on Engineering and Emerging Technologies (ICEET), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 31849 |
Student Teachers ’ Knowledge of Congruence before a University Course on Geometry
M. Hoffmann, R. Biehler, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), University of Hannover and INDRUM., Hannover, 2023.
LibreCat
| Files available
| Download (ext.)
M. Hoffmann, R. Biehler, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), University of Hannover and INDRUM., Hannover, 2023.
2023 | Conference Paper | LibreCat-ID: 43097 |
Innovations in university teaching based on mathematic education research
I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, R. Martínez-Planell, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), Hannover, 2023.
LibreCat
| Files available
| Download (ext.)
I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, R. Martínez-Planell, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), Hannover, 2023.
2023 | Journal Article | LibreCat-ID: 43109
Beep-and-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.
LibreCat
| DOI
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.
2023 | Conference Paper | LibreCat-ID: 43424
Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review
E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
LibreCat
E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), Springer, 2023.
2023 | Conference Paper | LibreCat-ID: 43233
Investigation of change in dispersive behaviour during adhesive curing in multi-layered structures
H. Zeipert, C. von Germeten, O. Friesen, L. Claes, S. Johannesmann, B. Henning, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 819–822.
LibreCat
H. Zeipert, C. von Germeten, O. Friesen, L. Claes, S. Johannesmann, B. Henning, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 819–822.
2023 | Conference Paper | LibreCat-ID: 43229
Bestimmung der Volumenviskosität mittels akustischer Absorptionsmessung
L. Claes, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 7–14.
LibreCat
L. Claes, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 7–14.
2023 | Conference Paper | LibreCat-ID: 43234
Characterization of adhesion strength using guided ultrasonic waves
M. Nicolai, H. Zeipert, Y. Lugovtsova, J. Bulling, S. Johannesmann, J. Prager, B. Henning, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 823–826.
LibreCat
M. Nicolai, H. Zeipert, Y. Lugovtsova, J. Bulling, S. Johannesmann, J. Prager, B. Henning, in: Fortschritte Der Akustik - DAGA 2023, 2023, pp. 823–826.