|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Katz, Jonathan ; Sefranek, Marek | Issuer Hiding for BBS-Based Anonymous Credentials | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 2 | | Fuchsbauer, Georg ; Sefranek, Marek | Plonk Without Random Oracles | Presentation Vortrag | 9-May-2026 |
| 3 | | Mulhern, James Harrison ; Zhao, Bingyu ; Shibayama, Takeru ; Raidl, Günther R. | Public Transit Optimization via a Novel Connectivity Parameter | Presentation Vortrag | 7-May-2026 |
| 4 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel  | May-2026 |
| 5 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag | 26-Apr-2026 |
| 6 |  | Bilal, Mohammad ; Ehrenmüller, Katrin ; Steindl, Gernot ; Zheng, Zhuoxun ; Ahmetaj, Shqiponja ; Soylu, Ahmet ; Sallinger, Emanuel ; Kastner, Wolfgang | Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUML | Article Artikel   | 22-Apr-2026 |
| 7 | | Schreiber, Dominik ; Fleury, Mathias ; Fazekas, Katalin ; Biere, Armin | Real-time Proof Checking for Distributed Incremental SAT Solving | Inproceedings Konferenzbeitrag | 16-Apr-2026 |
| 8 | | Chen, Chen ; Kaufmann, Daniela ; Deng, Chenhui ; Song, Zhan ; Zhang, Hongce ; Yu, Cunxi | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers | Inproceedings Konferenzbeitrag | 15-Apr-2026 |
| 9 |  | Sextl, Florian | Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust | Presentation Vortrag | 13-Apr-2026 |
| 10 |  | Dolci, Tommaso ; Jovanovik, Milos ; Hose, Katja | Towards LLM-KG Symbiosis for Reducing Factual Hallucinations | Inproceedings Konferenzbeitrag | 9-Apr-2026 |
| 11 | | Jovanovik, Milos ; Vecovska, Marija ; Jakubowski, Maxime ; Hose, Katja | RDFGraphGen: An RDF Graph Generator Based on SHACL Shapes | Inproceedings Konferenzbeitrag | 1-Apr-2026 |
| 12 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 13 | | Schrott, Johannes ; Jakubowski, Maxime ; Hose, Katja | A Graph-Native Approach to Normalization | Preprint Preprint | 3-Mar-2026 |
| 14 | | Kovács, Áron Samuel ; Hermosilla, Pedro ; Raidou, Renata G. | Style Brush: Guided Style Transfer for 3D Objects | Article Artikel | 16-Feb-2026 |
| 15 | | de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan | OBDDs, SDDs, and circuits of bounded width: Completeness matters | Article Artikel | Feb-2026 |
| 16 | | Chaves-de-Plaza, Nicolas F. ; Raidou, Renata G. ; Mody, Prerak ; Staring, Marius ; Van Egmond, René ; Vilanova, Anna ; Hildebrandt, Klaus | LoGCC: Local-to-Global Correlation Clustering for Scalar Field Ensembles | Article Artikel | Feb-2026 |
| 17 | | Sefranek, Marek | Sparkle Revisited: Proving Tight Adaptive Security of a Simple Schnorr Threshold Scheme | Presentation Vortrag | 26-Jan-2026 |
| 18 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | Rule-based Classifier Models | Inproceedings Konferenzbeitrag | 13-Jan-2026 |
| 19 | | 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 |
| 20 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 21 | | Atzeni, Paolo ; Baldazzi, Teodoro ; Bellomarini, Luigi ; Laurenza, Eleonora ; Sallinger, Emanuel | Semantic-aware query answering with Large Language Models | Article Artikel | Jan-2026 |
| 22 | | Wang, Ruizhi ; Xu, Zhenghua ; Wang, Xiangtao ; Liu, Weipeng ; Lukasiewicz, Thomas | C2M-DoT: Cross-modal consistent multi-view medical report generation with domain transfer network | Article Artikel | Jan-2026 |
| 23 | | Da Ros, Francesca ; Di Gaspero, Luca ; Lackner, Marie-Louise ; Musliu, Nysret ; Winter, Felix | Corrigendum to “Multi-neighborhood simulated annealing for the oven scheduling problem” [Comput. Oper. Res. 177 (2025) 106999] | Article Artikel | Jan-2026 |
| 24 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan | A General Theoretical Framework for Learning Smallest Interpretable Models | Article Artikel | Jan-2026 |
| 25 |  | Selzer, Alexander | A Structural Approach to Query Optimisation for Efficient Join and Aggregate Processing | Thesis Hochschulschrift | 2026 |
| 26 |  | Simola, Sofia Henna Elisa | Algorithmic Complexity of Matching and Games | Thesis Hochschulschrift | 2026 |
| 27 | | Gjergji, Ida ; Kletzander, Lucas ; Musliu, Nysret | Large neighborhood search and hyper-heuristics for the capacitated p-median problem | Article Artikel | 2026 |
| 28 |  | Dobler, Alexander | Algorithmic Aspects of Ordering Problems in Information Visualization | Thesis Hochschulschrift | 2026 |
| 29 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 30 |  | Schärmer, Alina Sophia | LLM-Based IDS Alert Interpretation for Cyber Incident Analysis and Triage | Thesis Hochschulschrift | 2026 |
| 31 |  | Lecker, Mario | Virtualization-based Code Obfuscation via Android Runtime Permutation | Thesis Hochschulschrift | 2026 |
| 32 |  | Süss, Maximilian | Faithfulness of Natural Language Explanations for Vision Language Models: An Automated Test Framework | Thesis Hochschulschrift | 2026 |
| 33 |  | Oberbacher, Manuel | Automatic Pipe Routing Approach for HVAC Systems in Complex Building Architectures | Thesis Hochschulschrift  | 2026 |
| 34 |  | Sula, Julius | Faithful Attention Attribution in Vision Transformers for Chest X-Ray Interpretation | Thesis Hochschulschrift | 2026 |
| 35 |  | Tagliaro, Carlotta | “Things” Fall Apart : Adventures in Securing a World of Connected Chaos | Thesis Hochschulschrift | 2026 |
| 36 |  | Pleßberger, Sascha | Semantic Verification of Ethereum Smart Contracts using KEVM | Thesis Hochschulschrift | 2026 |
| 37 |  | Merkl, Timo | On the Diversity and Space-Time Complexity of Query Answering: Algorithms and Structural Foundations | Thesis Hochschulschrift | 2026 |
| 38 |  | Hausberger, Benedikt | Enhanced Repository-Level Code Comprehension through Knowledge Graphs for Large Language Models | Thesis Hochschulschrift | 2026 |
| 39 |  | Di Stefano, Federica | Non-monotonic Description Logics Based on Predicate Minimization | Thesis Hochschulschrift | 2026 |
| 40 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 2026 |
| 41 |  | Tulcan, Radu Florin | Built to Behave: Constraining Reinforcement Learning Agents with Restraining Bolts | Thesis Hochschulschrift | 2026 |
| 42 | | Musliu, Nysret ; Grasmann, Lukas | A System Prototype for Food Sales Forecasting and Optimization to Reduce Food Waste for Short-Shelf-Life Products | Inproceedings Konferenzbeitrag | 2026 |
| 43 |  | Pillwax, Wolfgang | Improving Onion Routing in Tor | Thesis Hochschulschrift | 2026 |
| 44 |  | Sakka, Mahmoud Abdussalem | An Inquiry into the Nature of Predictive Model Classes and the Forecasting of Corporate Insolvency | Thesis Hochschulschrift | 2026 |
| 45 | | 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 |
| 46 |  | Seka, David | Enumerating Graphs with respect to their Choosability | Thesis Hochschulschrift | 2026 |
| 47 |  | Kitzler, Stefan | Computational Methods for Analyzing Decentralized Finance Ecosystems | Thesis Hochschulschrift | 2026 |
| 48 |  | Miarasadollahnejad, Amir Hossein | Using Graph Neural Networks to Capture SHACL Constraints in Graph Data | Thesis Hochschulschrift | 2026 |
| 49 |  | Johnston, Emile | Entropy-Steering: A Lookahead Approach to High-Capacity Generative Linguistic Steganography | Thesis Hochschulschrift | 2026 |
| 50 |  | Forster, Stefan | Thiele Methods for Comment Selection under Trichotomous Preferences | Thesis Hochschulschrift | 2026 |
| 51 |  | Luxbacher, Benjamin | An implementation of Shor's algorithm for elliptic curve cryptography | Thesis Hochschulschrift | 2026 |
| 52 |  | Bodingbauer, Jonas | Vampires can Lean into trust: checking proofs for soundness | Thesis Hochschulschrift | 2026 |
| 53 | | 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 |
| 54 | | Szeider, Stefan | Selbstreflektierende KI | Presentation Vortrag | 15-Dec-2025 |
| 55 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | A Modal Logic for Temporal and Jurisdictional Classifier Models | Inproceedings Konferenzbeitrag | 14-Dec-2025 |
| 56 |  | Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas | A Logic Programming Approach to Repairing SHACL Constraint Violations | Article Artikel | 10-Dec-2025 |
| 57 | | Lavrinovics, Ernests ; Biswas, Russa ; Hose, Katja ; Bjerva, Johannes | MultiHal: MultiLingual Dataset for Knowledge-Graph Grounded Evaluation of LLM Hallucinations | Presentation Vortrag | 5-Dec-2025 |
| 58 | | Dong, Huimin | The Structure of Precedents Matter | Presentation Vortrag | 4-Dec-2025 |
| 59 | | Mukhtar, Adil ; Hadwiger, Michael ; Wotawa, Franz ; Schweiger, Gerald | Reproducibility of machine learning-based fault detection and diagnosis for HVAC systems in buildings: An empirical study | Article Artikel | 2-Dec-2025 |
| 60 | | Raidl, Günther | Learning to Guide Search in Combinatorial Optimization | Presentation Vortrag | 2-Dec-2025 |
| 61 | | Depian, Thomas ; Nöllenburg, Martin ; Terziadis, Soeren ; Wallinger, Markus | Constrained boundary labeling | Article Artikel | Dec-2025 |
| 62 | | Wallinger, Markus ; Piselli, Tommaso ; Tappini, Alessandra ; Archambault, Daniel ; Liotta, Giuseppe ; Nöllenburg, Martin | Bundling-Aware Graph Drawing Revisited | Article Artikel | Dec-2025 |
| 63 |  | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Symbolic execution for refuting ∀∃ hyperproperties | Article Artikel | Dec-2025 |
| 64 |  | Landauer, Max ; Alton, Leonhard ; Lindorfer, Martina ; Skopik, Florian ; Wurzenberger, Markus ; Hotwagner, Wolfgang | Trace of the Times: Rootkit Detection through Temporal Anomalies in Kernel Activity | Article Artikel | Dec-2025 |
| 65 | | Lorini, Emiliano ; Rozplokhas, Dmitrii | Graded Distributed Belief | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 66 | | Cabello, Sergio ; Dobler, Alexander ; Fijavž, Gašper ; Hamm, Thekla ; Wagner, Mirko H. | A Dichotomy for 1-Planarity with Restricted Crossing Types Parameterized by Treewidth | 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 | | Dobler, Alexander ; Holzmüller, Maximilian ; Nöllenburg, Martin | Geometry Matters in Planar Storyplans | Inproceedings Konferenzbeitrag | 26-Nov-2025 |
| 69 | | Dobler, Alexander ; Hegemann, Tim ; Nöllenburg, Martin ; Wolff, Alexander | Optimizing Wiggle in Storylines | Inproceedings Konferenzbeitrag | 26-Nov-2025 |
| 70 | | Chiu, Alvin ; Depian, Thomas ; Eppstein, David ; Goodrich, Michael T. ; Nöllenburg, Martin | Visualizing Treewidth | Inproceedings Konferenzbeitrag | 26-Nov-2025 |
| 71 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; Woltran, Stefan | On Strong Equivalence Notions in Logic Programming and Abstract Argumentation | Inproceedings Konferenzbeitrag | 25-Nov-2025 |
| 72 | | Beiser, Alexander ; Martinelli, Flavio ; Gerstner, Wulfram ; Brea, Johanni | Data Augmentation Techniques to Reverse-Engineer Neural Network Weights from Input-Output Queries | Preprint Preprint | 25-Nov-2025 |
| 73 | | Beiser, Alexander ; Hecher, Markus ; Woltran, Stefan | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Presentation Vortrag | 24-Nov-2025 |
| 74 | | Corbard, Simon ; Lolić, Anela | Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction | Inproceedings Konferenzbeitrag | 23-Nov-2025 |
| 75 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 76 |  | Bleier, Jakob ; Kehrer, Felix ; Cito, Jürgen ; Lindorfer, Martina | Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing | Inproceedings Konferenzbeitrag | 19-Nov-2025 |
| 77 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 78 | | Bhati, Amit Singh ; Andreeva, Elena ; Müller, Simon ; Vizár, Damian | Sonikku: Gotta Speed, Keed! A Family of Fast and Secure MACs | Inproceedings Konferenzbeitrag | 13-Nov-2025 |
| 79 |  | Deeds, Kyle ; Merkl, Timo Camillo ; Pichler, Reinhard ; Suciu, Dan | The space-time complexity of sum-product queries | Article Artikel | 12-Nov-2025 |
| 80 |  | Arenas, Marcelo ; Merkl, Timo Camillo ; Pichler, Reinhard ; Riveros, Cristian | Query Answering Under Volume-Based Diversity Functions | Article Artikel | 12-Nov-2025 |
| 81 | | Lackner, Marie-Louise | Schedules Need to be Fair Over Time | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 82 | | Morello, Yoann ; Ciabattoni, Agata | A Bayesian View of the Result Model | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 83 | | Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin | Combining MORL with Restraining Bolts to Learn Normative Behaviour | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 84 | | Parent, Xavier | On a problem of Horty | Presentation Vortrag | 12-Nov-2025 |
| 85 | | Parent, Xavier | If, Then, Ought. From Logic to Computation | Presentation Vortrag | 12-Nov-2025 |
| 86 | | 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 |
| 87 | | 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 |
| 88 | | Gjergji, Ida ; Kletzander, Lucas ; Bierlee, Hendrik ; Musliu, Nysret ; Stuckey, Peter J. | A Consecutive Flight Leg Model for the Aircraft Maintenance Routing Problem | Presentation Vortrag | 10-Nov-2025 |
| 89 | | Bresich, Maria | Search Space Reduction Through Machine Learning for the Electric Autonomous Dial-A-Ride Problem | Presentation Vortrag | 6-Nov-2025 |
| 90 | | Varga, Johannes | Learning to Predict User Replies in Interactive Job Scheduling | Presentation Vortrag | 6-Nov-2025 |
| 91 | | Tomandl, Laurenz | A Reinforcement Learning Guided Large Neighborhood Search for the Dynamic Electric Autonomous Dial-a-Ride Problem | Presentation Vortrag | 6-Nov-2025 |
| 92 | | Iurlano, Enrico | Towards Heuristics for Short Universal Cycle Coverings | Presentation Vortrag | 6-Nov-2025 |
| 93 | | Parent, Xavier | If, Then, Ought. From Logic to Computation | Presentation Vortrag | 5-Nov-2025 |
| 94 | | Ahmeti, Arben ; Musliu, Nysret | Hybridizing constraint programming and meta-heuristics for multi-mode resource-constrained multiple projects scheduling Problem | Article Artikel | Nov-2025 |
| 95 | | Patrignani, Luca ; Laurenza, Eleonora ; Sallinger, Emanuel ; Vlad, Adriano ; Gaudenzi, Paolo | SpaceKG: Towards exploiting Knowledge Graphs in space systems | Article Artikel | Nov-2025 |
| 96 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 97 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 98 | | Geibinger, Tobias ; Saribatur, Zeynep G. | What Can We Explain in Answer Set Programming? | Inproceedings Konferenzbeitrag | Nov-2025 |
| 99 | | Cortellazzi, Jacopo ; Quiring, Erwin ; Arp, Daniel ; Pendlebury, Feargus ; Pierazzi, Fabio ; Cavallaro, Lorenzo | Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version] | Article Artikel | Nov-2025 |
| 100 | | Bhore, Sujoy ; Nöllenburg, Martin ; Tóth, Csaba D. ; Wulms, Jules | Fully Dynamic Maximum Independent Sets of Disks in Polylogarithmic Update Time | Article Artikel | 31-Oct-2025 |
