|
| | 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 | | Stanisic, Andrija ; Gravara, Milos ; Herrera Gonzalez, Juan Luis ; Nastic, Stefan | Constella: A Novel Framework for Cost-Efficient Distributed AI Inference in LEO Space Data Centers | 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 | | Martinez, Lluis ; Betancur Arenas, Juliana ; Vettori, Brigitte ; Tellioglu, Hilda ; Keserü, Imre | Who shapes the streets? A stakeholder analysis of street redesign processes in European cities | Article Artikel | Dec-2026 |
| 5 | | Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes | Answer-Set-Programming-based Abstractions for Reinforcement Learning | Presentation Vortrag | 24-Nov-2026 |
| 6 |  | Bicher, Martin ; Viehauser, Maximilian ; Giannandrea, Daniele ; Kastinger, Hannah ; Brunmeir, Dominik ; Popper, Niki | Novel concepts for agent-based population modelling and simulation: GEPOC ABM 2025 | Article Artikel | Nov-2026 |
| 7 |  | Melnyk, Oleksandr ; Huymajer, Marco ; Jaud, Štefan ; Huemer, Christian | IFC-for-Tunnelling schema extension: An evaluation of its impact on current BIM practices in the tunnelling domain | Article Artikel | Oct-2026 |
| 8 |  | 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 |
| 9 | | Kriegler, Andreas ; Gelautz, Margrit ; Beleznai, Csaba | Open World 6D Object Pose Estimation | Presentation Vortrag | 8-Sep-2026 |
| 10 | | Schrott, Johannes | Graph-Native Normalization : Reducing Redundancy in Labeled Property Graphs | Presentation Vortrag | 4-Sep-2026 |
| 11 | | 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 |
| 12 |  | Hunold, Sascha ; Träff, Jesper Larsson ; Laso, Ruben | Tuned your MPI library? Now check the performance guidelines | Article Artikel | Sep-2026 |
| 13 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel | Sep-2026 |
| 14 |  | Dutertre, Bruno ; Könighofer, Bettina | Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 | Proceedings Tagungsband | Sep-2026 |
| 15 |  | Kovacs, Laura | The Vampire Diary | Inproceedings Konferenzbeitrag | Sep-2026 |
| 16 |  | 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 |
| 17 |  | Kafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra | Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields | Inproceedings Konferenzbeitrag | Sep-2026 |
| 18 |  | 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 |
| 19 |  | Ferdowsi, Arman ; Kovacs, Laura | Certificate-Aware Property-Directed Reachability | Inproceedings Konferenzbeitrag | Sep-2026 |
| 20 | | Röhrling, Lukas ; Breuer, Selina ; Arnberger, Carina ; Aigner, Christoph ; Grechenig, Thomas ; Baranyi, René | Motor Imagery Acquisition and Classification Using a Low-Cost 8-Channel EEG System in a VR ADHD Serious Game Environment: A Case Study | Article Artikel | Sep-2026 |
| 21 |  | Furutanpey, Alireza ; Walser, Carmen ; Raith, Philipp ; Frangoudis, Pantelis A. ; Dustdar, Schahram | Leveraging Neural Graph Compilers in Machine Learning Research for Edge-Cloud Systems | Article Artikel | Sep-2026 |
| 22 | | Reinhard, Selina ; Röpke, René | Why Study Entry Phases Deserve Closer Attention: Early Insights and a Curriculum Analytics Research Agenda | Presentation Vortrag | 31-Aug-2026 |
| 23 | | Kletzander, Lucas | Multi-Contract Integrated Shift Design and Rostering | Presentation Vortrag | 27-Aug-2026 |
| 24 | | Kumar, Gokul Karthik ; Perlitz, Yotam ; Lammie, Corey ; Giovannini, Andrea ; Hose, Katja | DataKernelBench: Can LLMs Optimize Database Queries on GPUs? | Preprint Preprint | 27-Aug-2026 |
| 25 | | Mikusch, Gerfried ; Musilek, Monika | Empowering Pupils to Explore Urban Environments. Identifying contexts for environmental sensing using non-functional prototyping. | Presentation Vortrag | 26-Aug-2026 |
| 26 | | Wang, Yu ; Wintersberger, Philipp ; Bosco, Matteo | Spatial Updating in VR Navigation: Effects of Locomotion Action Fidelity and Visual Fidelity | Inproceedings Konferenzbeitrag | 25-Aug-2026 |
| 27 | | Biffl, Stefan ; Bein, Tobias ; Kropatschek, Sebastian ; Meixner, Kristof ; Lüder, Arndt | SIAM DSL: Accessible Structured Text for Bridging the Architecture-Impact Gap in Cyber-Physical Production Systems | Article Artikel | 25-Aug-2026 |
| 28 |  | 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 |
| 29 | | Ahmad, Sabtain ; Schneidergruber, Thomas ; Brandic, Ivona ; Scholz, Johannes | On-Device Federated Learning for Remote Alpine Livestock Monitoring | Inproceedings Konferenzbeitrag | 23-Aug-2026 |
| 30 | | Eickmeyer, Michael ; Seierl, Oskar ; Landman, Martina ; Röpke, René | Improving Algorithmic Understanding via Path-finding Algorithms in Unplugged/Plugged Hybrid Workshops | Inproceedings Konferenzbeitrag | 20-Aug-2026 |
| 31 |  | Ferraioli, Valentina ; Lehner, Lukas | Should we open the Black Box? Investigating Transparency in K-12 Machine Learning Education | Inproceedings Konferenzbeitrag | 20-Aug-2026 |
| 32 | | Markovic, Marija ; Arnberger, Carina ; Breuer, Selina ; Aigner, Christoph ; Grechenig, Thomas ; Baranyi, René | Mobile Serious Game Tech for Accessible Stroke Rehabilitation | Inproceedings Konferenzbeitrag | 20-Aug-2026 |
| 33 | | 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 |
| 34 | | Alwen, Joël ; Fuchsbauer, Georg ; Mularczyk, Marta ; Riepel, Doreen | Lattice-Based Updatable KEM for Group Messaging | Inproceedings Konferenzbeitrag | 13-Aug-2026 |
| 35 | | Mao, Runzhou ; Sakai, Hiroyuki ; Freude, Christian ; Garth, Christoph ; Gospodnetić, Petra ; Fulir, Juraj | Rendering Synthetic Defects for Learning‐Based Industrial Inspection | Article Artikel | 12-Aug-2026 |
| 36 | | Faonio, Antonio ; Russo, Luigi | Sumcheck-Based zkSNARKs are Non-malleable | Inproceedings Konferenzbeitrag | 11-Aug-2026 |
| 37 | | Heugenhauser, Johanna ; Herbst, Sabrina ; Drucks, Tamara ; Scherfler, Christoph ; Urbanic Purkart, Tadeja ; Hassler, Eva Maria ; Partl, Richard ; Leoni, Marlene ; Ali, Kariem Mahdy ; Iglseder, Sarah ; Freyschlag, Christian ; Mangesius, Stephanie ; Grams, Astrid ; Nevinny-Stickel, Meinhard ; Nowosielski, Martha | Radiomics for risk stratification in brain metastases: potential in melanoma brain metastases | Article Artikel | 7-Aug-2026 |
| 38 | | Breuer, Nils Ole ; Linhardt, Lorenz ; Normann, Philipp ; Arp, Daniel | Towards Explaining Classification Models in Security with Sparse Autoencoders | Inproceedings Konferenzbeitrag | 6-Aug-2026 |
| 39 | | Rasoulzadeh, Shervin ; Suliman, Raman ; Rasoulzadeh, Arvin ; Kovacic, Iva ; Wimmer, Michael | Strokes2Deform: Physics-informed learning of deformation fields on 3D stroke clouds | Article Artikel | Aug-2026 |
| 40 | | 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 |
| 41 |  | Beer, Philipp ; Roth, Sebastian ; Lindorfer, Martina ; Squarcina, Marco | Plain Text, Plain Risks: Measuring HTTP Inclusion in Android WebViews at Scale | Inproceedings Konferenzbeitrag | Aug-2026 |
| 42 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 43 | | Przymus, Piotr ; Happe, Andreas ; Cito, Jürgen | Adversarial Bug Reports as a Security Risk in Language Model-Based Automated Program Repair | Inproceedings Konferenzbeitrag | 31-Jul-2026 |
| 44 | | Leitsch, Alexander ; Lolic, Anela ; Mahler, Stella | Schemata, Cyclic Proofs and Herbrand Systems | Presentation Vortrag | 25-Jul-2026 |
| 45 | | Cissell, Bethany Isabella | Argumentation Based Dialogue Games for Deontic Explanations with Uncertainty | Presentation Vortrag | 25-Jul-2026 |
| 46 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 47 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 48 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 49 | | Hofstadler, Clemens ; Kaufmann, Daniela ; Chen, Chen | Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 50 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 51 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela ; Mahler, Stella | How to deal with Henkin Quantifiers in First-Order Logic | Presentation Vortrag | 24-Jul-2026 |
| 52 | | Andergassen, Sabine | Intertwined fluctuations and isotope effects in the Hubbard-Holstein model | Presentation Vortrag | 23-Jul-2026 |
| 53 | | Patricolo, Miriam | Functional renormalization group treatment of the spiral phase | Presentation Vortrag | 22-Jul-2026 |
| 54 | | Krämer, Marcel Nico | Cluster extension of DMF2RG and application to the 2d Hubbard model | Presentation Vortrag | 22-Jul-2026 |
| 55 | | Pichler, Dominik ; Tagliaferri, Mirko | Robust Classification in ML: A Topological Semantics Approach | Inproceedings Konferenzbeitrag | 18-Jul-2026 |
| 56 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 57 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 58 | | Varga, Johannes ; Raidl, Günther ; Rodemann, Tobias | Timing of Queries in Interactive Job Scheduling | Presentation Vortrag | 16-Jul-2026 |
| 59 | | Iurlano, Enrico ; Raidl, Günther ; Weissenfels, Alexander | A Beam Search for Linearly Covering all Subsets of a Finite Set | Presentation Vortrag | 16-Jul-2026 |
| 60 | | Pollitt, Florian ; Fleury, Mathias ; Fazekas, Katalin ; Froleyks, Nils ; Schidler, André ; Schreiber, Dominik ; Biere, Armin | CaDiCaL 3.0 (Tool Paper) | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 61 | | Chew, Leroy ; Peitl, Tomáš | Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 62 | | Kletzander, Lucas ; Foschini, Marco ; Guns, Tias | Automated Weight Setting for Interactive Exploration in Multi-objective Combinatorial Optimization | Presentation Vortrag | 15-Jul-2026 |
| 63 | | Garcia, Rita ; Zavaleta Bernuy, Angela ; Bouvier, Dennis ; Heckman, Sarah ; Kern, Bettina Manuela Johanna ; Krause-Levy, Sophia ; Liut, Michael ; Nasir, Usman ; Pan, Yuhan ; Sperling, Juliane | Towards a Comprehensive Understanding of Replication in Computing Education | Inproceedings Konferenzbeitrag | 9-Jul-2026 |
| 64 | | Kern, Bettina Manuela Johanna ; Kraus, Julia ; Tauböck, Shabnam Michèle ; Knees, Peter | Why Near-Completion Informatics Students Do not Graduate: A Mixed-Methods Study | Inproceedings Konferenzbeitrag | 9-Jul-2026 |
| 65 | | Kern, Bettina Manuela Johanna ; Kraus, Julia ; Tauböck, Shabnam Michèle | Re-Engaging Near-Completion Informatics Students | Inproceedings Konferenzbeitrag | 9-Jul-2026 |
| 66 | | Indri, Patrick ; Drucks, Tamara ; Spathoulas, Georgios | Contract Cards for Auditable Private Conformal Prediction | Inproceedings Konferenzbeitrag | 9-Jul-2026 |
| 67 |  | Ritter, Frauke ; Lehner, Lukas ; Betten, Ivo ; Berk, Sebastian | The Neural Bridge: From Haptic Cords to Python Code — A Multi-Abstraction Instructional Sequence for Teaching Neural Networks in K-12 | Inproceedings Konferenzbeitrag | 9-Jul-2026 |
| 68 | | Wagne, Ahmadou ; Kolb, Thomas ; Banerjee, Ashmi ; Nazary, Fatemeh ; Neidhardt, Julia ; Deldjoo, Yashar | Conversational Recommender Systems Using Generative Models (Gen-CRS): A Literature Review | Article Artikel | 7-Jul-2026 |
| 69 | | Sturdee, Miriam ; Lewis, Makayla ; Davis, Josh Urban ; Strohmayer, Angelika ; Fdili Alaoui, Sarah ; KOULIDOU, KONSTANTIA ; Spiel, Katta | Plurality, Revisited | Book Contribution Buchbeitrag | 2-Jul-2026 |
| 70 |  | Reinhard, Selina ; Breuer, Tom ; Röpke, René | Extracting Curriculum Rules: Formal Modelling of the Study Entry and Orientation Phase | Presentation Vortrag | 2-Jul-2026 |
| 71 | | Rezk, Eugene ; Luschin-Ebengreuth, Marion ; Kaufmann, Hannes | Smartphone-based vestibular & gait analysis for remote fall risk assessment | Article Artikel | 2-Jul-2026 |
| 72 | | 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 |
| 73 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 74 | | 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 |
| 75 | | Hoang, Hung P. ; Ohsaka, Naoto ; Saito, Rin ; Tamura, Yuma | On (In)approximability of MaxMin Independent Set Reconfiguration | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 76 | | Unterguggenberger, Johannes ; Lipp, Lukas ; Wimmer, Michael ; Steinberger, Markus ; Kerbl, Bernhard ; Schütz, Markus | Real-Time Rendering Methods with Adaptive Levels of Detail for Fast Rendering of Parametric Objects on Modern GPUs | Article Artikel | Jul-2026 |
| 77 | | Ningtyas, Annisa Maulida ; Herwanto, Guntur Budi ; Sari, Yunita ; Putri, Rifki Afina ; Kovacevic, Filip ; El-Ebshihy, Alaa ; Arzt, Varvara ; Piroi, Florina | AnnoHID: LLM-Assisted Annotation Framework for Low-Resource Medical Texts | Inproceedings Konferenzbeitrag | Jul-2026 |
| 78 |  | Ganepola, Koumudi ; Jakubowski, Maxime ; Hose, Katja | Computing Why-Provenance for Property Graph Queries | Article Artikel | Jul-2026 |
| 79 | | Strecker, Caroline ; Zheng, Shuyin ; Schrems, Katharina ; Götzenbrucker, Gerit | Between self-sufficiency, curiosity and inabilities: Means and constraints of smartphone-supported youth mobility in suburban areas | Presentation Vortrag | 30-Jun-2026 |
| 80 | | Kaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Interrogation Testing of CHC Solvers | Article Artikel | 30-Jun-2026 |
| 81 | | Reinhard, Selina ; Breuer, Tom ; Röpke, Rene Christian | Extracting Curriculum Rules: Formal Modelling of the Study Entry and Orientation Phase | Inproceedings Konferenzbeitrag | 29-Jun-2026 |
| 82 | | Sedlak, Boris ; Dustdar, Schahram | Distributed Intelligence in the Computing Continuum 2 | Presentation Vortrag | 29-Jun-2026 |
| 83 | | Dustdar, Schahram ; Sedlak, Boris | Distributed Intelligence in the Computing Continuum 1 | Presentation Vortrag | 29-Jun-2026 |
| 84 | | Kojima, Takashi ; Kokubu, Masahiro ; Michahelles, Florian | Investigation of the combined tilt and pitch function for downhill cycling in motion-based VR bicycle simulators | Article Artikel | 25-Jun-2026 |
| 85 |  | 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 |
| 86 |  | Jell, Alexander ; Giannandrea, Daniele ; Popper, Niki ; Bicher, Martin | A Comparative Analysis of Internal Migration Models: Traditional Gravity versus Constrained Machine Learning Approaches | Inproceedings Konferenzbeitrag | 23-Jun-2026 |
| 87 | | Dustdar, Schahram | Active Inference for Distributed Intelligence in the Computing Continuum | Inproceedings Konferenzbeitrag | 22-Jun-2026 |
| 88 | | Šabanović, Ahmed ; Maliakel, Paul Joe ; Brandić, Ivona | INAR-VL: Input-Aware Routing for Edge–Cloud Vision–Language Inference | Inproceedings Konferenzbeitrag | 20-Jun-2026 |
| 89 | | Esterbauer, Leonhard ; Thoma, Max ; Schwarzinger, Tobias ; Strasser, Thomas I. ; Kastner, Wolfgang | Web of Things-Driven On-Device Automation for Resource-Constrained Energy Devices | Inproceedings Konferenzbeitrag | 20-Jun-2026 |
| 90 | | Wallinger, Markus ; Bonerath, Annika ; Terziadis, Soeren ; Wulms, Jules ; Nöllenburg, Martin | Clarity and Computational Efficiency of Orbital Boundary Labeling | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 91 | | 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 |
| 92 | | 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 |
| 93 |  | Felber, Stephan | Characterizing Stabilizing Consensus Topologically and Epistemically | Presentation Vortrag | 15-Jun-2026 |
| 94 |  | Khilji, Syed Izhan ; Furutanpey, Alireza ; Dustdar, Schahram | Incentives and Evidence in Learned Service Orchestration | Preprint Preprint | 15-Jun-2026 |
| 95 |  | 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 |
| 96 |  | Baumgartl, Tom ; Sondag, M. ; Filipov, Velitchko ; Tuscher, M. ; Rajendran, S. ; Miksch, Silvia ; Archambault, D. ; Arleo, Alessio ; Landesberger von Antburg, Tatiana | Survey on Visualization of Information Diffusion over Networks | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 97 | | Thölke, Henri ; Fermüller, Christian G. | Comparing Methods for Distance-based Many-valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 98 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 99 | | Wang, Zihang ; Sedlak, Boris ; Herrera, Juan Luis ; Dustdar, Schahram | Fair Comparison of Scheduling Algorithms on Heterogeneous Edge Clusters: A Continuous Adaptive Benchmark | Preprint Preprint | 10-Jun-2026 |
| 100 | | Mischak, Manuel ; Verbruggen, Charlotte ; Langer, Philip ; Bork, Dominik | Uncovering LLM’s Capabilities in Model-Based Question Answering for UML Class Diagrams | Inproceedings Konferenzbeitrag | 9-Jun-2026 |
