|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes | Answer-Set-Programming-based Abstractions for Reinforcement Learning | Presentation Vortrag | 24-Nov-2026 |
| 2 |  | Calzavara, Stefano ; Casarin, Samuele ; Squarcina, Marco ; Maffei, Matteo | From Syntactic Matching to Taint Tracking and Back: A Comparative Study of Web Tracking Detection Techniques | Inproceedings Konferenzbeitrag    | Oct-2026 |
| 3 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics: Extended Abstract | Presentation Vortrag | 8-Sep-2026 |
| 4 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel | Sep-2026 |
| 5 |  | Alviano, Mario ; Dodaro, Carmine ; Eiter, Thomas ; Geibinger, Tobias ; Vasile, Ilaria R. | Extending Structured Declarative Language with Constraint Programming via MiniZinc | Inproceedings Konferenzbeitrag | 24-Aug-2026 |
| 6 |  | Buraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas | Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 7 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 8 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Shapes from Examples: Foundations of Shape Learning in Recursive SHACL | Preprint Preprint | 30-Jul-2026 |
| 9 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Reaching for the Stars in EL* Concept Learning | Inproceedings Konferenzbeitrag | 25-Jul-2026 |
| 10 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 11 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 12 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 13 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 14 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 15 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 16 |  | Kovács, Laura | SAT in Saturation: A Satisfied Match | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 17 |  | Kovács, Laura | Saturation-Guided Inductive Synthesis | Inproceedings Konferenzbeitrag | 15-Jul-2026 |
| 18 | | Szeider, Stefan | CP-Agent: Agentic Constraint Programming | Inproceedings Konferenzbeitrag | 6-Jul-2026 |
| 19 | | Bojikian, Narek ; Firbas, Alexander ; Ganian, Robert ; Hoang, Hung P. ; Szilágyi, Krisztina | Fine-Grained Complexity of Computing Degree-Constrained Spanning Trees | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 20 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 21 |  | Köck, Bianca ; Pichlhöfer, Alexander ; Idiskut, Habibe ; Szeider, Stefan ; Hackl, Andrea ; Lammer, Lara | Zukunftsthemen spielerisch erleben : Nachhaltigkeit und Informatik als Hands-on-Erfahrung im Co-Creation-Space der TU Wien | Special Contribution Spezialbeitrag | 12-Jun-2026 |
| 22 | | Buraglio, Giovanni ; Dvořák, Wolfgang ; Woltran, Stefan | Splitting Assumption-Based Argumentation Frameworks | Inproceedings Konferenzbeitrag | 24-May-2026 |
| 23 | | Szeider, Stefan | ContReAct: A Feedback-Based Architecture for Continuous Agentic Operation | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 24 | | Szeider, Stefan | ASP-Bench: From Natural Language to Logic Programs | Inproceedings Konferenzbeitrag | 18-May-2026 |
| 25 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel | May-2026 |
| 26 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag | 26-Apr-2026 |
| 27 |  | Sextl, Florian | Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust | Presentation Vortrag | 13-Apr-2026 |
| 28 | | Ganian, Robert ; Hoang, Hung P. ; Wietheger, Simon | Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 29 | | Ordyniak, Sebastian ; Rychlicki, Mateusz ; Szeider, Stefan | Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 30 | | Kirchweger, Markus ; Peitl, Tomáš ; Seka, David ; Szeider, Stefan | Graph Choosability via SAT: Beyond the Nullstellensatz | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 31 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 32 | | Oudshoorn, Anouk ; Ortiz, Magdalena ; Šimkus, Mantas | SHACL validation in the presence of ontologies: Semantics and rewriting techniques | Article Artikel | Mar-2026 |
| 33 |  | Collevati, Michele ; Eiter, Thomas ; Higuera, Nelson | Leveraging Neurosymbolic AI for Slice Discovery | Article Artikel | Mar-2026 |
| 34 | | Clement, Mihaela-Larisa ; Farsang, Monika ; Stanusoiu, Mihai-Teodor ; Rus, Daniela ; Hasani, Ramin ; Grosu, Radu ; Bartocci, Ezio | Evaluating Domain-Shift Generalization of Liquid Neural Networks in Autonomous Driving | Inproceedings Konferenzbeitrag | 28-Feb-2026 |
| 35 | | Ganian, Robert ; Rocton, Mathis | Computing Twin-Width via Treedepth and Vertex Integrity | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 36 | | Horner, Elias ; Mateis, Cristinel ; Governatori, Guido ; Ciabattoni, Agata | From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 37 |  | Kovács, Laura | Moments in Time: Algebraic Analysis for Solvable Loops | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 38 | | de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan | OBDDs, SDDs, and circuits of bounded width: Completeness matters | Article Artikel | Feb-2026 |
| 39 | | Ganian, Robert | Parameterized Complexity in Machine Learning | Article Artikel | Feb-2026 |
| 40 | | Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Korchemna, Viktoriia | A structural complexity analysis of synchronous dynamical systems | Article Artikel | Feb-2026 |
| 41 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 42 |  | 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 |
| 43 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Nöllenburg, Martin | The Peculiarities of Extending Queue Layouts | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 44 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 45 | | Ganian, Robert ; Hoang, Hung P. ; Komusiewicz, Christian ; Morawietz, Nils | A Parameterized-Complexity Framework for Finding Local Optima | Inproceedings Konferenzbeitrag | 1-Jan-2026 |
| 46 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan | A General Theoretical Framework for Learning Smallest Interpretable Models | Article Artikel | Jan-2026 |
| 47 | | 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 |
| 48 | | Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura | Generalizing CDCL with Graph Backtracking | Inproceedings Konferenzbeitrag | 2026 |
| 49 | | Ajaykrishnan E S ; Ganian, Robert ; Lokshtanov, Daniel ; Surianarayanan, Vaishali | A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs | Inproceedings Konferenzbeitrag | 2026 |
| 50 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem | Article Artikel | 2026 |
| 51 | | Dvořák, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again | Inproceedings Konferenzbeitrag | 2026 |
| 52 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 2026 |
| 53 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 54 | | Avarikioti, Georgia ; Fuchsbauer, Georg ; Keer, Pim ; Maffei, Matteo ; Regen, Fabian | A Composable Game-Theoretic Framework for Blockchains | Inproceedings Konferenzbeitrag | 2026 |
| 55 | | Eiter, Thomas ; Geibinger, Tobias ; Saribatur, Zeynep G. | An XAI View on Explainable ASP: Methods, Systems, and Perspectives | Inproceedings Konferenzbeitrag | 2026 |
| 56 | | Buraglio, Giovanni ; Dvořák, Wolfgang ; Woltran, Stefan | Splitting Assumption-Based Argumentation Frameworks | Inproceedings Konferenzbeitrag | 2026 |
| 57 | | Berthold, Matti ; Blümel, Lydia ; Buraglio, Giovanni ; Rapberger, Anna | Splitting Argumentation Frameworks with Collective Attacks and Supports | Inproceedings Konferenzbeitrag | 2026 |
| 58 | | Adam, Sebastian Philipp ; Eiter, Thomas | ASP-Based Probabilistic Policy Fixing for Norm Compliant RL | Inproceedings Konferenzbeitrag | 2026 |
| 59 | | Marzari, Luca ; Bartocci, Ezio ; Marchesini, Enrico | A Survey on the Verification of Reinforcement Learning Policies | Inproceedings Konferenzbeitrag | 2026 |
| 60 |  | Woll, Robin Linus ; Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Pelosi, Andrea ; Thyfronitis Litos, Orfeas Stefanos ; Stefo, Christos ; Tse, David ; Zamyatin, Alexei | Bridging Bitcoin to Second Layers via BitVM2 | Inproceedings Konferenzbeitrag | 2026 |
| 61 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Presentation Vortrag | 17-Dec-2025 |
| 62 | | Szeider, Stefan | Selbstreflektierende KI | Presentation Vortrag | 15-Dec-2025 |
| 63 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Lorini, Emiliano ; Pichler, Dominik ; Rozplokhas, Dmitrii | From Explicit Allowances to Defeasible Deontic Operators: A Modal View | Inproceedings Konferenzbeitrag | 15-Dec-2025 |
| 64 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 65 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel | Dec-2025 |
| 66 | | Lorini, Emiliano ; Rozplokhas, Dmitrii | Graded Distributed Belief | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 67 | | Hermann, Miki ; Salzer, Gernot | Efficient Learning of Horn Formulas over Finite Totally Ordered Domains | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 68 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; Woltran, Stefan | On Strong Equivalence Notions in Logic Programming and Abstract Argumentation | Inproceedings Konferenzbeitrag | 25-Nov-2025 |
| 69 | | Cabalar, Pedro ; Eiter, Thomas ; Pearce, David ; Soldà, Davide | Brief Temporal Equilibrium Logic | Presentation Vortrag | 25-Nov-2025 |
| 70 | | Beiser, Alexander ; Hecher, Markus ; Woltran, Stefan | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Presentation Vortrag | 24-Nov-2025 |
| 71 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 72 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 73 | | Hagedorn, Ludger ; Schmid, Ute ; Woltran, Stefan | Digital Humanism : First Interdisciplinary Science and Research Conference, DIGHUM 2025, Vienna, Austria, November 20–21, 2025, Proceedings | Proceedings Tagungsband | 12-Nov-2025 |
| 74 | | Aguilera-Ventura, Carlos ; Liu, Xinghan ; Lorini, Emiliano ; Rozplokhas, Dmitrii | A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 75 | | Morello, Yoann ; Ciabattoni, Agata | A Bayesian View of the Result Model | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 76 | | Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin | Combining MORL with Restraining Bolts to Learn Normative Behaviour | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 77 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 78 | | Adam, Sebastian ; Eiter, Thomas | Incremental Lazy Grounding (Work in Progress) | Presentation Vortrag | Nov-2025 |
| 79 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 80 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Generating Streamlining Constraints with Large Language Models | Article Artikel | 29-Oct-2025 |
| 81 | | Ahmetaj, Shqiponja ; Konstantinidis, George ; Ortiz, Magdalena ; Pareti, Paolo ; Simkus, Mantas | SHACL Validation Under Graph Updates | Inproceedings Konferenzbeitrag | 29-Oct-2025 |
| 82 | | Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis | Computing Twin-Width Parameterized by the Feedback Edge Number and Vertex Integrity | Article Artikel | 17-Oct-2025 |
| 83 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Nöllenburg, Martin | The Parameterized Complexity Of Extending Stack Layouts | Article Artikel | 13-Oct-2025 |
| 84 | | Dreier, Jan ; Ganian, Robert ; Hamm, Thekla | Approximate Evaluation of Quantitative Second Order Queries | Inproceedings Konferenzbeitrag | 9-Oct-2025 |
| 85 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 86 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 87 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Surianarayanan, Vaishali | Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms | Inproceedings Konferenzbeitrag | 1-Oct-2025 |
| 88 | | Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael | Divide and Conquer: A Compositional Approach to Game-Theoretic Security | Article Artikel | Oct-2025 |
| 89 | | Bozga, Marius ; Iosif, Radu ; Zuleger, Florian | Regular Grammars for Sets of Graphs of Tree-Width 2 | Inproceedings Konferenzbeitrag | Oct-2025 |
| 90 | | Chen, Hongkai ; Zhang, Zeyu ; Roy, Shouvik ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott ; Lin, Shan | Cumulative-Time Signal Temporal Logic | Article Artikel | 26-Sep-2025 |
| 91 | | Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha | Analytic Proofs for Tense Logic | Inproceedings Konferenzbeitrag | 25-Sep-2025 |
| 92 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-Sep-2025 |
| 93 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 94 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 95 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Leko, Dominik ; Ramanujan, M. S. | Routing Few Robots in a Crowded Network | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 96 | | Brötzner, Anna ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Parada, Irene | Crossing and Independent Families Among Polygons | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 97 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii ; Tesi, Matteo | GL-Based Calculi for PCL and Its Deontic Cousin | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 98 | | Varonka, Anton ; Watanabe, Kazuki | On Piecewise Affine Reachability with Bellman Operators | Inproceedings Konferenzbeitrag | 20-Aug-2025 |
| 99 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 100 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 11-Aug-2025 |
