|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Yan, Yingfei ; Tang, Khai Hanh ; Chu, Hien Thi Thu ; Chow, Sherman S. M. ; Ling, San ; Wang, Huaxiong ; Zhang, Kai | Sovereign Modal Signatures | Inproceedings Konferenzbeitrag  | 2027 |
| 2 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel | Sep-2026 |
| 3 |  | Dutertre, Bruno ; Könighofer, Bettina | Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 | Proceedings Tagungsband   | Sep-2026 |
| 4 |  | Kovacs, Laura | The Vampire Diary | Inproceedings Konferenzbeitrag | Sep-2026 |
| 5 |  | Ferdowsi, Arman ; Kovacs, Laura | Certificate-Aware Property-Directed Reachability | Inproceedings Konferenzbeitrag | Sep-2026 |
| 6 |  | Saccomani, Pedro ; Mohamed, Abdalrhman ; Pertseva, Elisaveta ; Kaufmann, Daniela ; Tinelli, Cesare ; Barrett, Clark ; Barbosa, Haniel | Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean | Inproceedings Konferenzbeitrag | Sep-2026 |
| 7 |  | Kafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra | Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields | Inproceedings Konferenzbeitrag | Sep-2026 |
| 8 |  | Adame, Berhan Oumer ; Bogaerts, Bart ; Bogø, Benjamin ; Dold, Simon ; GONTIER, Arthur ; Koops, Wietze ; McCreesh, Ciaran ; McIlree, Matthew ; Nordström, Jakob ; Oertel, Andy ; Rebola Pardo, Adrian ; Turnbull, Mark Paul | Trimming Pseudo-Boolean Proofs | Inproceedings Konferenzbeitrag | Sep-2026 |
| 9 | | Chu, Hien Thi Thu ; Corsi, Alessandro ; Rösler, Paul | Anamorphic Messaging: Analyzing the Double Ratchet, Triple Ratchet, PQ3, and MLS | Presentation Vortrag | 13-Aug-2026 |
| 10 | | Faonio, Antonio ; Russo, Luigi | Sumcheck-Based zkSNARKs are Non-malleable | Inproceedings Konferenzbeitrag | 11-Aug-2026 |
| 11 | | Breuer, Nils Ole ; Linhardt, Lorenz ; Normann, Philipp ; Arp, Daniel | Towards Explaining Classification Models in Security with Sparse Autoencoders | Inproceedings Konferenzbeitrag | 6-Aug-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 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 14 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 15 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 16 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 17 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 18 | | 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 |
| 19 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 20 | | Bai, Tian ; Fomin, Fedor V. ; Golovach, Petr A. ; More, Yash Hiren ; Wietheger, Simon | Clustering Permutations Under the Ulam Metric: A Parameterized Complexity Study | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 21 | | Hoang, Hung P. ; Ohsaka, Naoto ; Saito, Rin ; Tamura, Yuma | On (In)approximability of MaxMin Independent Set Reconfiguration | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 22 | | Wallinger, Markus ; Bonerath, Annika ; Terziadis, Soeren ; Wulms, Jules ; Nöllenburg, Martin | Clarity and Computational Efficiency of Orbital Boundary Labeling | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 23 | | Dobler, Alexander ; Le Thanh, Son ; Nöllenburg, Martin ; Weinkauf, Tino | Minimizing Visual Clutter in Temporal Treemaps to Enable Comparison of Evolving Hierarchies | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 24 | | Alsuwaykit, Zainab ; Rajeh, Yousef ; Kouyoumdjian, Alexandre ; Kieffer, Steve ; Engel, Dominik ; Di Bartolomeo, Sara ; Nöllenburg, Martin ; Viola, Ivan | ARCOL: Aspect Ratio Constrained Orthogonal Layout | Article Artikel | 17-Jun-2026 |
| 25 | | Thölke, Henri ; Fermüller, Christian G. | Comparing Methods for Distance-based Many-valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 26 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 27 |  | Di Bartolomeo, S. ; Dobler, A. ; Filipov, Velitchko ; Nöllenburg, Martin ; Ehlers, H. | The Story(line) So Far: A Survey on Storyline Visualization | Inproceedings Konferenzbeitrag | 8-Jun-2026 |
| 28 | | Depian, Thomas ; Haase, Carolina ; Nöllenburg, Martin ; Schulz, André | Realizing Planar Linkages in Polygonal Domains | Inproceedings Konferenzbeitrag | 7-Jun-2026 |
| 29 | | Brenner, Sofia ; Fink, Jiří ; Hoang, Phuc Hung ; Merino, Arturo ; Pilaud, Vincent | Minimum Maximal Matchings in Permutahedra | Article Artikel | 5-Jun-2026 |
| 30 |  | Saha, Aakanksha ; Lindorfer, Martina ; Caballero, Juan | Kitten or Panda? Measuring the Specificity of Threat Group Behaviors in Public CTI Knowledge Bases | Inproceedings Konferenzbeitrag | 4-Jun-2026 |
| 31 | | Lanzinger, Matthias ; Razgon, Igor | FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs | Article Artikel | Jun-2026 |
| 32 |  | Capelli, Florent ; Carmeli, Nofar ; Conte, Alessio ; Kimelfeld, Benny ; Pichler, Reinhard ; Tziavelis, Nikolaos | Enumeration Theory through the Lens of Database Challenges | Inproceedings Konferenzbeitrag | 30-May-2026 |
| 33 |  | Lanzinger, Matthias ; Pichler, Reinhard ; Selzer, Alexander | Query Answering without Join Computation: An Interactive Exploration of Practical Techniques | Inproceedings Konferenzbeitrag | 30-May-2026 |
| 34 | | Borzechowski, Michaela ; Haslebacher, Sebastian ; Hoang, Hung P. ; Schnider, Patrick ; Weber, Simon | Splitting Sandwiches Unevenly via Unique Sink Orientations and Rainbow Arrangements | Inproceedings Konferenzbeitrag | 27-May-2026 |
| 35 | | Katz, Jonathan ; Sefranek, Marek | Issuer Hiding for BBS-Based Anonymous Credentials | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 36 | | Klocker, Linus ; Fink, Simon Dominik | Hexasort – the Complexity of Stacking Colors on Graphs | Inproceedings Konferenzbeitrag | 15-May-2026 |
| 37 | | Gärtner, Bernd ; Haslebacher, Sebastian ; Hoang, Hung P. | Sinks and Ladders: ARRIVAL and SSG with Two Vertices per Level | Inproceedings Konferenzbeitrag | 15-May-2026 |
| 38 | | Barceló, Pablo ; Geerts, Floris ; Lanzinger, Matthias ; Pakhomenko, Klara ; Van den Bussche, Jan | A Logical View of GNN-Style Computation and the Role of Activation Functions | Article Artikel | 14-May-2026 |
| 39 | | Lanzinger, Matthias ; Razgon, Igor ; Unterberger, Daniel | FPT Parameterisations of Fractional and Generalised Hypertree Width | Article Artikel | 14-May-2026 |
| 40 | | Fuchsbauer, Georg ; Sefranek, Marek | Plonk Without Random Oracles | Presentation Vortrag | 9-May-2026 |
| 41 | | Mulhern, James Harrison ; Zhao, Bingyu ; Shibayama, Takeru ; Raidl, Günther R. | Public Transit Optimization via a Novel Connectivity Parameter | Presentation Vortrag | 7-May-2026 |
| 42 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel | May-2026 |
| 43 | | Münch, Miriam ; Fink, Simon Dominik ; Pfretzschner, Matthias ; Rutter, Ignaz | Heuristics for Exact 1-Planarity Testing | Article Artikel | 29-Apr-2026 |
| 44 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag | 26-Apr-2026 |
| 45 |  | 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 |
| 46 | | Schreiber, Dominik ; Fleury, Mathias ; Fazekas, Katalin ; Biere, Armin | Real-time Proof Checking for Distributed Incremental SAT Solving | Inproceedings Konferenzbeitrag | 16-Apr-2026 |
| 47 | | 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 |
| 48 |  | Sextl, Florian | Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust | Presentation Vortrag | 13-Apr-2026 |
| 49 |  | Dolci, Tommaso ; Jovanovik, Milos ; Hose, Katja | Towards LLM-KG Symbiosis for Reducing Factual Hallucinations | Inproceedings Konferenzbeitrag | 9-Apr-2026 |
| 50 | | Jovanovik, Milos ; Vecovska, Marija ; Jakubowski, Maxime ; Hose, Katja | RDFGraphGen: An RDF Graph Generator Based on SHACL Shapes | Inproceedings Konferenzbeitrag | 1-Apr-2026 |
| 51 | | Creignou, Nadia ; Merkl, Timo ; Pichler, Reinhard ; Unterberger, Daniel | From FPT Decision to FPT Enumeration | Inproceedings Konferenzbeitrag | 30-Mar-2026 |
| 52 |  | Böhm, Daniela ; Gottlob, Georg ; Lanzinger, Matthias ; Longo, Davide Mario ; Okulmus, Cem ; Pichler, Reinhard ; Selzer, Alexander | Selective Use of Yannakakis' Algorithm for Consistent Performance Gains | Inproceedings Konferenzbeitrag | 25-Mar-2026 |
| 53 | | Deeds, Kyle ; Merkl, Timo Camillo ; Pichler, Reinhard ; Suciu, Dan | Query Decompositions and All That | Inproceedings Konferenzbeitrag | 18-Mar-2026 |
| 54 |  | Lanzinger, Matthias ; Pichler, Reinhard ; Selzer, Alexander | Database Theory in Action: Evaluation of Aggregate Queries Without Materialisation | Inproceedings Konferenzbeitrag | 18-Mar-2026 |
| 55 | | Ganian, Robert ; Hoang, Hung P. ; Wietheger, Simon | Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 56 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 57 | | Schrott, Johannes ; Jakubowski, Maxime ; Hose, Katja | Graph-Native Normalization | Preprint Preprint | 3-Mar-2026 |
| 58 | | 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 |
| 59 | | Ganian, Robert ; Rocton, Mathis | Computing Twin-Width via Treedepth and Vertex Integrity | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 60 | | Kovács, Áron Samuel ; Hermosilla, Pedro ; Raidou, Renata G. | Style Brush: Guided Style Transfer for 3D Objects | Article Artikel | 16-Feb-2026 |
| 61 | | Dobler, Alexander ; Nöllenburg, Martin | Block Crossings in One-Sided Tanglegrams | Article Artikel | 7-Feb-2026 |
| 62 | | de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan | OBDDs, SDDs, and circuits of bounded width: Completeness matters | Article Artikel | Feb-2026 |
| 63 | | 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 |
| 64 | | Gregor, Petr ; Hoang, Hung P. ; Merino, Arturo ; Mička, Ondřej | Generating all invertible matrices by row operations | Article Artikel | Feb-2026 |
| 65 | | Ganian, Robert | Parameterized Complexity in Machine Learning | Article Artikel | Feb-2026 |
| 66 | | Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Korchemna, Viktoriia | A structural complexity analysis of synchronous dynamical systems | Article Artikel | Feb-2026 |
| 67 | | Sefranek, Marek | Sparkle Revisited: Proving Tight Adaptive Security of a Simple Schnorr Threshold Scheme | Presentation Vortrag | 26-Jan-2026 |
| 68 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | Rule-based Classifier Models | Inproceedings Konferenzbeitrag | 13-Jan-2026 |
| 69 | | 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 |
| 70 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Nöllenburg, Martin | The Peculiarities of Extending Queue Layouts | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 71 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 72 | | Ganian, Robert ; Hoang, Hung P. ; Komusiewicz, Christian ; Morawietz, Nils | A Parameterized-Complexity Framework for Finding Local Optima | Inproceedings Konferenzbeitrag | 1-Jan-2026 |
| 73 | | Atzeni, Paolo ; Baldazzi, Teodoro ; Bellomarini, Luigi ; Laurenza, Eleonora ; Sallinger, Emanuel | Semantic-aware query answering with Large Language Models | Article Artikel | Jan-2026 |
| 74 | | 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 |
| 75 | | 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 |
| 76 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan | A General Theoretical Framework for Learning Smallest Interpretable Models | Article Artikel | Jan-2026 |
| 77 | | Piselli, Tommaso ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Nöllenburg, Martin ; Di Bartolomeo, Sara | F²Stories: A Modular Framework for Multi-Objective Optimization of Storylines with a Focus on Fairness | Article Artikel | Jan-2026 |
| 78 |  | Selzer, Alexander | A Structural Approach to Query Optimisation for Efficient Join and Aggregate Processing | Thesis Hochschulschrift | 2026 |
| 79 |  | Simola, Sofia Henna Elisa | Algorithmic Complexity of Matching and Games | Thesis Hochschulschrift | 2026 |
| 80 | | Gjergji, Ida ; Kletzander, Lucas ; Musliu, Nysret | Large neighborhood search and hyper-heuristics for the capacitated p-median problem | Article Artikel | 2026 |
| 81 |  | Dobler, Alexander | Algorithmic Aspects of Ordering Problems in Information Visualization | Thesis Hochschulschrift | 2026 |
| 82 |  | Tagliaro, Carlotta | “Things” Fall Apart : Adventures in Securing a World of Connected Chaos | Thesis Hochschulschrift | 2026 |
| 83 |  | Merkl, Timo | On the Diversity and Space-Time Complexity of Query Answering: Algorithms and Structural Foundations | Thesis Hochschulschrift | 2026 |
| 84 |  | Di Stefano, Federica | Non-monotonic Description Logics Based on Predicate Minimization | Thesis Hochschulschrift | 2026 |
| 85 | | 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 |
| 86 |  | Kitzler, Stefan | Computational Methods for Analyzing Decentralized Finance Ecosystems | Thesis Hochschulschrift | 2026 |
| 87 | | Stoiber, Christina ; Filipov, Velitchko ; Amabili, Lorenzo ; Keck, Mandy ; Raidou, Renata Georgia ; Wu, Hsiang-Yun ; Boucher, Magdalena ; Kriglstein, Simone ; De-Jesus-Oliveira, Victor-Adriel | Visgames 2026: EuroVis Workshop on Visualization Play, Games, and Activities | Proceedings Tagungsband | 2026 |
| 88 |  | Oberbacher, Manuel | Automatic pipe routing approach for HVAC systems in complex building architectures | Thesis Hochschulschrift  | 2026 |
| 89 |  | Varonka, Anton | Algebraic Analysis of Loop Programs | Thesis Hochschulschrift | 2026 |
| 90 |  | Sallinger, Sarah Sophie | Rigorous Debugging Techniques for Software Systems | Thesis Hochschulschrift | 2026 |
| 91 |  | Huber, Michael Kiran | Connection or Coincidence? Analytical Null Models for Co-occurrence in Bipartite Multigraphs | Thesis Hochschulschrift | 2026 |
| 92 |  | Lecker, Mario | Virtualization-based code obfuscation via android runtime permutation | Thesis Hochschulschrift | 2026 |
| 93 |  | Ploner, Alex | The silent bridge : how web-to-app mechanisms enable user tracking | Thesis Hochschulschrift | 2026 |
| 94 |  | Gewald, Philipp Julian | Android OAT library detection : detecting third party libraries leveraging of ahead time format in android applications | Thesis Hochschulschrift | 2026 |
| 95 |  | Miarasadollahnejad, Amir Hossein | Using graph neural networks to capture SHACL constraints in graph data | Thesis Hochschulschrift | 2026 |
| 96 |  | Sula, Julius | Faithful attention attribution in vision transformers for chest X-ray interpretation | Thesis Hochschulschrift | 2026 |
| 97 |  | Schärmer, Alina Sophia | LLM-based IDS alert interpretation for cyber incident analysis and triage | Thesis Hochschulschrift | 2026 |
| 98 | | Moeini Jam, Mehran ; Kalantari, Hamed ; Khamespanah, Ehsan ; Sirjani, Marjan ; Movaghar, Ali | Compositional Verification of Timed Automata via Violation Assumptions | Inproceedings Konferenzbeitrag | 2026 |
| 99 |  | Johnston, Emile | Entropy-steering : a lookahead approach to high-capacity generative linguistic steganography | Thesis Hochschulschrift | 2026 |
| 100 |  | Pleßberger, Sascha | Semantic verification of ethereum smart contracts using KEVM | Thesis Hochschulschrift | 2026 |
