|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics: Extended Abstract | Presentation Vortrag | 8-Sep-2026 |
| 2 |  | Buraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas | Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results | Inproceedings Konferenzbeitrag    | 16-Aug-2026 |
| 3 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 4 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 5 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag | 26-Apr-2026 |
| 6 | | Oudshoorn, Anouk ; Ortiz, Magdalena ; Šimkus, Mantas | SHACL validation in the presence of ontologies: Semantics and rewriting techniques | Article Artikel | Mar-2026 |
| 7 |  | Collevati, Michele ; Eiter, Thomas ; Higuera, Nelson | Leveraging Neurosymbolic AI for Slice Discovery | Article Artikel | Mar-2026 |
| 8 |  | Kovács, Laura | Moments in Time: Algebraic Analysis for Solvable Loops | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 9 |  | El Manssour, Rida Ait ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton ; Worrell, James | Determination Problems for Orbit Closures and Matrix Groups | Inproceedings Konferenzbeitrag | 8-Jan-2026 |
| 10 | | Kolluri, Aashish ; Sharma, Rishi ; Costa, Manuel ; Köpf, Boris ; Nießen, Tobias ; Russinovich, Mark ; Tople, Shruti ; Zanella Béguelin, Santiago | Optimizing Agent Planning for Security and Autonomy | Inproceedings Konferenzbeitrag | 2026 |
| 11 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | Model Checking Probabilistic Operator Precedence Automata | Article Artikel | 2026 |
| 12 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel | Dec-2025 |
| 13 | | Cabalar, Pedro ; Eiter, Thomas ; Pearce, David ; Soldà, Davide | Brief Temporal Equilibrium Logic | Presentation Vortrag | 25-Nov-2025 |
| 14 | | Adam, Sebastian ; Eiter, Thomas | Incremental Lazy Grounding (Work in Progress) | Presentation Vortrag | Nov-2025 |
| 15 | | Eiter, Thomas ; Soldà, Davide | On Temporal ASP with Eager Unfoldable Operators | Inproceedings Konferenzbeitrag | Aug-2025 |
| 16 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 17 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 18 | | Dik, Josephine Femke ; Pichler, Dominik | Navigating Permission and Exceptions: A First-Order Perspective | Inproceedings Konferenzbeitrag | Jun-2025 |
| 19 | | Foucaud, Florent ; Galby, Esther ; Khazaliya, Liana ; Li, Shaohua ; Mc Inerney, Fionn ; Sharma, Roohani ; Tale, Prafullkumar | Metric Dimension and Geodetic Set Parameterized by Vertex Cover | Inproceedings Konferenzbeitrag | 24-Feb-2025 |
| 20 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
