|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel  | Sep-2026 |
| 2 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 3 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag   | 24-Jul-2026 |
| 4 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 5 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 6 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 7 | | 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 |
| 8 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 9 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel | May-2026 |
| 10 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag | 26-Apr-2026 |
| 11 |  | Sextl, Florian | Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust | Presentation Vortrag | 13-Apr-2026 |
| 12 | | Ganian, Robert ; Hoang, Hung P. ; Wietheger, Simon | Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 13 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 14 | | 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 |
| 15 | | 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 |
| 16 | | Ganian, Robert ; Rocton, Mathis | Computing Twin-Width via Treedepth and Vertex Integrity | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 17 | | de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan | OBDDs, SDDs, and circuits of bounded width: Completeness matters | Article Artikel | Feb-2026 |
| 18 | | Ganian, Robert | Parameterized Complexity in Machine Learning | Article Artikel | Feb-2026 |
| 19 | | Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Korchemna, Viktoriia | A structural complexity analysis of synchronous dynamical systems | Article Artikel | Feb-2026 |
| 20 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 21 | | El Manssour, Rida Ait ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton ; Worrell, James B | Determination Problems for Orbit Closures and Matrix Groups | Inproceedings Konferenzbeitrag | 8-Jan-2026 |
| 22 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Nöllenburg, Martin | The Peculiarities of Extending Queue Layouts | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 23 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 24 | | Ganian, Robert ; Hoang, Hung P. ; Komusiewicz, Christian ; Morawietz, Nils | A Parameterized-Complexity Framework for Finding Local Optima | Inproceedings Konferenzbeitrag | 1-Jan-2026 |
| 25 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan | A General Theoretical Framework for Learning Smallest Interpretable Models | Article Artikel | Jan-2026 |
| 26 | | 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 |
| 27 | | Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura | Generalizing CDCL with Graph Backtracking | Inproceedings Konferenzbeitrag | 2026 |
| 28 | | Ajaykrishnan E S ; Ganian, Robert ; Lokshtanov, Daniel ; Surianarayanan, Vaishali | A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs | Inproceedings Konferenzbeitrag | 2026 |
| 29 | | 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 |
| 30 | | Dvořák, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again | Inproceedings Konferenzbeitrag | 2026 |
| 31 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 2026 |
| 32 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 33 | | 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 |
| 34 | | Szeider, Stefan | Selbstreflektierende KI | Presentation Vortrag | 15-Dec-2025 |
| 35 | | 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 |
| 36 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 37 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel | Dec-2025 |
| 38 | | Lorini, Emiliano ; Rozplokhas, Dmitrii | Graded Distributed Belief | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 39 | | Hermann, Miki ; Salzer, Gernot | Efficient Learning of Horn Formulas over Finite Totally Ordered Domains | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 40 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; Woltran, Stefan | On Strong Equivalence Notions in Logic Programming and Abstract Argumentation | Inproceedings Konferenzbeitrag | 25-Nov-2025 |
| 41 | | Beiser, Alexander ; Hecher, Markus ; Woltran, Stefan | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Presentation Vortrag | 24-Nov-2025 |
| 42 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 43 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 44 | | Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin | Combining MORL with Restraining Bolts to Learn Normative Behaviour | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 45 | | 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 |
| 46 | | 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 |
| 47 | | Morello, Yoann ; Ciabattoni, Agata | A Bayesian View of the Result Model | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 48 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 49 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 50 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Generating Streamlining Constraints with Large Language Models | Article Artikel | 29-Oct-2025 |
| 51 | | Ahmetaj, Shqiponja ; Konstantinidis, George ; Ortiz, Magdalena ; Pareti, Paolo ; Simkus, Mantas | SHACL Validation Under Graph Updates | Inproceedings Konferenzbeitrag | 29-Oct-2025 |
| 52 | | Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis | Computing Twin-Width Parameterized by the Feedback Edge Number and Vertex Integrity | Article Artikel | 17-Oct-2025 |
| 53 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Nöllenburg, Martin | The Parameterized Complexity Of Extending Stack Layouts | Article Artikel | 13-Oct-2025 |
| 54 | | Dreier, Jan ; Ganian, Robert ; Hamm, Thekla | Approximate Evaluation of Quantitative Second Order Queries | Inproceedings Konferenzbeitrag | 9-Oct-2025 |
| 55 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 56 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 57 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Surianarayanan, Vaishali | Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms | Inproceedings Konferenzbeitrag | 1-Oct-2025 |
| 58 | | 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 |
| 59 | | Bozga, Marius ; Iosif, Radu ; Zuleger, Florian | Regular Grammars for Sets of Graphs of Tree-Width 2 | Inproceedings Konferenzbeitrag | Oct-2025 |
| 60 | | 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 |
| 61 | | Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha | Analytic Proofs for Tense Logic | Inproceedings Konferenzbeitrag | 25-Sep-2025 |
| 62 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-Sep-2025 |
| 63 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 64 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 65 | | 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 |
| 66 | | Brötzner, Anna ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Parada, Irene | Crossing and Independent Families Among Polygons | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 67 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii ; Tesi, Matteo | GL-Based Calculi for PCL and Its Deontic Cousin | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 68 | | Varonka, Anton ; Watanabe, Kazuki | On Piecewise Affine Reachability with Bellman Operators | Inproceedings Konferenzbeitrag | 20-Aug-2025 |
| 69 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 70 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 11-Aug-2025 |
| 71 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Balancing Latin Rectangles with LLM-Generated Streamliners | Inproceedings Konferenzbeitrag | 8-Aug-2025 |
| 72 | | Zhang, Tianwei ; Szeider, Stefan | The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators | Inproceedings Konferenzbeitrag | 8-Aug-2025 |
| 73 | | Schidler, André ; Szeider, Stefan | Analyzing Reformulation Performance in Core-Guided MaxSAT Solving | Inproceedings Konferenzbeitrag | 7-Aug-2025 |
| 74 | | Szeider, Stefan | Bridging Language Models and Symbolic Solvers via the Model Context Protocol | Inproceedings Konferenzbeitrag | 7-Aug-2025 |
| 75 | | Szeider, Stefan | SAT Modulo Symmetries: A Survey | Presentation Vortrag | 2-Aug-2025 |
| 76 | | Szeider, Stefan | SAT Modulo Symmetries: A Survey | Inproceedings Konferenzbeitrag | 2-Aug-2025 |
| 77 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 78 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 79 | | Schidler, André ; Szeider, Stefan | Extracting Problem Structure with LLMs for Optimized SAT Local Search | Inproceedings Konferenzbeitrag | 20-Jul-2025 |
| 80 | | Ciabattoni, Agata | Deontic Logic in Legal Reasoning and AI | Presentation Vortrag | 14-Jul-2025 |
| 81 | | Ansótegui, Carlos ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan ; Xia, Hai | Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach | Inproceedings Konferenzbeitrag | 4-Jul-2025 |
| 82 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Kaminski, Tobias | ASP-FZN: a translation-based constraint answer set solver | Article Artikel | Jul-2025 |
| 83 | | Beiser, Alexander ; Woltran, Stefan ; Hecher, Markus | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Article Artikel | Jul-2025 |
| 84 | | Freschi, Elisa ; Dik, Josephine Femke | New sources for deontics: The Mīmāṃsā school of Sanskrit philosophy | Presentation Vortrag | 30-Jun-2025 |
| 85 | | Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian | Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems | Article Artikel | 24-Jun-2025 |
| 86 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ramanujan, M. S. | A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots | Inproceedings Konferenzbeitrag | 20-Jun-2025 |
| 87 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners | Inproceedings Konferenzbeitrag | 19-Jun-2025 |
| 88 | | Lasy, Ilya ; Knees, Peter ; Woltran, Stefan | Understanding Verbatim Memorization in LLMs Through Circuit Discovery | Preprint Preprint | 17-Jun-2025 |
| 89 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLM-based Generation of Weakest Preconditions and Precise Array Invariants | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 90 | | Bergougnoux, Benjamin ; Chekan, Vera ; Ganian, Robert ; Kanté, Mamadou Moustapha ; Mnich, Matthias ; Oum, Sang-il ; Pilipczuk, Michał ; van Leeuwen, Erik Jan | Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth | Article Artikel | 10-Jun-2025 |
| 91 | | Szeider, Stefan | Certifying Dynamic Symmetry Breaking in SAT and QBF | Presentation Vortrag | 5-Jun-2025 |
| 92 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 93 | | Soldà, Davide ; Cabalar, Pedro ; Ciabattoni, Agata ; Neufeld, Emery | Tackling Temporal Deontic Challenges with Equilibrium Logic | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 94 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ramanujan, M. S. | Parameterized Algorithms for Multiagent Pathfinding on Trees | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 95 | | van Berkel, Kees ; Ciabattoni, Agata ; Horty, John | Deontic Logic and Normative Systems : 17th International Conference, DEON 2025 | Proceedings Tagungsband | Jun-2025 |
| 96 | | Dik, Josephine Femke ; Pichler, Dominik | Navigating Permission and Exceptions: A First-Order Perspective | Inproceedings Konferenzbeitrag | Jun-2025 |
| 97 |  | Kovacs, Laura | Automated Reasoning | Presentation Vortrag | Jun-2025 |
| 98 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi, Elisa | Mīmāṃsā on ‘better-not’ Permissions | Article Artikel | 19-May-2025 |
| 99 | | Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem | Mining Specifications for Predictive Safety Monitoring | Inproceedings Konferenzbeitrag | 7-May-2025 |
| 100 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-May-2025 |
