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.
10483 Publications
2023 | Conference Paper | LibreCat-ID: 59412
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.
LibreCat
| DOI
K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.
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 | Journal Article | LibreCat-ID: 59457
Investigation of Different Load Characteristics, Component Dimensioning, and System Scaling for the Optimized Design of a Hybrid Hydrogen-Based PV Energy System
M.C. Möller, S. Krauter, Hydrogen 4 (2023) 408–433.
LibreCat
| DOI
M.C. Möller, S. Krauter, Hydrogen 4 (2023) 408–433.
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: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
LibreCat
| Files available
I. Garnelo Abellanas, M. Liebendörfer, in: 2023.
2023 | Conference Paper | LibreCat-ID: 43051
Tailoring the directive nature of optical waveguide antennas
H. Farheen, L.-Y. Yan, T. Leuteritz, S. Qiao, F. Spreyer, C. Schlickriede, V. Quiring, C. Eigner, C. Silberhorn, T. Zentgraf, S. Linden, V. Myroshnychenko, J. Förstner, in: S.M. García-Blanco, P. Cheben (Eds.), Integrated Optics: Devices, Materials, and Technologies XXVII, SPIE, 2023, p. 124241E.
LibreCat
| Files available
| DOI
H. Farheen, L.-Y. Yan, T. Leuteritz, S. Qiao, F. Spreyer, C. Schlickriede, V. Quiring, C. Eigner, C. Silberhorn, T. Zentgraf, S. Linden, V. Myroshnychenko, J. Förstner, in: S.M. García-Blanco, P. Cheben (Eds.), Integrated Optics: Devices, Materials, and Technologies XXVII, SPIE, 2023, p. 124241E.
2023 | Journal Article | LibreCat-ID: 46155
Professional Development Enacted by Facilitators in the Context of Early Mathematics Education: Scaling up or Dilution of Effects?
J. Bruns, M. Hagena, H. Gasteiger, Teaching and Teacher Education 132 (2023).
LibreCat
| DOI
J. Bruns, M. Hagena, H. Gasteiger, Teaching and Teacher Education 132 (2023).
2023 | Conference Paper | LibreCat-ID: 49111
Post-Processing Independent Evaluation of Sound Event Detection Systems
J. Ebbers, R. Haeb-Umbach, R. Serizel, in: Proceedings of the 8th Detection and Classification of Acoustic Scenes and Events 2023 Workshop (DCASE2023), Tampere, Finland, 2023, pp. 36–40.
LibreCat
| Files available
J. Ebbers, R. Haeb-Umbach, R. Serizel, in: Proceedings of the 8th Detection and Classification of Acoustic Scenes and Events 2023 Workshop (DCASE2023), Tampere, Finland, 2023, pp. 36–40.
2023 | Conference Paper | LibreCat-ID: 49318
A process-model for tailoring prototyping of cyber-physical systems
D. Tissen, C. Koldewey, R. Dumitrescu, in: 2023.
LibreCat
D. Tissen, C. Koldewey, R. Dumitrescu, in: 2023.
2023 | Journal Article | LibreCat-ID: 47151 | 
ARIadne – An Explanation Model for Digital Artefacts
F. Winkelnkemper, L. Höper, C. Schulte, Informatics in Education (2023).
LibreCat
| Files available
| DOI
| Download (ext.)
F. Winkelnkemper, L. Höper, C. Schulte, Informatics in Education (2023).
2023 | Conference Paper | LibreCat-ID: 57098
DISCERNING DIMENSIONS OF QUALITY FOR STATE OF THE ART SYNTHETIC SPEECH
F. Seebauer, M. Kuhlmann, R. Häb-Umbach, P. Wagner, in: Proceedings of the 20th International Congress of Phonetic Sciences, 2023.
LibreCat
F. Seebauer, M. Kuhlmann, R. Häb-Umbach, P. Wagner, in: Proceedings of the 20th International Congress of Phonetic Sciences, 2023.
2023 | Conference Paper | LibreCat-ID: 57086
Investigating Speaker Embedding Disentanglement on Natural Read Speech
M. Kuhlmann, A. Meise, F. Seebauer, P. Wagner, R. Häb-Umbach, in: Speech Communication; 15th ITG Conference, 2023, pp. 121–125.
LibreCat
M. Kuhlmann, A. Meise, F. Seebauer, P. Wagner, R. Häb-Umbach, in: Speech Communication; 15th ITG Conference, 2023, pp. 121–125.
2023 | Patent | LibreCat-ID: 48622
Verfahren zum Betreiben einer elektrooptischen Übertragungsvorrichtung für beliebige Signale, Computerprogrammprodukt sowie Datenübertragungsvorrichtung
S. Kruse, J.C. Scheytt, M.-M. Meinecke, K. Heiko Gustav, (2023).
LibreCat
S. Kruse, J.C. Scheytt, M.-M. Meinecke, K. Heiko Gustav, (2023).
2023 | Patent | LibreCat-ID: 48625
Elektrooptischer Balun und System zur Generierung eines pseudodifferentiellen Signals aufweisend einen solchen elektrooptischen Balun
S. Kruse, J.C. Scheytt, (2023).
LibreCat
S. Kruse, J.C. Scheytt, (2023).
2023 | Patent | LibreCat-ID: 48623
Einstellbare Signalquelle mit kleinem Phasenrauschen
M. Bahmanian, J.C. Scheytt, (2023).
LibreCat
M. Bahmanian, J.C. Scheytt, (2023).
2023 | Book Chapter | LibreCat-ID: 46572
IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran
R.H. Gusmita, A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
LibreCat
| Files available
| DOI
R.H. Gusmita, A.F. Firmansyah, D. Moussallem, A.-C. Ngonga Ngomo, in: Natural Language Processing and Information Systems, Springer Nature Switzerland, Cham, 2023.
2023 | Conference Paper | LibreCat-ID: 46575 |
Accelerating Concept Learning via Sampling
A. Baci, S. Heindorf, in: CIKM, 2023, pp. 3733–3737.
LibreCat
| Files available
| DOI
A. Baci, S. Heindorf, in: CIKM, 2023, pp. 3733–3737.
2023 | Conference Paper | LibreCat-ID: 49890
Characterization of Various Environmental Influences on the Inductive Localization
S. Lange, U. Hilleringmann, C. Hedayat, H. Kuhn, J. Förstner, in: 2023 IEEE Conference on Antenna Measurements and Applications (CAMA), IEEE, Genoa, Italy , 2023.
LibreCat
| DOI
| Download (ext.)
S. Lange, U. Hilleringmann, C. Hedayat, H. Kuhn, J. Förstner, in: 2023 IEEE Conference on Antenna Measurements and Applications (CAMA), IEEE, Genoa, Italy , 2023.
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 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.