|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Tagliaro, Carlotta ; Komsic, Martina ; Anselmi, Gianluca ; Mandalari, Anna Maria ; Lindorfer, Martina | Bridging Devices and Apps: A Joint Analysis of IoT Privacy and Communication | Inproceedings Konferenzbeitrag | Oct-2027 |
| 2 | | 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 |
| 3 |  | 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 |
| 4 | | 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 |
| 5 | | Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes | Answer-Set-Programming-based Abstractions for Reinforcement Learning | Presentation Vortrag | 24-Nov-2026 |
| 6 | | He, Jie ; Kenbeek, Vincent Theo Willem ; Yang, Zhantao ; Qu, Meixun ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu | TD-interpreter: enhancing the understanding of timing diagrams with visual-language learning | Article Artikel | Nov-2026 |
| 7 |  | Fazekas, Katalin ; Heule, Marijn J. H. ; Iser, Ashlin | Proceedings of SAT Competition 2026 : Solver and Benchmark Descriptions | Proceedings Tagungsband | Nov-2026 |
| 8 | | Eiter, Thomas ; Geibinger, Tobias ; Pfliegler, Dave | Bayesian Hyperparameter Optimization with ALASPO | Inproceedings Konferenzbeitrag  | 11-Oct-2026 |
| 9 |  | Pesare, Alessandro ; Dolci, Tommaso ; Hose, Katja ; Sallinger, Emanuel | Value-Preserving Architectures for Agentic AI Systems | Inproceedings Konferenzbeitrag | 8-Oct-2026 |
| 10 | | Lopez-Miguel, Ignacio D. ; Happe, Andreas ; Cito, Jürgen ; Bartocci, Ezio ; Könighofer, Bettina ; Tappler, Martin | ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning | Inproceedings Konferenzbeitrag | 3-Oct-2026 |
| 11 |  | Aumayr, Lukas ; Avarikioti, Zeta ; Woll, Robin Linus ; Maffei, Matteo ; Pelosi, Andrea ; Stefo, Christos ; Zamyatin, Alexei | BitVM: Quasi-Turing Complete Computation on Bitcoin | Inproceedings Konferenzbeitrag | 2-Oct-2026 |
| 12 |  | Scaffino, Giulia ; Resnick, Max ; Neu, Joachim | Gatling: Rapid-Fire Consensus from Parallel Composition | Inproceedings Konferenzbeitrag | 2-Oct-2026 |
| 13 |  | Aumayr, Lukas ; Avarikioti, Zeta ; Karakostas, Dimitris ; Kreder, Karl ; Shastry, Shreekara | Optimal Reward Allocation via Proportional Splitting | Inproceedings Konferenzbeitrag | 2-Oct-2026 |
| 14 |  | 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 |
| 15 |  | Chow, Theo ; D'Onghia, Mario ; Linhardt, Lorenz ; Kan, Zeliang ; Arp, Daniel ; Cavallaro, Lorenzo ; Pierazzi, Fabio | Beyond the Tesseract: Trustworthy Dataset Curation for Sound Evaluations of Android Malware Classifiers | Inproceedings Konferenzbeitrag | 22-Sep-2026 |
| 16 |  | 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 |
| 17 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics: Extended Abstract | Presentation Vortrag | 8-Sep-2026 |
| 18 | | Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas | Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair | Inproceedings Konferenzbeitrag | 7-Sep-2026 |
| 19 | | 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 |
| 20 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel | Sep-2026 |
| 21 |  | Dutertre, Bruno ; Könighofer, Bettina | Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 | Proceedings Tagungsband | Sep-2026 |
| 22 |  | Kovacs, Laura | The Vampire Diary | Inproceedings Konferenzbeitrag | Sep-2026 |
| 23 |  | 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 |
| 24 |  | 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 |
| 25 |  | Ferdowsi, Arman ; Kovacs, Laura | Certificate-Aware Property-Directed Reachability | Inproceedings Konferenzbeitrag | Sep-2026 |
| 26 | | Ceylan, Esra ; Chen, Jiehua ; Roy, Sanjukta | Optimal seat arrangement: What are the hard and easy cases? | Article Artikel | Sep-2026 |
| 27 | | Chen, Jiehua ; Niedermeier, Rolf ; Skowron, Piotr | Stable marriage with multi-modal preferences | Article Artikel | Sep-2026 |
| 28 |  | Kafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra | Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields | Inproceedings Konferenzbeitrag | Sep-2026 |
| 29 | | Kletzander, Lucas | Multi-Contract Integrated Shift Design and Rostering | Presentation Vortrag | 27-Aug-2026 |
| 30 | | Gjergji, Ida ; Kletzander, Lucas ; Bierlee, Hendrik ; Musliu, Nysret ; Stuckey, Peter J. | Decomposition Techniques for the Aircraft Maintenance Routing Problem | Presentation Vortrag | 26-Aug-2026 |
| 31 | | 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 |
| 32 | | Iurlano, Enrico ; Raidl, Günther R. | SAT-Based Search for Minwise Independent Families | Inproceedings Konferenzbeitrag | 25-Aug-2026 |
| 33 |  | 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 |
| 34 | | van Berkel, Kees ; Sabatini, Andrea | Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation | Inproceedings Konferenzbeitrag | 19-Aug-2026 |
| 35 |  | Haldimann, Jonas ; Šimkus, Mantas ; Meyer, Thomas | Towards Defeasible Reasoning about Actions and Their Effects | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 36 |  | Šimkus, Mantas | A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 37 |  | Buraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas | Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 38 |  | Skaisgiris, Paulius ; Veronese, Celeste ; Meli, Daniele | Learning Symbolic Temporal Advice for Guiding Reinforcement Learning (Extended Abstract) | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 39 | | 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 |
| 40 | | Alwen, Joël ; Fuchsbauer, Georg ; Mularczyk, Marta ; Riepel, Doreen | Lattice-Based Updatable KEM for Group Messaging | Inproceedings Konferenzbeitrag | 13-Aug-2026 |
| 41 | | Faonio, Antonio ; Russo, Luigi | Sumcheck-Based zkSNARKs are Non-malleable | Inproceedings Konferenzbeitrag | 11-Aug-2026 |
| 42 | | Breuer, Nils Ole ; Linhardt, Lorenz ; Normann, Philipp ; Arp, Daniel | Towards Explaining Classification Models in Security with Sparse Autoencoders | Inproceedings Konferenzbeitrag | 6-Aug-2026 |
| 43 | | 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 |
| 44 |  | Beer, Philipp ; Roth, Sebastian ; Lindorfer, Martina ; Squarcina, Marco | Plain Text, Plain Risks: Measuring HTTP Inclusion in Android WebViews at Scale | Inproceedings Konferenzbeitrag | Aug-2026 |
| 45 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 46 | | Varga, Johannes | Interactive Personnel Scheduling for Improved User Experience | Presentation Vortrag | 31-Jul-2026 |
| 47 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Shapes from Examples: Foundations of Shape Learning in Recursive SHACL | Preprint Preprint | 30-Jul-2026 |
| 48 | | Leitsch, Alexander ; Lolic, Anela ; Mahler, Stella | Schemata, Cyclic Proofs and Herbrand Systems | Presentation Vortrag | 25-Jul-2026 |
| 49 | | Cissell, Bethany Isabella | Argumentation Based Dialogue Games for Deontic Explanations with Uncertainty | Presentation Vortrag | 25-Jul-2026 |
| 50 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Reaching for the Stars in EL* Concept Learning | Inproceedings Konferenzbeitrag | 25-Jul-2026 |
| 51 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 52 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 53 | | Hofstadler, Clemens ; Kaufmann, Daniela ; Chen, Chen | Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 54 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 55 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela ; Mahler, Stella | How to deal with Henkin Quantifiers in First-Order Logic | Presentation Vortrag | 24-Jul-2026 |
| 56 | | Kirchweger, Markus ; Manrique Merchan, Pablo ; Szeider, Stefan | Formally Verified Graph Generation with SAT Modulo Symmetries and Lean | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 57 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 58 | | Pichler, Dominik ; Tagliaferri, Mirko | Robust Classification in ML: A Topological Semantics Approach | Inproceedings Konferenzbeitrag | 18-Jul-2026 |
| 59 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 60 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 61 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 62 | | Varga, Johannes ; Raidl, Günther ; Rodemann, Tobias | Timing of Queries in Interactive Job Scheduling | Presentation Vortrag | 16-Jul-2026 |
| 63 | | Iurlano, Enrico ; Raidl, Günther ; Weissenfels, Alexander | A Beam Search for Linearly Covering all Subsets of a Finite Set | Presentation Vortrag | 16-Jul-2026 |
| 64 | | Pollitt, Florian ; Fleury, Mathias ; Fazekas, Katalin ; Froleyks, Nils ; Schidler, André ; Schreiber, Dominik ; Biere, Armin | CaDiCaL 3.0 (Tool Paper) | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 65 | | Chew, Leroy ; Peitl, Tomáš | Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 66 |  | Kovács, Laura | SAT in Saturation: A Satisfied Match | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 67 | | Gjergji, Ida ; Kletzander, Lucas ; Musliu, Nysret | Hyper-heuristics for the capacitated p-median problem | Presentation Vortrag | 16-Jul-2026 |
| 68 | | Kletzander, Lucas ; Foschini, Marco ; Guns, Tias | Automated Weight Setting for Interactive Exploration in Multi-objective Combinatorial Optimization | Presentation Vortrag | 15-Jul-2026 |
| 69 |  | Kovács, Laura | Saturation-Guided Inductive Synthesis | Inproceedings Konferenzbeitrag | 15-Jul-2026 |
| 70 | | Danzinger, Philipp ; Musliu, Nysret | From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 71 | | Foschini, Marco ; Gamba, Emilio ; Kletzander, Lucas ; Guns, Tias | From CP Modeling to Preference Elicitation in HMLV Assembly Problems | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 72 | | Winter, Felix | A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 73 | | Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan ; Xia, Hai | Smart Cubing for Graph Search: A Comparative Study | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 74 | | Adel, Alexander ; Szmitek, Jakub ; Hartl, Benedikt ; Wanzenböck, Ralf ; Madsen, Georg K. H. | Guided Adaptive Diffusion: An Evolutionary Framework for Multimodal Atomistic Structure Prediction | Article Artikel | 13-Jul-2026 |
| 75 | | Szeider, Stefan | CP-Agent: Agentic Constraint Programming | Inproceedings Konferenzbeitrag | 6-Jul-2026 |
| 76 | | 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 |
| 77 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 78 | | 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 |
| 79 | | Hoang, Hung P. ; Ohsaka, Naoto ; Saito, Rin ; Tamura, Yuma | On (In)approximability of MaxMin Independent Set Reconfiguration | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 80 | | 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 | 26-Jun-2026 |
| 81 |  | 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 |
| 82 | | Wallinger, Markus ; Bonerath, Annika ; Terziadis, Soeren ; Wulms, Jules ; Nöllenburg, Martin | Clarity and Computational Efficiency of Orbital Boundary Labeling | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 83 | | 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 |
| 84 | | 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 |
| 85 |  | 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 |
| 86 | | Thölke, Henri ; Fermüller, Christian G. | Comparing Methods for Distance-based Many-valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 87 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 88 |  | 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 |
| 89 | | 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 |
| 90 | | Depian, Thomas ; Haase, Carolina ; Nöllenburg, Martin ; Schulz, André | Realizing Planar Linkages in Polygonal Domains | Inproceedings Konferenzbeitrag | 7-Jun-2026 |
| 91 | | Brenner, Sofia ; Fink, Jiří ; Hoang, Phuc Hung ; Merino, Arturo ; Pilaud, Vincent | Minimum Maximal Matchings in Permutahedra | Article Artikel | 5-Jun-2026 |
| 92 |  | 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 |
| 93 |  | Weninger, Andreas ; Andreeva, Elena | PUE Schemes: Efficient Updatable Encryption With Robust Security From Symmetric Primitives | Inproceedings Konferenzbeitrag | 4-Jun-2026 |
| 94 | | van Berkel, Kees | A Formal Study of Ought Implies Can and Other Metaethical Principles | Article Artikel | 2-Jun-2026 |
| 95 | | Mugdan, Esther ; Kletzander, Lucas ; Musliu, Nysret | Explainability Results for the Rotating Workforce Scheduling Problem | Inproceedings Konferenzbeitrag | 1-Jun-2026 |
| 96 | | Lanzinger, Matthias ; Razgon, Igor | FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs | Article Artikel | Jun-2026 |
| 97 | | 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 |
| 98 | | Grasmann, Lukas ; Musliu, Nysret | Improvements of Machine Learning forecasting for perishable food sales in real-world grocers | Article Artikel | Jun-2026 |
| 99 |  | 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 |
| 100 |  | Lanzinger, Matthias ; Pichler, Reinhard ; Selzer, Alexander | Query Answering without Join Computation: An Interactive Exploration of Practical Techniques | Inproceedings Konferenzbeitrag | 30-May-2026 |
