|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kocijan, Vid ; Jang, Myeongjun ; Lukasiewicz, Thomas | Pre-training and diagnosing knowledge base completion models | Article Artikel  | Apr-2024 |
| 2 | | Fichte, Johannes K. ; Geibinger, Tobias ; Hecher, Markus ; Schlögel, Matthias | Parallel Empirical Evaluations: Resilience despite Concurrency | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 3 |  | Lanzinger, Matthias Paul ; Razgon, Igor | FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs | Inproceedings Konferenzbeitrag   | 11-Mar-2024 |
| 4 |  | Georgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura | Saturating Sorting without Sorts | Preprint Preprint | 6-Mar-2024 |
| 5 | | Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela | Fuzzing-based grammar learning from a minimal set of seed inputs | Article Artikel | Mar-2024 |
| 6 | | Tesi, Matteo | Constructive theories through a modal lens | Presentation Vortrag | 15-Feb-2024 |
| 7 |  | Gottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard | Fast parallel hypertree decompositions in logarithmic recursion depth | Article Artikel | Feb-2024 |
| 8 |  | Binucci, Carla ; Di Giacomo, Emilio ; Lenhart, William ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Nöllenburg, Martin ; Symvonis, Antonios | On the complexity of the storyplan problem | Article Artikel | Feb-2024 |
| 9 | | Tesi, Matteo | Subintuitionistic logics and their modal companions: a nested approach | Presentation Vortrag | 18-Jan-2024 |
| 10 |  | Nießen, Tobias ; Weissenbacher, Georg | Finding counterexamples to ∀∃ hyperproperties | Presentation Vortrag | 16-Jan-2024 |
| 11 | | Fermüller, Christian | Games in Logic | Presentation Vortrag | 15-Jan-2024 |
| 12 | | Dik, Josephine Femke | Permission in Deontic Logic: from Sanskrit Philosophy to AI | Presentation Vortrag | 15-Jan-2024 |
| 13 | | Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura | Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs | Article Artikel | 5-Jan-2024 |
| 14 | | Ekstein, Jan ; Fleischner, Herbert | The most general structure of graphs with hamiltonian or hamiltonian connected square | Article Artikel | 1-Jan-2024 |
| 15 | | Zhang, Jiaojiao ; Zhang, Shuo ; Shen, Xiaoqian ; Lukasiewicz, Thomas ; Xu, Zhenghua | Multi-ConDoS: Multimodal Contrastive Domain Sharing Generative Adversarial Networks for Self-Supervised Medical Image Segmentation | Article Artikel | Jan-2024 |
| 16 | | Xu, Zhenghua ; Yu, Zhoutao ; Zhang, Hexiang ; Chen, Junyang ; Gu, Junhua ; Lukasiewicz, Thomas ; Leung, Victor C. M. | PhaCIA-TCNs: Short-Term Load Forecasting Using Temporal Convolutional Networks With Parallel Hybrid Activated Convolution and Input Attention | Article Artikel | Jan-2024 |
| 17 |  | Eisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael | Embedding the Connection Calculus in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | Jan-2024 |
| 18 |  | Mahon, Louis ; Lukasiewicz, Thomas | Minimum description length clustering to measure meaningful image complexity | Article Artikel | Jan-2024 |
| 19 | | Clemens Heitzinger ; Stefan Woltran | A Short Introduction to Artificial Intelligence: Methods, Success Stories, and Current Limitations | Book Contribution Buchbeitrag | 2024 |
| 20 |  | Tran, Thanh Hai | Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms | Thesis Hochschulschrift | 2024 |
