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.

5720 Publications


2022 | Conference Paper | LibreCat-ID: 30971
Hansmeier T, Platzner M. Integrating Safety Guarantees into the Learning Classifier System XCS. In: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings. Vol 13224. Lecture Notes in Computer Science. Springer International Publishing; 2022:386-401. doi:10.1007/978-3-031-02462-7_25
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31060
Feldmann M, Padalkin A, Scheideler C, Dolev S. Coordinating Amoebots via Reconfigurable Circuits. J Comput Biol. 2022;29(4):317–343. doi: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. Computation on Encrypted Data Using Dataflow Authentication. ACM Transactions on Privacy and Security. 2022;25(3):1-36. doi:10.1145/3513005
LibreCat | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 31947
Hillebrandt H. Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen.; 2022.
LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 32311
Sharma A, Melnikov V, Hüllermeier E, Wehrheim H. Property-Driven Testing of Black-Box Functions. In: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE; 2022:113-123.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
Gottschalk S, Yigitbas E, Engels G. Model-driven Continuous Experimentation on Component-based Software Architectures . In: Proceedings of the 18th International Conference on Software Architecture Companion . IEEE; 2022. doi:10.1109/ICSA-C54293.2022.00011
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 32335
PODWORNY S, Hüsing S, SCHULTE C. A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING. STATISTICS EDUCATION RESEARCH JOURNAL. 2022;21(2). doi:10.52041/serj.v21i2.46
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29673 | OA
Klus S, Nüske F, Peitz S. Koopman analysis of quantum systems. Journal of Physics A: Mathematical and Theoretical. 2022;55(31):314002. doi: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. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite.; 2022. doi:10.48550/ARXIV.2204.06447
LibreCat | Files available | DOI
 

2022 | Dissertation | LibreCat-ID: 32414
Lass M. Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Universität Paderborn; 2022. doi:10.17619/UNIPB/1-1281
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall M, Schlichtig M, Bodden E. A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2022:532-543. doi:10.1145/3533767
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig M, Sassalla S, Narasimhan K, Bodden E. FUM - A Framework for API Usage constraint and Misuse Classification. In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2022:673-684. doi:https://doi.org/10.1109/SANER53432.2022.00085
LibreCat | Files available | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 32399
Vahle E. Modelling and Proving Security for a Secure MPC Protocol for Stable Matching.; 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 31847
Castenow J, Feldkord B, Knollmann T, Malatyali M, Meyer auf der Heide F. The k-Server with Preferences Problem. In: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2022:345-356. doi:10.1145/3490148.3538595
LibreCat | DOI | arXiv
 

2022 | Book Chapter | LibreCat-ID: 34023
Kirchhoff J, Engels G. Anti-pattern Detection in Process-Driven Decision Support Systems. In: Software Business. Vol 463. Lecture Notes in Business Information Processing. Springer International Publishing; 2022:227--243. doi:10.1007/978-3-031-20706-8_16
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 34040
Polevoy G, Dziubiński M. Fair, Individually Rational and Cheap Adjustment. In: De Raedt L, ed. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization; 2022. doi: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. Cardinality Constrained Scheduling in Online Models. In: Berenbrink P, Monmege B, eds. 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference). Vol 219. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:28:1–28:15. doi:10.4230/LIPIcs.STACS.2022.28
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 30840
Alshomary M, El Baff R, Gurcke T, Wachsmuth H. The Moral Debater: A Study on the Computational Generation of Morally Framed Arguments. In: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics. ; 2022:8782-8797.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33004
Wachsmuth H, Alshomary M. “Mama Always Had a Way of Explaining Things So I Could Understand”: A Dialogue Corpus for Learning How to Explain. In: Proceedings of the 29th International Conference on Computational Linguistics. ; 2022:344-354.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 34049
Lauscher A, Wachsmuth H, Gurevych I, Glavaš G. On the Role of Knowledge in  Computational Argumentation. Transactions of the Association for Computational Linguistics. Published online 2022.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed