|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 2 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag  | 26-Apr-2026 |
| 3 | | 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 |
| 4 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | Model Checking Probabilistic Operator Precedence Automata | Article Artikel | 2026 |
| 5 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel   | Dec-2025 |
| 6 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 7 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 8 | | Dik, Josephine Femke ; Pichler, Dominik | Navigating Permission and Exceptions: A First-Order Perspective | Inproceedings Konferenzbeitrag | Jun-2025 |
| 9 | | 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 |
| 10 | | Eiter, Thomas ; Geibinger, Tobias | A Sequent Calculus for Answer Set Entailment | Inproceedings Konferenzbeitrag | 2025 |
| 11 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 12 | | Lopez-Miguel, Ignacio D. ; Adam, Sebastian Philipp ; Bartocci, Ezio ; Eiter, Thomas ; Tappler, Martin | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents | Inproceedings Konferenzbeitrag | 2025 |
| 13 | | Geibinger, Tobias ; Saribatur, Zeynep G. ; Woltran, Stefan | A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs | Inproceedings Konferenzbeitrag | 2025 |
| 14 | | Buraglio, Giovanni ; Dvořák, Wolfgang ; Woltran, Stefan | On Strong Equivalence Notions in Logic Programming and Abstract Argumentation | Inproceedings Konferenzbeitrag | 2025 |
| 15 |  | Brechelmacher, Otto ; Ničković, Dejan ; Nießen, Tobias ; Sallinger, Sarah Sophie ; Weissenbacher, Georg | Differential Property Monitoring for Backdoor Detection | Inproceedings Konferenzbeitrag | 29-Nov-2024 |
| 16 | | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Finding ∀∃ Hyperbugs using Symbolic Execution | Article Artikel | 8-Oct-2024 |
| 17 | | Lopez-Miguel, Ignacio D. | Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement | Inproceedings Konferenzbeitrag | 21-May-2024 |
| 18 |  | Nießen, Tobias ; Weissenbacher, Georg | Finding counterexamples to ∀∃ hyperproperties | Presentation Vortrag | 16-Jan-2024 |
| 19 |  | Cabalar, Pedro ; Eiter, Thomas ; Soldà, Davide | Contracted Temporal Equilibrium Logic | Inproceedings Konferenzbeitrag | 2024 |
| 20 |  | Dik, Josephine Femke ; Markovich, Réka | Modeling Judicial Discretion with Nuanced Permissions | Inproceedings Konferenzbeitrag | 2024 |
