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.
5693 Publications
2022 | Conference Paper | LibreCat-ID: 29380
Meyer, M., Wiederkehr, I., Panzner, M., Koldewey, C., & Dumitrescu, R. (2022). A Reference Process Model for Usage Data-Driven Product Planning. Proceedings of the 55th Hawaii International Conference on System Sciences, 6105–6114.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29927
Yigitbas, E., Karakaya, K., Jovanovikj, I., & Engels, G. (2022). Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces. In L. Grunske, J. Siegmund, & A. Vogelsang (Eds.), Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell: Vol. {P-320} (pp. 95–96). Gesellschaft für Informatik e.V. https://doi.org/10.18420/se2022-ws-033
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29926
Yigitbas, E., Gorissen, S., Weidmann, N., & Engels, G. (2022). Collaborative Software Modeling in Virtual Reality. In L. Grunske, J. Siegmund, & A. Vogelsang (Eds.), Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell: Vol. {P-320} (pp. 93–94). Gesellschaft für Informatik e.V. https://doi.org/10.18420/se2022-ws-032
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29945
Witschen, L. M., Wiersema, T., Reuter, L. D., & Platzner, M. (n.d.). Search Space Characterization for Approximate Logic Synthesis . 2022 59th ACM/IEEE Design Automation Conference (DAC). 2022 59th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29865
Witschen, L. M., Wiersema, T., Artmann, M., & Platzner, M. (n.d.). MUSCAT: MUS-based Circuit Approximation Technique. Design, Automation and Test in Europe (DATE). Design, Automation and Test in Europe (DATE), Online.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 30152
Roopa, R. (2022). Evaluation of Algorithms for the Node Capacitated Clique.
LibreCat
2022 | Bachelorsthesis | LibreCat-ID: 30198
Korzeczek, S. (2022). Aufarbeitung und lmplementierung von DAG-Rider.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 30199
Nachtigall, M. (2022). Hybrid Routing in Three Dimensions.
LibreCat
2022 | Conference Paper | LibreCat-ID: 30236 | 
Schneider, S. B., Werner, S., Khalili, R., Hecker, A., & Karl, H. (2022). mobile-env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks. IEEE/IFIP Network Operations and Management Symposium (NOMS). IEEE/IFIP Network Operations and Management Symposium (NOMS), Budapest.
LibreCat
| Files available
2022 | Book Chapter | LibreCat-ID: 16296 |
Banholzer, S., Gebken, B., Dellnitz, M., Peitz, S., & Volkwein, S. (2022). ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation. In H. Michael, H. Roland, K. Christian, U. Michael, & U. Stefan (Eds.), Non-Smooth and Complementarity-Based Distributed Parameter Systems (pp. 43–76). Springer. https://doi.org/10.1007/978-3-030-79393-7_3
LibreCat
| DOI
| Download (ext.)
2022 | Book Chapter | LibreCat-ID: 30294
Peitz, S., Dellnitz, M., & Bannenberg, S. (2022). Efficient Virtual Design and Testing of Autonomous Vehicles. In H. G. Bock, K.-H. Küfer, P. Maas, A. Milde, & V. Schulz (Eds.), German Success Stories in Industrial Mathematics (Vol. 35). Springer International Publishing. https://doi.org/10.1007/978-3-030-81455-7_23
LibreCat
| DOI
2022 | Book Chapter | LibreCat-ID: 29928 |
Yigitbas, E., Sauer, S., & Engels, G. (2022). Self-Adaptive Digital Assistance Systems for Work 4.0. In B. Vogel-Heuser & M. Wimmer (Eds.), Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective. Springer-Vieweg.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier, T., & Platzner, M. (2022). Integrating Safety Guarantees into the Learning Classifier System XCS. Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, 13224, 386–401. https://doi.org/10.1007/978-3-031-02462-7_25
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31060
Feldmann, M., Padalkin, A., Scheideler, C., & Dolev, S. (2022). Coordinating Amoebots via Reconfigurable Circuits. J. Comput. Biol., 29(4), 317–343. https://doi.org/10.1089/cmb.2021.0363
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31844
Fischer, A., Fuhry, B., Kußmaul, J., Janneck, J., Kerschbaum, F., & Bodden, E. (2022). Computation on Encrypted Data Using Dataflow Authentication. ACM Transactions on Privacy and Security, 25(3), 1–36. https://doi.org/10.1145/3513005
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 31947
Hillebrandt, H. (2022). Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 32311
Sharma, A., Melnikov, V., Hüllermeier, E., & Wehrheim, H. (2022). Property-Driven Testing of Black-Box Functions. Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–123.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29842 |
Gottschalk, S., Yigitbas, E., & Engels, G. (2022). Model-driven Continuous Experimentation on Component-based Software Architectures . Proceedings of the 18th International Conference on Software Architecture Companion . 18th International Conference on Software Architecture , Hawaii. https://doi.org/10.1109/ICSA-C54293.2022.00011
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 32335
PODWORNY, S., Hüsing, S., & SCHULTE, C. (2022). A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING. STATISTICS EDUCATION RESEARCH JOURNAL, 21(2), Article 6. https://doi.org/10.52041/serj.v21i2.46
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29673 |
Klus, S., Nüske, F., & Peitz, S. (2022). Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical, 55(31), 314002. https://doi.org/10.1088/1751-8121/ac7d22
LibreCat
| DOI
| Download (ext.)
| arXiv
2022 | Misc | LibreCat-ID: 32409
Schlichtig, M., Wickert, A.-K., Krüger, S., Bodden, E., & Mezini, M. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. https://doi.org/10.48550/ARXIV.2204.06447
LibreCat
| Files available
| DOI
2022 | Dissertation | LibreCat-ID: 32414
Lass, M. (2022). Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-1281
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, M., Schlichtig, M., & Bodden, E. (2022). A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 532–543. https://doi.org/10.1145/3533767
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684. https://doi.org/10.1109/SANER53432.2022.00085
LibreCat
| Files available
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle, E. (2022). Modelling and Proving Security for a Secure MPC Protocol for Stable Matching.
LibreCat
2022 | Conference Paper | LibreCat-ID: 31847
Castenow, J., Feldkord, B., Knollmann, T., Malatyali, M., & Meyer auf der Heide, F. (2022). The k-Server with Preferences Problem. Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, 345–356. https://doi.org/10.1145/3490148.3538595
LibreCat
| DOI
| arXiv
2022 | Book Chapter | LibreCat-ID: 34023
Kirchhoff, J., & Engels, G. (2022). Anti-pattern Detection in Process-Driven Decision Support Systems. In Software Business (Vol. 463, pp. 227--243). Springer International Publishing. https://doi.org/10.1007/978-3-031-20706-8_16
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34040
Polevoy, G., & Dziubiński, M. (2022). Fair, Individually Rational and Cheap Adjustment. In L. De Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2022/64
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 33085
Epstein, L., Lassota, A., Levin, A., Maack, M., & Rohwedder, L. (2022). Cardinality Constrained Scheduling in Online Models. In P. Berenbrink & B. Monmege (Eds.), 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference) (Vol. 219, p. 28:1–28:15). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2022.28
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 30840
Alshomary, M., El Baff, R., Gurcke, T., & Wachsmuth, H. (2022). The Moral Debater: A Study on the Computational Generation of Morally Framed Arguments. Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 8782–8797.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33004
Wachsmuth, H., & Alshomary, M. (2022). “Mama Always Had a Way of Explaining Things So I Could Understand”: A Dialogue Corpus for Learning How to Explain. Proceedings of the 29th International Conference on Computational Linguistics, 344–354.
LibreCat
2022 | Journal Article | LibreCat-ID: 34049
Lauscher, A., Wachsmuth, H., Gurevych, I., & Glavaš, G. (2022). On the Role of Knowledge in Computational Argumentation. Transactions of the Association for Computational Linguistics.
LibreCat
2022 | Conference Paper | LibreCat-ID: 22157
Kiesel, J., Alshomary, M., Handke, N., Cai, X., Wachsmuth, H., & Stein, B. (2022). Identifying the Human Values behind Arguments. Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 4459–4471.
LibreCat
2022 | Conference Paper | LibreCat-ID: 34057
Pasic, F., & Becker, M. (2022). Domain-specific Language for Condition Monitoring Software Development. 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). https://doi.org/10.1109/etfa52439.2022.9921730
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34047
Spliethöver, M., Keiff, M., & Wachsmuth, H. (2022). No Word Embedding Model Is Perfect: Evaluating the Representation Accuracy for Social Bias in the Media. Proceedings of The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022). The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), Abu Dhabi.
LibreCat
| arXiv
2022 | Conference Paper | LibreCat-ID: 34067
Sengupta, M., Alshomary, M., & Wachsmuth, H. (2022). Back to the Roots: Predicting the Source Domain of Metaphors using Contrastive Learning. Proceedings of the 2022 Workshop on Figurative Language Processing.
LibreCat
2022 | Book Chapter | LibreCat-ID: 34077
Bondarenko, A., Fröbe, M., Kiesel, J., Syed, S., Gurcke, T., Beloucif, M., Panchenko, A., Biemann, C., Stein, B., Wachsmuth, H., Potthast, M., & Hagen, M. (2022). Overview of Touché 2022: Argument Retrieval. In Lecture Notes in Computer Science. Springer International Publishing. https://doi.org/10.1007/978-3-030-99739-7_43
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32602
Padalkin, A., Scheideler, C., & Warner, D. (2022). The Structural Power of Reconfigurable Circuits in the Amoebot Model. In T. E. Ouldridge & S. F. J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28) (Vol. 238, p. 8:1–8:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DNA.28.8
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32603
Kostitsyna, I., Scheideler, C., & Warner, D. (2022). Fault-Tolerant Shape Formation in the Amoebot Model. In T. E. Ouldridge & S. F. J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28) (Vol. 238, p. 9:1–9:22). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DNA.28.9
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., & Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35. https://doi.org/10.1007/s10515-022-00333-1
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32811
Redder, A., Ramaswamy, A., & Karl, H. (2022). Age of Information Process under Strongly Mixing Communication -- Moment Bound, Mixing Rate and Strong Law. Proceedings of the 58th Allerton Conference on Communication, Control, and Computing. 58th Allerton Conference on Communication, Control, and Computing.
LibreCat
2022 | Conference Paper | LibreCat-ID: 30793
Redder, A., Ramaswamy, A., & Karl, H. (2022). Multi-agent Policy Gradient Algorithms for Cyber-physical Systems with Lossy Communication. Proceedings of the 14th International Conference on Agents and Artificial Intelligence. https://doi.org/10.5220/0010845400003116
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32855
Clausing, L., & Platzner, M. (2022). ReconOS64: A Hardware Operating System for Modern Platform FPGAs with 64-Bit Support. 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 120–127. https://doi.org/10.1109/ipdpsw55747.2022.00029
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32590
Richter, C., & Wehrheim, H. (2022). Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–173. https://doi.org/10.1109/ICST53961.2022.00027
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32591
Richter, C., & Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs at massive scale. 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–422. https://doi.org/10.1145/3524842.3528505
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32398
Siek, H. (2022). Bringing Structure to Structure-Preserving Signatures: Overview, Implementation and Comparison of Selected SPS Schemes.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 31485
Kramer, P. (2022). On Transforming Lattice-Based Cryptography to the Ring Setting.
LibreCat