|
| | 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 |  | Schärmer, Alina ; Landauer, Max ; Skopik, Florian ; Wurzenberger, Markus ; Squarcina, Marco | Let the Alerts Speak: LLM-Based IDS Alert Interpretation for SOC Triage | Inproceedings Konferenzbeitrag   | 2027 |
| 3 | | Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas | HoloCoT: Holographic Chain-of-Thought via Orthogonal Subspace Anchoring for Persistent Long-Horizon Reasoning | Inproceedings Konferenzbeitrag | 2027 |
| 4 | | Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes | Answer-Set-Programming-based Abstractions for Reinforcement Learning | Presentation Vortrag | 24-Nov-2026 |
| 5 |  | 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 |
| 6 |  | Paracha, Muhammad Talha ; Posluns, Kyle ; Borgolte, Kevin ; Lindorfer, Martina ; Choffnes, David | Hallucinating Certificates: Differential Testing of TLS Certificate Validation Using Generative Language Models | Inproceedings Konferenzbeitrag | 11-Sep-2026 |
| 7 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics: Extended Abstract | Presentation Vortrag | 8-Sep-2026 |
| 8 | | Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas | Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair | Inproceedings Konferenzbeitrag | 7-Sep-2026 |
| 9 | | Xu, Zhenghua ; Wang, Zhenzhen ; Liu, Jing ; Li, Bo ; Ma, Xijia ; Zhan, Yuefu ; Yang, Runhe ; Lukasiewicz, Thomas | HGR-DiffSeg: Hybrid-guided robust diffusion model for medical image segmentation | Article Artikel | 1-Sep-2026 |
| 10 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel | Sep-2026 |
| 11 |  | Dutertre, Bruno ; Könighofer, Bettina | Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 | Proceedings Tagungsband | Sep-2026 |
| 12 |  | Kovacs, Laura | The Vampire Diary | Inproceedings Konferenzbeitrag | Sep-2026 |
| 13 |  | 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 |
| 14 |  | Kafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra | Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields | Inproceedings Konferenzbeitrag | Sep-2026 |
| 15 |  | 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 |
| 16 |  | Ferdowsi, Arman ; Kovacs, Laura | Certificate-Aware Property-Directed Reachability | Inproceedings Konferenzbeitrag | Sep-2026 |
| 17 | | Kletzander, Lucas | Multi-Contract Integrated Shift Design and Rostering | Presentation Vortrag | 27-Aug-2026 |
| 18 | | Bresich, Maria ; Peng, Jingyi ; Raidl, Günther R. ; Limmer, Steffen | Determining Destroy Sets in Large Neighborhood Search by Generative Flow Networks | Inproceedings Konferenzbeitrag | 25-Aug-2026 |
| 19 |  | 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 |
| 20 | | van Berkel, Kees ; Sabatini, Andrea | Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation | Inproceedings Konferenzbeitrag | 19-Aug-2026 |
| 21 |  | Haldimann, Jonas ; Šimkus, Mantas ; Meyer, Thomas | Towards Defeasible Reasoning about Actions and Their Effects | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 22 |  | Šimkus, Mantas | A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 23 |  | Buraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas | Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 24 |  | Skaisgiris, Paulius ; Veronese, Celeste ; Meli, Daniele | Learning Symbolic Temporal Advice for Guiding Reinforcement Learning (Extended Abstract) | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 25 | | 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 |
| 26 | | Alwen, Joël ; Fuchsbauer, Georg ; Mularczyk, Marta ; Riepel, Doreen | Lattice-Based Updatable KEM for Group Messaging | Inproceedings Konferenzbeitrag | 13-Aug-2026 |
| 27 | | Faonio, Antonio ; Russo, Luigi | Sumcheck-Based zkSNARKs are Non-malleable | Inproceedings Konferenzbeitrag | 11-Aug-2026 |
| 28 | | Breuer, Nils Ole ; Linhardt, Lorenz ; Normann, Philipp ; Arp, Daniel | Towards Explaining Classification Models in Security with Sparse Autoencoders | Inproceedings Konferenzbeitrag | 6-Aug-2026 |
| 29 | | Almeida, José ; Limmer, Steffen ; Soares, João ; Bresich, Maria ; Raidl, Günther ; Vale, Zita | Dataset of electric autonomous dial-a-ride instances with local energy communities and electricity tariffs | Article Artikel | Aug-2026 |
| 30 |  | Beer, Philipp ; Roth, Sebastian ; Lindorfer, Martina ; Squarcina, Marco | Plain Text, Plain Risks: Measuring HTTP Inclusion in Android WebViews at Scale | Inproceedings Konferenzbeitrag | Aug-2026 |
| 31 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 32 | | Varga, Johannes | Interactive Personnel Scheduling for Improved User Experience | Presentation Vortrag | 31-Jul-2026 |
| 33 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Shapes from Examples: Foundations of Shape Learning in Recursive SHACL | Preprint Preprint | 30-Jul-2026 |
| 34 | | Leitsch, Alexander ; Lolic, Anela ; Mahler, Stella | Schemata, Cyclic Proofs and Herbrand Systems | Presentation Vortrag | 25-Jul-2026 |
| 35 | | Cissell, Bethany Isabella | Argumentation Based Dialogue Games for Deontic Explanations with Uncertainty | Presentation Vortrag | 25-Jul-2026 |
| 36 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Reaching for the Stars in EL* Concept Learning | Inproceedings Konferenzbeitrag | 25-Jul-2026 |
| 37 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 38 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 39 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 40 | | Hofstadler, Clemens ; Kaufmann, Daniela ; Chen, Chen | Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 41 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 42 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela ; Mahler, Stella | How to deal with Henkin Quantifiers in First-Order Logic | Presentation Vortrag | 24-Jul-2026 |
| 43 | | Pichler, Dominik ; Tagliaferri, Mirko | Robust Classification in ML: A Topological Semantics Approach | Inproceedings Konferenzbeitrag | 18-Jul-2026 |
| 44 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 45 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 46 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 47 | | Varga, Johannes ; Raidl, Günther ; Rodemann, Tobias | Timing of Queries in Interactive Job Scheduling | Presentation Vortrag | 16-Jul-2026 |
| 48 | | Iurlano, Enrico ; Raidl, Günther ; Weissenfels, Alexander | A Beam Search for Linearly Covering all Subsets of a Finite Set | Presentation Vortrag | 16-Jul-2026 |
| 49 | | Pollitt, Florian ; Fleury, Mathias ; Fazekas, Katalin ; Froleyks, Nils ; Schidler, André ; Schreiber, Dominik ; Biere, Armin | CaDiCaL 3.0 (Tool Paper) | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 50 | | Chew, Leroy ; Peitl, Tomáš | Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 51 |  | Kovács, Laura | SAT in Saturation: A Satisfied Match | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 52 | | Kletzander, Lucas ; Foschini, Marco ; Guns, Tias | Automated Weight Setting for Interactive Exploration in Multi-objective Combinatorial Optimization | Presentation Vortrag | 15-Jul-2026 |
| 53 |  | Kovács, Laura | Saturation-Guided Inductive Synthesis | Inproceedings Konferenzbeitrag | 15-Jul-2026 |
| 54 | | Danzinger, Philipp ; Musliu, Nysret | From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 55 | | Foschini, Marco ; Gamba, Emilio ; Kletzander, Lucas ; Guns, Tias | From CP Modeling to Preference Elicitation in HMLV Assembly Problems | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 56 | | Winter, Felix | A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 57 | | Szeider, Stefan | CP-Agent: Agentic Constraint Programming | Inproceedings Konferenzbeitrag | 6-Jul-2026 |
| 58 | | 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 |
| 59 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 60 | | 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 |
| 61 | | Hoang, Hung P. ; Ohsaka, Naoto ; Saito, Rin ; Tamura, Yuma | On (In)approximability of MaxMin Independent Set Reconfiguration | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 62 |  | Bachmann, Paul Anton ; Boehmer, Niclas ; Klausner, Lukas Daniel ; Lackner, Martin | AI of the People, by the People, for the People: A Social Choice Approach to Collective Control of Artificial Intelligence | Inproceedings Konferenzbeitrag | 25-Jun-2026 |
| 63 | | Wallinger, Markus ; Bonerath, Annika ; Terziadis, Soeren ; Wulms, Jules ; Nöllenburg, Martin | Clarity and Computational Efficiency of Orbital Boundary Labeling | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 64 | | 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 |
| 65 | | 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 |
| 66 |  | 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 |
| 67 | | Thölke, Henri ; Fermüller, Christian G. | Comparing Methods for Distance-based Many-valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 68 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 69 |  | 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 |
| 70 | | Frühwirth, Lukas ; Einspieler, Christoph ; Musliu, Nysret ; Winter, Felix | GPMS: A Generalized Parallel Machine Scheduling Framework with Rich Temporal and Resource Constraints | Inproceedings Konferenzbeitrag | 8-Jun-2026 |
| 71 | | Depian, Thomas ; Haase, Carolina ; Nöllenburg, Martin ; Schulz, André | Realizing Planar Linkages in Polygonal Domains | Inproceedings Konferenzbeitrag | 7-Jun-2026 |
| 72 | | Brenner, Sofia ; Fink, Jiří ; Hoang, Phuc Hung ; Merino, Arturo ; Pilaud, Vincent | Minimum Maximal Matchings in Permutahedra | Article Artikel | 5-Jun-2026 |
| 73 |  | 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 |
| 74 |  | Weninger, Andreas ; Andreeva, Elena | PUE Schemes: Efficient Updatable Encryption With Robust Security From Symmetric Primitives | Inproceedings Konferenzbeitrag | 4-Jun-2026 |
| 75 | | van Berkel, Kees | A Formal Study of Ought Implies Can and Other Metaethical Principles | Article Artikel | 2-Jun-2026 |
| 76 | | Mugdan, Esther ; Kletzander, Lucas ; Musliu, Nysret | Explainability Results for the Rotating Workforce Scheduling Problem | Inproceedings Konferenzbeitrag | 1-Jun-2026 |
| 77 | | Lanzinger, Matthias ; Razgon, Igor | FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs | Article Artikel | Jun-2026 |
| 78 | | Bresich, Maria ; Raidl, Günther R. ; Limmer, Steffen | Revisiting Large Neighborhood Search with On-the-Fly Charging Station Insertion for the Electric Autonomous Dial-a-Ride Problem | Article Artikel | Jun-2026 |
| 79 | | Grasmann, Lukas ; Musliu, Nysret | Improvements of Machine Learning forecasting for perishable food sales in real-world grocers | Article Artikel | Jun-2026 |
| 80 |  | 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 |
| 81 |  | Lanzinger, Matthias ; Pichler, Reinhard ; Selzer, Alexander | Query Answering without Join Computation: An Interactive Exploration of Practical Techniques | Inproceedings Konferenzbeitrag | 30-May-2026 |
| 82 | | 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 |
| 83 | | Buraglio, Giovanni ; Dvořák, Wolfgang ; Woltran, Stefan | Splitting Assumption-Based Argumentation Frameworks | Inproceedings Konferenzbeitrag | 24-May-2026 |
| 84 | | Szeider, Stefan | ContReAct: A Feedback-Based Architecture for Continuous Agentic Operation | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 85 | | Katz, Jonathan ; Sefranek, Marek | Issuer Hiding for BBS-Based Anonymous Credentials | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 86 | | Szeider, Stefan | ASP-Bench: From Natural Language to Logic Programs | Inproceedings Konferenzbeitrag | 18-May-2026 |
| 87 | | Klocker, Linus ; Fink, Simon Dominik | Hexasort – the Complexity of Stacking Colors on Graphs | Inproceedings Konferenzbeitrag | 15-May-2026 |
| 88 | | Gärtner, Bernd ; Haslebacher, Sebastian ; Hoang, Hung P. | Sinks and Ladders: ARRIVAL and SSG with Two Vertices per Level | Inproceedings Konferenzbeitrag | 15-May-2026 |
| 89 | | 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 |
| 90 | | Lanzinger, Matthias ; Razgon, Igor ; Unterberger, Daniel | FPT Parameterisations of Fractional and Generalised Hypertree Width | Article Artikel | 14-May-2026 |
| 91 | | Fuchsbauer, Georg ; Sefranek, Marek | Plonk Without Random Oracles | Presentation Vortrag | 9-May-2026 |
| 92 | | Mulhern, James Harrison ; Zhao, Bingyu ; Shibayama, Takeru ; Raidl, Günther R. | Public Transit Optimization via a Novel Connectivity Parameter | Presentation Vortrag | 7-May-2026 |
| 93 | | Gerhart, Paul Claus ; Li Calsi, Davide ; Russo, Luigi ; Schröder, Dominique | Fully-Adaptive Two-Round Threshold Schnorr Signatures from DDH | Inproceedings Konferenzbeitrag | 7-May-2026 |
| 94 | | Salvà Soler, Joan ; Raidl, Günther R. | A Denoising Diffusion-Based Evolutionary Algorithm Framework: Application to the Maximum Independent Set Problem | Inproceedings Konferenzbeitrag | 1-May-2026 |
| 95 | | Tomandl, Laurenz ; Bresich, Maria ; Raidl, Günther R. ; Mei, Yi ; Limmer, Steffen ; Rodemann, Tobias | A Reinforcement Learning Guided Large Neighborhood Search for the Dynamic Electric Autonomous Dial-a-Ride Problem | Inproceedings Konferenzbeitrag | 1-May-2026 |
| 96 | | Bresich, Maria ; Raidl, Günther R. ; Coleman, Caspian ; Welke, Pascal ; Limmer, Steffen | Search Space Reduction Through Machine Learning for the Electric Autonomous Dial-A-Ride Problem | Inproceedings Konferenzbeitrag | 1-May-2026 |
| 97 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel | May-2026 |
| 98 | | Wang, Xiangtao ; Wang, Ruizhi ; Lukasiewicz, Thomas ; Xu, Zhenghua | AMLP: Adjustable Masking Lesion Patches for Self-Supervised Medical Image Segmentation | Article Artikel | May-2026 |
| 99 | | Xu, Zhenghua ; Liu, Yunxin ; Yuan, Di ; Li, Bo ; Liu, Weipeng ; Lukasiewicz, Thomas | You Need Glimpse Before Segmentation: Stochastic Detector-Actor-Critic for Medical Image Segmentation | Article Artikel | May-2026 |
| 100 | | Harviainen, Juha ; Sommer, Frank ; Sorge, Manuel | Exact and Approximate Algorithms for Polytree Learning | Inproceedings Konferenzbeitrag | 30-Apr-2026 |
