|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Tran, Thanh Hai | Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms | Thesis Hochschulschrift   | 2024 |
| 2 |  | Kiesel, Rafael Peter David | Streaming and Quantitative Extensions of Answer Set Programming | Thesis Hochschulschrift | 2024 |
| 3 |  | Zeier, Yannik | Identifying Frameworks in Android Applications using Binary Code Function Similarity | Thesis Hochschulschrift | 2024 |
| 4 |  | Voboril, Florentina | SAT-based Local Improvement for the Closest String Problem | Thesis Hochschulschrift | 2024 |
| 5 |  | Unterberger, Daniel | Turning FPT Decision Methods into Enumeration Algorithms with FPT-Delay | Thesis Hochschulschrift | 2024 |
| 6 | | Berthe, Gaétan ; Codert-Osman, Yoann ; Dobler, Alexander ; Morelle, Laure ; Reinald, Amadeus ; Rocton, Mathis | PACE Solver Description: Touiouidth | Inproceedings Konferenzbeitrag  | 13-Dec-2023 |
| 7 | | Ganian, Robert ; Hamm, Thekla ; Knop, Dušan ; Schierreich, Šimon ; Suchý, Ondřej | Hedonic diversity games: A complexity picture with more than two colors | Article Artikel | Dec-2023 |
| 8 | | Sharma, Yashovardhan ; Giunchiglia, Eleonora ; Birnbach, Simon ; Martinovic, Ivan | To TTP or not to TTP?: Exploiting TTPs to Improve ML-based Malware Detection | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 9 |  | Yu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo | Towards Compositional Hardware Model Checking Certification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 10 | | Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang | Lemmas: Generation, Selection, Application | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 11 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 12 | | Ganian, Robert ; Hamm, Thekla ; Knop, Dusan ; Roy, Sanjukta ; Schierreich, Šimon ; Suchý, Ondřej | Maximizing Social Welfare in Score-Based Social Distance Games | Inproceedings Konferenzbeitrag | 11-Jul-2023 |
| 13 | | Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James | Positivity Problems for Reversible Linear Recurrence Sequences | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 14 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag | Jul-2023 |
| 15 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | On the parameterized complexity of clustering problems for incomplete data | Article Artikel | Jun-2023 |
| 16 | | Fermüller, Christian | From Producer-Consumer Games to Substructural Calculi | Presentation Vortrag | 24-May-2023 |
| 17 | | Garigliotti, Darío ; Balog, Krisztian ; Hose, Katja ; Bjerva, Johannes | Recommending tasks based on search queries and missions | Article Artikel | 17-May-2023 |
| 18 | | Ciabattoni, Agata | Normative reasoning: From Sanskrit philosophy to AI | Presentation Vortrag | 16-May-2023 |
| 19 | | Ganian, Robert ; Ordyniak, Sebastian ; Rahul, C. S. | Group Activity Selection with Few Agent Types | Article Artikel | May-2023 |
| 20 | | Galárraga, Luis ; Hernández, Daniel ; Katim, Anas ; Hose, Katja | Visualizing How-Provenance Explanations for SPARQL Queries | Inproceedings Konferenzbeitrag | Apr-2023 |
