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
@inproceedings{Karakaya_Bodden_2023, title={Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis}, DOI={10.1109/icst57152.2023.00036}, booktitle={2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}, publisher={IEEE}, author={Karakaya, Kadiray and Bodden, Eric}, 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 | Journal Article | LibreCat-ID: 59457
@article{Möller_Krauter_2023, title={Investigation of Different Load Characteristics, Component Dimensioning, and System Scaling for the Optimized Design of a Hybrid Hydrogen-Based PV Energy System}, volume={4}, DOI={10.3390/hydrogen4030028}, number={3}, journal={Hydrogen}, publisher={MDPI AG}, author={Möller, Marius Claus and Krauter, Stefan}, year={2023}, pages={408–433} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 39359
@inproceedings{Mwammenywa_Petrov_Holle_Hilleringmann_2023, title={LoRa Transceiver for Load Monitoring and Control System in Microgrids}, DOI={10.1109/iceet56468.2022.10007274}, booktitle={2022 International Conference on Engineering and Emerging Technologies (ICEET)}, publisher={IEEE}, author={Mwammenywa, Ibrahim and Petrov, Dmitry and Holle, Philipp and Hilleringmann, Ulrich}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 43051
@inproceedings{Farheen_Yan_Leuteritz_Qiao_Spreyer_Schlickriede_Quiring_Eigner_Silberhorn_Zentgraf_et al._2023, title={Tailoring the directive nature of optical waveguide antennas}, DOI={10.1117/12.2658921}, booktitle={Integrated Optics: Devices, Materials, and Technologies XXVII}, publisher={SPIE}, author={Farheen, Henna and Yan, Lok-Yee and Leuteritz, Till and Qiao, Siqi and Spreyer, Florian and Schlickriede, Christian and Quiring, Viktor and Eigner, Christof and Silberhorn, Christine and Zentgraf, Thomas and et al.}, editor={García-Blanco, Sonia M. and Cheben, Pavel}, year={2023}, pages={124241E} }
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 46155
@article{Bruns_Hagena_Gasteiger_2023, title={Professional Development Enacted by Facilitators in the Context of Early Mathematics Education: Scaling up or Dilution of Effects?}, volume={132}, DOI={10.1016/j.tate.2023.104270}, number={104270}, journal={Teaching and Teacher Education}, publisher={Elsevier BV}, author={Bruns, Julia and Hagena, Maike and Gasteiger, Hedwig}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 49111
@inproceedings{Ebbers_Haeb-Umbach_Serizel_2023, place={Tampere, Finland}, title={Post-Processing Independent Evaluation of Sound Event Detection Systems}, booktitle={Proceedings of the 8th Detection and Classification of Acoustic Scenes and Events 2023 Workshop (DCASE2023)}, author={Ebbers, Janek and Haeb-Umbach, Reinhold and Serizel, Romain}, year={2023}, pages={36–40} }
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 49318
@inproceedings{Tissen_Koldewey_Dumitrescu_2023, title={A process-model for tailoring prototyping of cyber-physical systems}, author={Tissen, Denis and Koldewey, Christian and Dumitrescu, Roman}, year={2023} }
LibreCat
2023 | Journal Article | LibreCat-ID: 47151 | 
@article{Winkelnkemper_Höper_Schulte_2023, title={ARIadne – An Explanation Model for Digital Artefacts}, DOI={10.15388/infedu.2024.09}, journal={Informatics in Education}, publisher={Vilnius University Press}, author={Winkelnkemper, Felix and Höper, Lukas and Schulte, Carsten}, year={2023} }
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 57098
@inproceedings{Seebauer_Kuhlmann_Häb-Umbach_Wagner_2023, title={DISCERNING DIMENSIONS OF QUALITY FOR STATE OF THE ART SYNTHETIC SPEECH}, booktitle={Proceedings of the 20th International Congress of Phonetic Sciences}, author={Seebauer, Fritz and Kuhlmann, Michael and Häb-Umbach, Reinhold and Wagner, Petra}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 57086
@inproceedings{Kuhlmann_Meise_Seebauer_Wagner_Häb-Umbach_2023, title={Investigating Speaker Embedding Disentanglement on Natural Read Speech}, booktitle={Speech Communication; 15th ITG Conference}, author={Kuhlmann, Michael and Meise, Adrian and Seebauer, Fritz and Wagner, Petra and Häb-Umbach, Reinhold}, year={2023}, pages={121–125} }
LibreCat
2023 | Patent | LibreCat-ID: 48622
@article{Kruse_Scheytt_Meinecke_Heiko Gustav_2023, title={Verfahren zum Betreiben einer elektrooptischen Übertragungsvorrichtung für beliebige Signale, Computerprogrammprodukt sowie Datenübertragungsvorrichtung}, author={Kruse, Stephan and Scheytt, J. Christoph and Meinecke, Marc-Michael and Heiko Gustav, Kurz}, year={2023} }
LibreCat
2023 | Patent | LibreCat-ID: 48625
@article{Kruse_Scheytt_2023, title={Elektrooptischer Balun und System zur Generierung eines pseudodifferentiellen Signals aufweisend einen solchen elektrooptischen Balun}, author={Kruse, Stephan and Scheytt, J. Christoph}, year={2023} }
LibreCat
2023 | Patent | LibreCat-ID: 48623
@article{Bahmanian_Scheytt_2023, title={Einstellbare Signalquelle mit kleinem Phasenrauschen}, author={Bahmanian, Meysam and Scheytt, J. Christoph}, year={2023} }
LibreCat
2023 | Book Chapter | LibreCat-ID: 46572
@inbook{Gusmita_Firmansyah_Moussallem_Ngonga Ngomo_2023, place={Cham}, title={IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran}, DOI={10.1007/978-3-031-35320-8_12}, booktitle={Natural Language Processing and Information Systems}, publisher={Springer Nature Switzerland}, author={Gusmita, Ria Hari and Firmansyah, Asep Fajar and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille}, year={2023} }
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 46575 |
@inproceedings{Baci_Heindorf_2023, title={Accelerating Concept Learning via Sampling}, DOI={10.1145/3583780.3615158}, booktitle={CIKM}, author={Baci, Alkid and Heindorf, Stefan}, year={2023}, pages={3733–3737} }
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 49890
@inproceedings{Lange_Hilleringmann_Hedayat_Kuhn_Förstner_2023, place={Genoa, Italy }, title={Characterization of Various Environmental Influences on the Inductive Localization}, DOI={10.1109/cama57522.2023.10352780}, booktitle={2023 IEEE Conference on Antenna Measurements and Applications (CAMA)}, publisher={IEEE}, author={Lange, Sven and Hilleringmann, Ulrich and Hedayat, Christian and Kuhn, Harald and Förstner, Jens}, year={2023} }
LibreCat
| DOI
| Download (ext.)
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 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ 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