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.

5719 Publications


2023 | Preprint | LibreCat-ID: 43439
@article{Van Hirtum_De Causmaecker_Goemaere_Kenter_Riebler_Lass_Plessl_2023, title={A computation of D(9) using FPGA Supercomputing}, journal={arXiv:2304.03039}, author={Van Hirtum, Lennart and De Causmaecker, Patrick and Goemaere, Jens and Kenter, Tobias and Riebler, Heinrich and Lass, Michael and Plessl, Christian}, year={2023} }
LibreCat | arXiv
 

2023 | Conference Paper | LibreCat-ID: 48012
@inproceedings{Rossel_Mladenov_Somorovsky_2023, title={Security Analysis of the 3MF Data Format}, DOI={10.1145/3607199.3607216}, booktitle={Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses}, publisher={ACM}, author={Rossel, Jost and Mladenov, Vladislav and Somorovsky, Juraj}, year={2023} }
LibreCat | Files available | DOI | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 51159 | OA
@article{Amakor_Sonntag_Peitz_2023, title={A multiobjective continuation method to compute the regularization path of deep neural networks}, journal={arXiv}, author={Amakor, Augustina Chidinma and Sonntag, Konstantin and Peitz, Sebastian}, year={2023} }
LibreCat | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 51158 | OA
@article{Philipp_Schaller_Worthmann_Peitz_Nüske_2023, title={Error analysis of kernel EDMD for prediction and control in the Koopman  framework}, journal={arXiv:2312.10460}, author={Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl and Peitz, Sebastian and Nüske, Feliks}, year={2023} }
LibreCat | Download (ext.) | arXiv
 

2023 | Conference Paper | LibreCat-ID: 47049
@inproceedings{Helmert_Hardes_Yigitbas_2023, title={Design and Evaluation of an AR Voice-based Indoor UAV Assistant for Smart Home Scenarios}, booktitle={Proceedings of the ACM Symposium on Spatial User Interaction (SUI 2023)}, publisher={ACM}, author={Helmert, Robin and Hardes, Tobias and Yigitbas, Enes}, year={2023} }
LibreCat
 

2023 | Dissertation | LibreCat-ID: 51352 | OA
@book{Kirchhoff_2023, title={Decision Support Ecosystems: Assisted Low-Code Development of Tailored Decision Support Systems}, DOI={10.17619/UNIPB/1-1845}, publisher={Universität Paderborn}, author={Kirchhoff, Jonas}, year={2023} }
LibreCat | DOI | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 32447 | OA
@article{Sonntag_Peitz_2023, title={Fast Convergence of Inertial Multiobjective Gradient-like Systems with Asymptotic Vanishing Damping}, journal={arXiv:2307.00975}, author={Sonntag, Konstantin and Peitz, Sebastian}, year={2023} }
LibreCat | Download (ext.) | arXiv
 

2023 | Preprint | LibreCat-ID: 46578 | OA
@article{Bernreuther_Dellnitz_Gebken_Müller_Peitz_Sonntag_Volkwein_2023, title={Multiobjective Optimization of Non-Smooth PDE-Constrained Problems}, journal={arXiv:2308.01113}, author={Bernreuther, Marco and Dellnitz, Michael and Gebken, Bennet and Müller, Georg and Peitz, Sebastian and Sonntag, Konstantin and Volkwein, Stefan}, year={2023} }
LibreCat | Download (ext.) | arXiv
 

2023 | Conference Paper | LibreCat-ID: 44146
@inproceedings{Khedkar, title={Static Analysis for Android GDPR Compliance Assurance}, DOI={10.1109/ICSE-Companion58688.2023.00054}, booktitle={Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23)}, author={Khedkar, Mugdha} }
LibreCat | Files available | DOI | arXiv
 

2023 | Mastersthesis | LibreCat-ID: 52317
@book{Beckendorf_2023, title={Self-Stabilizing Skip-Graph with Growth-bounded Metric}, author={Beckendorf, Björn}, year={2023} }
LibreCat
 

2023 | Journal Article | LibreCat-ID: 46248 | OA
@article{Demir_Wiebesiek_Lu_Ngonga Ngomo_Heindorf_2023, title={LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals}, journal={ECML PKDD}, author={Demir, Caglar and Wiebesiek, Michel and Lu, Renzhong and Ngonga Ngomo, Axel-Cyrille and Heindorf, Stefan}, year={2023} }
LibreCat | Files available
 

2023 | Conference Paper | LibreCat-ID: 52369
@inproceedings{Fichtler_Grigoryan_Koldewey_Dumitrescu_2023, title={Towards a Data-Driven Product Management – Concepts, Advantages, and Future Research}, DOI={10.1109/ictmod59086.2023.10438135}, booktitle={2023 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD)}, publisher={IEEE}, author={Fichtler, Timm and Grigoryan, Khoren and Koldewey, Christian and Dumitrescu, Roman}, year={2023} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52530
@inproceedings{Prager_Trautmann_2023, title={Investigating the Viability of Existing Exploratory Landscape Analysis Features for Mixed-Integer Problems}, DOI={10.1145/3583133.3590757}, booktitle={Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023}, publisher={ACM}, author={Prager, Raphael Patrick and Trautmann, Heike}, editor={Silva, Sara and Paquete, Luís}, year={2023}, pages={451–454} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 48898
@inproceedings{Seiler_Rook_Heins_Preuß_Bossek_Trautmann, title={Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP}, DOI={10.1109/SSCI52147.2023.10372008}, booktitle={2023 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Seiler, Moritz Vinzent and Rook, Jeroen and Heins, Jonathan and Preuß, Oliver Ludger and Bossek, Jakob and Trautmann, Heike}, pages={361–368} }
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52662
@inbook{Nachtigall_Schlichtig_Bodden_2023, place={Bonn}, title={Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2023}, pages={95–96} }
LibreCat | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 52660
@inbook{Schlichtig_Sassalla_Narasimhan_Bodden_2023, place={Bonn}, title={Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2023}, pages={105–106} }
LibreCat | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ 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
 

2023 | Journal Article | LibreCat-ID: 52861
@article{Gil_Patrizi_Perelli_Turhan_2023, title={Optimal Alignment of Temporal Knowledge Bases}, volume={abs/2307.15439}, DOI={10.48550/ARXIV.2307.15439}, journal={CoRR}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, year={2023} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52863
@inproceedings{Ŝkvorc_Eftimov_Koro]ec_2023, title={Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization}, DOI={10.1109/ssci52147.2023.10371868}, booktitle={2023 IEEE Symposium Series on Computational Intelligence (SSCI)}, publisher={IEEE}, author={Ŝkvorc, Urban and Eftimov, Tome and Koro]ec, Peter}, year={2023} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52913
@inproceedings{Turhan_2023, series={CEUR Workshop Proceedings}, title={Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)}, volume={3515}, booktitle={Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin}, editor={Kutz, Oliver and Lutz, Carsten and Ozaki, Ana}, year={2023}, collection={CEUR Workshop Proceedings} }
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed