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.

5792 Publications


2022 | Bachelorsthesis | LibreCat-ID: 30198
@book{Korzeczek_2022, title={Aufarbeitung und lmplementierung von DAG-Rider}, author={Korzeczek, Sebastian}, year={2022} }
LibreCat
 

2022 | Mastersthesis | LibreCat-ID: 30199
@book{Nachtigall_2022, title={Hybrid Routing in Three Dimensions}, author={Nachtigall, Marcel}, year={2022} }
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 30236 | OA
@inproceedings{Schneider_Werner_Khalili_Hecker_Karl_2022, title={mobile-env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks}, booktitle={IEEE/IFIP Network Operations and Management Symposium (NOMS)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Werner, Stefan and Khalili, Ramin and Hecker, Artur and Karl, Holger}, year={2022} }
LibreCat | Files available
 

2022 | Book Chapter | LibreCat-ID: 16296 | OA
@inbook{Banholzer_Gebken_Dellnitz_Peitz_Volkwein_2022, place={Cham}, title={ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation}, DOI={10.1007/978-3-030-79393-7_3}, booktitle={Non-Smooth and Complementarity-Based Distributed Parameter Systems}, publisher={Springer}, author={Banholzer, Stefan and Gebken, Bennet and Dellnitz, Michael and Peitz, Sebastian and Volkwein, Stefan}, editor={Michael, Hintermüller and Roland, Herzog and Christian, Kanzow and Michael, Ulbrich and Stefan, Ulbrich}, year={2022}, pages={43–76} }
LibreCat | DOI | Download (ext.)
 

2022 | Book Chapter | LibreCat-ID: 30294
@inbook{Peitz_Dellnitz_Bannenberg_2022, place={Cham}, series={Mathematics in Industry}, title={Efficient Virtual Design and Testing of Autonomous Vehicles}, volume={35}, DOI={10.1007/978-3-030-81455-7_23}, booktitle={German Success Stories in Industrial Mathematics}, publisher={Springer International Publishing}, author={Peitz, Sebastian and Dellnitz, Michael and Bannenberg, Sebastian}, editor={Bock, H. G. and Küfer, K.-H. and Maas, P. and Milde, A. and Schulz, V.}, year={2022}, collection={Mathematics in Industry} }
LibreCat | DOI
 

2022 | Preprint | LibreCat-ID: 30868
@article{Schede_Brandt_Tornede_Wever_Bengs_Hüllermeier_Tierney_2022, title={A Survey of Methods for Automated Algorithm Configuration}, journal={arXiv:2202.01651}, author={Schede, Elias and Brandt, Jasmin and Tornede, Alexander and Wever, Marcel Dominik and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin}, year={2022} }
LibreCat | arXiv
 

2022 | Book Chapter | LibreCat-ID: 29928 | OA
@inbook{Yigitbas_Sauer_Engels_2022, title={Self-Adaptive Digital Assistance Systems for Work 4.0}, booktitle={Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective}, publisher={Springer-Vieweg}, author={Yigitbas, Enes and Sauer, Stefan and Engels, Gregor}, editor={Vogel-Heuser, Birgit and Wimmer, Manuel}, year={2022} }
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 30971
@inproceedings{Hansmeier_Platzner_2022, series={Lecture Notes in Computer Science}, title={Integrating Safety Guarantees into the Learning Classifier System XCS}, volume={13224}, DOI={10.1007/978-3-031-02462-7_25}, booktitle={Applications of Evolutionary Computation, EvoApplications 2022, Proceedings}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco}, year={2022}, pages={386–401}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31060
@article{Feldmann_Padalkin_Scheideler_Dolev_2022, title={Coordinating Amoebots via Reconfigurable Circuits}, volume={29}, DOI={10.1089/cmb.2021.0363}, number={4}, journal={J. Comput. Biol.}, author={Feldmann, Michael and Padalkin, Andreas and Scheideler, Christian and Dolev, Shlomi}, year={2022}, pages={317–343} }
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31844
@article{Fischer_Fuhry_Kußmaul_Janneck_Kerschbaum_Bodden_2022, title={Computation on Encrypted Data Using Dataflow Authentication}, volume={25}, DOI={10.1145/3513005}, number={3}, journal={ACM Transactions on Privacy and Security}, publisher={Association for Computing Machinery (ACM)}, author={Fischer, Andreas and Fuhry, Benny and Kußmaul, Jörn and Janneck, Jonas and Kerschbaum, Florian and Bodden, Eric}, year={2022}, pages={1–36} }
LibreCat | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 31947
@book{Hillebrandt_2022, title={Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen}, author={Hillebrandt, Henning}, year={2022} }
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 32311
@inproceedings{Sharma_Melnikov_Hüllermeier_Wehrheim_2022, title={Property-Driven Testing of Black-Box Functions}, booktitle={Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)}, publisher={IEEE}, author={Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike}, year={2022}, pages={113–123} }
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
@inproceedings{Gottschalk_Yigitbas_Engels_2022, title={Model-driven Continuous Experimentation on Component-based Software Architectures }, DOI={10.1109/ICSA-C54293.2022.00011}, booktitle={Proceedings of the 18th International Conference on Software Architecture Companion }, publisher={IEEE}, author={Gottschalk, Sebastian and Yigitbas, Enes and Engels, Gregor}, year={2022} }
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 32335
@article{PODWORNY_Hüsing_SCHULTE_2022, title={A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING}, volume={21}, DOI={10.52041/serj.v21i2.46}, number={26}, journal={STATISTICS EDUCATION RESEARCH JOURNAL}, publisher={International Association for Statistical Education}, author={PODWORNY, SUSANNE and Hüsing, Sven and SCHULTE, CARSTEN}, year={2022} }
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29673 | OA
@article{Klus_Nüske_Peitz_2022, title={Koopman analysis of quantum systems}, volume={55}, DOI={10.1088/1751-8121/ac7d22}, number={31}, journal={Journal of Physics A: Mathematical and Theoretical}, publisher={IOP Publishing Ltd.}, author={Klus, Stefan and Nüske, Feliks and Peitz, Sebastian}, year={2022}, pages={314002} }
LibreCat | DOI | Download (ext.) | arXiv
 

2022 | Misc | LibreCat-ID: 32409
@book{Schlichtig_Wickert_Krüger_Bodden_Mezini_2022, title={CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite}, DOI={10.48550/ARXIV.2204.06447}, author={Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira}, year={2022} }
LibreCat | Files available | DOI
 

2022 | Dissertation | LibreCat-ID: 32414
@book{Lass_2022, place={Paderborn}, title={Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations}, DOI={10.17619/UNIPB/1-1281}, publisher={Universität Paderborn}, author={Lass, Michael}, year={2022} }
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32410
@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 31133
@inproceedings{Schlichtig_Sassalla_Narasimhan_Bodden_2022, title={FUM - A Framework for API Usage constraint and Misuse Classification}, DOI={https://doi.org/10.1109/SANER53432.2022.00085}, booktitle={2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2022}, pages={673–684} }
LibreCat | Files available | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 32399
@book{Vahle_2022, title={Modelling and Proving Security for a Secure MPC Protocol for Stable Matching}, author={Vahle, Ella}, year={2022} }
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed