|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel  | May-2026 |
| 2 |  | Sextl, Florian | Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust | Presentation Vortrag   | 13-Apr-2026 |
| 3 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 4 | | 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 |
| 5 | | de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan | OBDDs, SDDs, and circuits of bounded width: Completeness matters | Article Artikel | Feb-2026 |
| 6 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 7 | | 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 |
| 8 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 9 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan | A General Theoretical Framework for Learning Smallest Interpretable Models | Article Artikel | Jan-2026 |
| 10 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 11 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 2026 |
| 12 | | 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 |
| 13 | | 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 |
| 14 | | Szeider, Stefan | Selbstreflektierende KI | Presentation Vortrag | 15-Dec-2025 |
| 15 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 16 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel | Dec-2025 |
| 17 | | Hermann, Miki ; Salzer, Gernot | Efficient Learning of Horn Formulas over Finite Totally Ordered Domains | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 18 | | Lorini, Emiliano ; Rozplokhas, Dmitrii | Graded Distributed Belief | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 19 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; Woltran, Stefan | On Strong Equivalence Notions in Logic Programming and Abstract Argumentation | Inproceedings Konferenzbeitrag | 25-Nov-2025 |
| 20 | | Beiser, Alexander ; Hecher, Markus ; Woltran, Stefan | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Presentation Vortrag | 24-Nov-2025 |
| 21 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 22 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 23 | | 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 |
| 24 | | Morello, Yoann ; Ciabattoni, Agata | A Bayesian View of the Result Model | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 25 | | Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin | Combining MORL with Restraining Bolts to Learn Normative Behaviour | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 26 | | 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 |
| 27 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 28 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 29 | | Ahmetaj, Shqiponja ; Konstantinidis, George ; Ortiz, Magdalena ; Pareti, Paolo ; Simkus, Mantas | SHACL Validation Under Graph Updates | Inproceedings Konferenzbeitrag | 29-Oct-2025 |
| 30 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Generating Streamlining Constraints with Large Language Models | Article Artikel | 29-Oct-2025 |
| 31 | | Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis | Computing Twin-Width Parameterized by the Feedback Edge Number and Vertex Integrity | Article Artikel | 17-Oct-2025 |
| 32 | | Dreier, Jan ; Ganian, Robert ; Hamm, Thekla | Approximate Evaluation of Quantitative Second Order Queries | Inproceedings Konferenzbeitrag | 9-Oct-2025 |
| 33 | | Hajdu, Márton ; Hozzová, Petra ; Kovacs, Laura ; Voronkov, Andrei ; Wagner, Eva Maria ; Žilinčík, Richard Steven | Synthesis Benchmarks for Automated Reasoning | Inproceedings Konferenzbeitrag | 8-Oct-2025 |
| 34 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 35 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 36 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Surianarayanan, Vaishali | Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms | Inproceedings Konferenzbeitrag | 1-Oct-2025 |
| 37 | | 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 |
| 38 | | Bozga, Marius ; Iosif, Radu ; Zuleger, Florian | Regular Grammars for Sets of Graphs of Tree-Width 2 | Inproceedings Konferenzbeitrag | Oct-2025 |
| 39 | | 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 |
| 40 | | Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha | Analytic Proofs for Tense Logic | Inproceedings Konferenzbeitrag | 25-Sep-2025 |
| 41 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-Sep-2025 |
| 42 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 43 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 44 | | 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 |
| 45 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii ; Tesi, Matteo | GL-Based Calculi for PCL and Its Deontic Cousin | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 46 | | Brötzner, Anna ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Parada, Irene | Crossing and Independent Families Among Polygons | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 47 | | Varonka, Anton ; Watanabe, Kazuki | On Piecewise Affine Reachability with Bellman Operators | Inproceedings Konferenzbeitrag | 20-Aug-2025 |
| 48 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 49 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 11-Aug-2025 |
| 50 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Balancing Latin Rectangles with LLM-Generated Streamliners | Inproceedings Konferenzbeitrag | 8-Aug-2025 |
| 51 | | Zhang, Tianwei ; Szeider, Stefan | The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators | Inproceedings Konferenzbeitrag | 8-Aug-2025 |
| 52 | | Schidler, André ; Szeider, Stefan | Analyzing Reformulation Performance in Core-Guided MaxSAT Solving | Inproceedings Konferenzbeitrag | 7-Aug-2025 |
| 53 | | Szeider, Stefan | Bridging Language Models and Symbolic Solvers via the Model Context Protocol | Inproceedings Konferenzbeitrag | 7-Aug-2025 |
| 54 | | Szeider, Stefan | SAT Modulo Symmetries: A Survey | Presentation Vortrag | 2-Aug-2025 |
| 55 | | Szeider, Stefan | SAT Modulo Symmetries: A Survey | Inproceedings Konferenzbeitrag | 2-Aug-2025 |
| 56 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 57 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 58 | | Schidler, André ; Szeider, Stefan | Extracting Problem Structure with LLMs for Optimized SAT Local Search | Inproceedings Konferenzbeitrag | 20-Jul-2025 |
| 59 | | 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 |
| 60 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Kaminski, Tobias | ASP-FZN: a translation-based constraint answer set solver | Article Artikel | Jul-2025 |
| 61 | | Beiser, Alexander ; Woltran, Stefan ; Hecher, Markus | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Article Artikel | Jul-2025 |
| 62 | | Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian | Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems | Article Artikel | 24-Jun-2025 |
| 63 | | 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 |
| 64 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners | Inproceedings Konferenzbeitrag | 19-Jun-2025 |
| 65 | | Lasy, Ilya ; Knees, Peter ; Woltran, Stefan | Understanding Verbatim Memorization in LLMs Through Circuit Discovery | Preprint Preprint | 17-Jun-2025 |
| 66 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLM-based Generation of Weakest Preconditions and Precise Array Invariants | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 67 | | 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 |
| 68 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ramanujan, M. S. | Parameterized Algorithms for Multiagent Pathfinding on Trees | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 69 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 70 | | Szeider, Stefan | Certifying Dynamic Symmetry Breaking in SAT and QBF | Presentation Vortrag | 5-Jun-2025 |
| 71 | | Soldà, Davide ; Cabalar, Pedro ; Ciabattoni, Agata ; Neufeld, Emery | Tackling Temporal Deontic Challenges with Equilibrium Logic | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 72 | | van Berkel, Kees ; Ciabattoni, Agata ; Horty, John | Deontic Logic and Normative Systems : 17th International Conference, DEON 2025 | Proceedings Tagungsband | Jun-2025 |
| 73 | | Dik, Josephine Femke ; Pichler, Dominik | Navigating Permission and Exceptions: A First-Order Perspective | Inproceedings Konferenzbeitrag | Jun-2025 |
| 74 |  | Kovacs, Laura | Automated Reasoning | Presentation Vortrag | Jun-2025 |
| 75 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi, Elisa | Mīmāṃsā on ‘better-not’ Permissions | Article Artikel | 19-May-2025 |
| 76 | | Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem | Mining Specifications for Predictive Safety Monitoring | Inproceedings Konferenzbeitrag | 7-May-2025 |
| 77 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Inproceedings Konferenzbeitrag | 3-May-2025 |
| 78 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-May-2025 |
| 79 | | Sextl, Florian ; Rogalewicz, Adam ; Vojnar, Tomáš ; Zuleger, Florian | Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration | Inproceedings Konferenzbeitrag | 1-May-2025 |
| 80 | | Dumas, Maël ; Perez, Anthony ; Rocton, Mathis ; Todinca, Ioan | Polynomial kernels for edge modification problems towards block and strictly chordal graphs | Article Artikel | 1-May-2025 |
| 81 | | Harviainen, Juha ; Sommer, Frank ; Sorge, Manuel ; Szeider, Stefan | Optimal Decision Tree Pruning Revisited: Algorithms and Complexity | Inproceedings Konferenzbeitrag | 1-May-2025 |
| 82 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Goldsmith, Tiger-Lily ; Ioannidis, Stavros D. | The Complexity of Extending Fair Allocations of Indivisible Goods | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 83 | | Depian, Thomas ; Fink, Simon D. ; Klemz, Boris ; Ganian, Robert ; Nöllenburg, Martin ; Sieper, Marie Diana | Partial Level Planarity Parameterized by the Size of the Missing Graph | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 84 | | Janota, Mikoláš ; Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan | Breaking Symmetries in Quantified Graph Search: A Comparative Study | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 85 | | Harviainen, Juha ; Sommer, Frank ; Sorge, Manuel ; Szeider, Stefan | Optimal Decision Tree Pruning Revisited: Algorithms and Complexity | Preprint Preprint | 5-Mar-2025 |
| 86 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine | Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version) | Preprint Preprint | 26-Feb-2025 |
| 87 | | 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 |
| 88 | | Depian, Thomas ; Fink, Simon Dominik ; Firbas, Alexander ; Ganian, Robert ; Nöllenburg, Martin | Pathways to Tractability for Geometric Thickness | Inproceedings Konferenzbeitrag | 7-Feb-2025 |
| 89 | | Dik, Josephine Femke ; Markovich, Réka | Judicial Discretion as Normative Reasoning: Deontic Characterization of Judicial Decision Making with Answer Set Programming | Inproceedings Konferenzbeitrag | 13-Jan-2025 |
| 90 | | Brand, Cornelius ; Ganian, Robert ; Kalyanasundaram, Subrahmanyam ; Mc Inerney, Fionn | The complexity of optimizing atomic congestion | Article Artikel | Jan-2025 |
| 91 | | Scaffino, Giulia ; Aumayr, Lukas ; Bastankhah, Mahsa ; Avarikioti, Zeta ; Maffei, Matteo | Alba: The Dawn of Scalable Bridges for Blockchains | Inproceedings Konferenzbeitrag | Jan-2025 |
| 92 | | Szeider, Stefan | Large and Parallel Human Sorting Networks | Inproceedings Konferenzbeitrag | 2025 |
| 93 | | Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan | Parameterized complexity of abstract argumentation with collective attacks | Article Artikel | 2025 |
| 94 | | Eiter, Thomas ; Geibinger, Tobias | A Sequent Calculus for Answer Set Entailment | Inproceedings Konferenzbeitrag | 2025 |
| 95 | | Tappler, Martin ; Lopez-Miguel, Ignacio D. ; Tschiatschek, Sebastian ; Bartocci, Ezio | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement | Inproceedings Konferenzbeitrag | 2025 |
| 96 | | Ait El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Applications | Inproceedings Konferenzbeitrag | 2025 |
| 97 | | Aldini, Alessandro ; Ciabattoni, Agata ; Pichler, Dominik ; Tagliaferri, Mirko | Support + Belief = Decision Trust | Inproceedings Konferenzbeitrag | 2025 |
| 98 | | Dik, Josephine Femke | Explaining Discretionary Judicial Decisions Using Answer Set Programming | Inproceedings Konferenzbeitrag | 2025 |
| 99 | | Ganian, Robert ; Rocton, Mathis ; Wietheger, Simon | Training One-Dimensional Graph Neural Networks is NP-Hard | Inproceedings Konferenzbeitrag | 2025 |
| 100 | | Dik, Josephine Femke ; Markovich, Réka | When Judges Go Wrong: Modeling Discretion and the Duty of Care | Inproceedings Konferenzbeitrag | 2025 |
