Fakultät für Informatik

Organization Name (en) Name der Organisation (en)
E180 - Faculty of Informatics
 
Organization Name (de) Name der Organisation (de)
E180 - Fakultät für Informatik
 
Code Kennzahl
E180
 
Type of Organization Organisationstyp
Faculty
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-100 of 25800 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Tagliaro, Carlotta ; Komsic, Martina ; Anselmi, Gianluca ; Mandalari, Anna Maria ; Lindorfer, Martina Bridging Devices and Apps: A Joint Analysis of IoT Privacy and CommunicationInproceedings KonferenzbeitragOct-2027
2Fajszi,, Csongor ; Michahelles, Florian Adaptive Constructive Friction: A Design Principle for Mitigating AI SycophancyInproceedings Konferenzbeitrag Aug-2027
3Yan, Yingfei ; Tang, Khai Hanh ; Chu, Hien Thi Thu ; Chow, Sherman S. M. ; Ling, San ; Wang, Huaxiong ; Zhang, Kai Sovereign Modal SignaturesInproceedings Konferenzbeitrag 2027
4Stanisic, Andrija ; Gravara, Milos ; Herrera Gonzalez, Juan Luis ; Nastic, Stefan Constella: A Novel Framework for Cost-Efficient Distributed AI Inference in LEO Space Data CentersInproceedings Konferenzbeitrag 2027
5Schaermer-2026-Let theAlerts Speak LLM-Based IDS Alert Interpretation for...-vor.pdf.jpgSchärmer, Alina ; Landauer, Max ; Skopik, Florian ; Wurzenberger, Markus ; Squarcina, Marco Let the Alerts Speak: LLM-Based IDS Alert Interpretation for SOC TriageInproceedings Konferenzbeitrag 2027
6Davison, Robert M. ; Tellioglu, Hilda Human Choice and Computers : 17th IFIP TC 9 International Conference, HCC 2026, Vienna, Austria, September 7–9, 2026, ProceedingsProceedings Tagungsband 2027
7Doz, Romina ; Randone, Francesca ; Bortolussi, Luca ; Medvet, Eric Inferring Structural Causal Models from Data with Grammatical EvolutionInproceedings Konferenzbeitrag 2027
8Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas HoloCoT: Holographic Chain-of-Thought via Orthogonal Subspace Anchoring for Persistent Long-Horizon ReasoningInproceedings Konferenzbeitrag2027
9Pretel, Elena ; Navarro, Elena ; López-Jaquero, Víctor ; González-García, José J. ; Dustdar, Schahram An Agent Design Pattern Catalogue for the Entanglement of Digital TwinsInproceedings Konferenzbeitrag 2027
10Martinez, Lluis ; Betancur Arenas, Juliana ; Vettori, Brigitte ; Tellioglu, Hilda ; Keserü, Imre Who shapes the streets? A stakeholder analysis of street redesign processes in European citiesArticle Artikel Dec-2026
11Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes Answer-Set-Programming-based Abstractions for Reinforcement LearningPresentation Vortrag24-Nov-2026
12Gao, Qi ; Han, Li ; Hunold, Sascha ; Robert, Yves ; Vivien, Frédéric Coping With Silent Errors for Workflows of Moldable TasksArticle Artikel 1-Nov-2026
13Bicher-2026-Simulation Modelling Practice and Theory-vor.pdf.jpgBicher, Martin ; Viehauser, Maximilian ; Giannandrea, Daniele ; Kastinger, Hannah ; Brunmeir, Dominik ; Popper, Niki Novel concepts for agent-based population modelling and simulation: GEPOC ABM 2025Article Artikel Nov-2026
14Lutonsky, Thomas ; Birschitzky, Viktor ; Jeschke, Stefan ; Buttinger-Kreuzhuber, Andreas ; Wandel, Nils ; Cornel, Daniel ; Haase, Viola ; Klein, Reinhard ; Waser, Jürgen ; Wimmer, Michael Deep learning with upstream-aware terrain representations and rainfall adapter for generalizable pluvial flood predictionArticle Artikel Nov-2026
15He, 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 learningArticle Artikel Nov-2026
16Tovanich-2026-Analysis of User Behaviors in Blockchain  A Network Science...-vor.pdf.jpgTovanich, Natkamon Analysis of User Behaviors in Blockchain : A Network Science PerspectivePresentation Vortrag 13-Oct-2026
17Osali-2026-Poster Private, Reserved, Visible IPv4 Bogon Addresses in DNS-vor.pdf.jpgOsali, Fariba ; Alipour, Iman ; Gañán, Carlos H. ; Feldmann, Anja ; Fiebig, Tobias Poster: Private, Reserved, Visible: IPv4 Bogon Addresses in DNSInproceedings Konferenzbeitrag 12-Oct-2026
18Eiter, Thomas ; Geibinger, Tobias ; Pfliegler, Dave Bayesian Hyperparameter Optimization with ALASPOInproceedings Konferenzbeitrag 11-Oct-2026
19Wolling, Florian ; Filipp, Alexander ; Michahelles, Florian Glow in the Dark: User Perceptions of PPG Sampling and the Purkinje Effect in Mesopic Low-Light EnvironmentsInproceedings Konferenzbeitrag 10-Oct-2026
20Pesare-2026-Value-Preserving Architectures for Agentic AI Systems-vor.pdf.jpgPesare, Alessandro ; Dolci, Tommaso ; Hose, Katja ; Sallinger, Emanuel Value-Preserving Architectures for Agentic AI SystemsInproceedings Konferenzbeitrag 8-Oct-2026
21Fitzpatrick, Geraldine Responsible Computing: From Policy to PracticePresentation Vortrag7-Oct-2026
22Happe, Andreas ; Cito, Jürgen Cochise: A Reference Harness for Autonomous Penetration TestingInproceedings Konferenzbeitrag 7-Oct-2026
23Lopez-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 LearningInproceedings Konferenzbeitrag 3-Oct-2026
24Duezguen-2026-Designing and Evaluating Socially Assistive Robots The Role...-vor.pdf.jpgDüzgün, Alin Lara ; Vrečar, Rafael ; Dobrosovestnova, Anna Designing and Evaluating Socially Assistive Robots: The Role of Language Choice in Dementia Care ScenariosInproceedings Konferenzbeitrag 2-Oct-2026
25Aumayr-2026-BitVM Quasi-Turing Complete Computation on Bitcoin-vor.pdf.jpgAumayr, Lukas ; Avarikioti, Zeta ; Woll, Robin Linus ; Maffei, Matteo ; Pelosi, Andrea ; Stefo, Christos ; Zamyatin, Alexei BitVM: Quasi-Turing Complete Computation on BitcoinInproceedings Konferenzbeitrag 2-Oct-2026
26Scaffino-2026-Gatling Rapid-Fire Consensus from Parallel Composition-vor.pdf.jpgScaffino, Giulia ; Resnick, Max ; Neu, Joachim Gatling: Rapid-Fire Consensus from Parallel CompositionInproceedings Konferenzbeitrag 2-Oct-2026
27Benedetti-2026-Designing For Early Parenthood Together Exploring Collabor...-vor.pdf.jpgBenedetti, Alice ; Eklund, Lina ; Grimme, Sophie ; Jarsve, Tora ; Lin, Ya-Fang ; Loerakker, Meagan B. ; Rechberger, Lena ; Sun, Xiaofei ; Wagener, Nadine Designing For Early Parenthood Together: Exploring Collaborative Technologies for Parents and their Wider Care EcosystemsInproceedings Konferenzbeitrag 2-Oct-2026
28Aumayr-2026-Optimal Reward Allocation via Proportional Splitting-vor.pdf.jpgAumayr, Lukas ; Avarikioti, Zeta ; Karakostas, Dimitris ; Kreder, Karl ; Shastry, Shreekara Optimal Reward Allocation via Proportional SplittingInproceedings Konferenzbeitrag 2-Oct-2026
29Dobrosovestnova-2026-Off Our Streets Forms of Refusal as Counter-Particip...-vor.pdf.jpgDobrosovestnova, Anna ; Bailey, David J. ; Rattay, Sonja Off Our Streets: Forms of Refusal as Counter-Participation in the Context of Public-Area Mobile RobotsInproceedings Konferenzbeitrag 2-Oct-2026
30Eschner-2026-Exploratory Unstructured Data Analysis A Formative Study and...-vor.pdf.jpgEschner, Johannes ; Eitler, Dominik ; Irendorfer, Max ; Kramml, Patrick ; Zeppelzauer, Matthias ; Waldner, Manuela Exploratory Unstructured Data Analysis: A Formative Study and Implications for Human-AI CollaborationInproceedings Konferenzbeitrag 2-Oct-2026
31Christakis, Maria ; Isychev, Anastasia ; Pilz, Samuel ; Tesarek, Florian ; Wüstholz, Valentin Testing Static Taint Analyzers with Equivalence Modulo TaintInproceedings Konferenzbeitrag 1-Oct-2026
32Melnyk-2026-Tunnelling and Underground Space Technology-vor.pdf.jpgMelnyk, Oleksandr ; Huymajer, Marco ; Jaud, Štefan ; Huemer, Christian IFC-for-Tunnelling schema extension: An evaluation of its impact on current BIM practices in the tunnelling domainArticle Artikel Oct-2026
33Calzavara-2026-From Syntactic Matching to Taint Tracking and Back A Compa...-vor.pdf.jpgCalzavara, Stefano ; Casarin, Samuele ; Squarcina, Marco ; Maffei, Matteo From Syntactic Matching to Taint Tracking and Back: A Comparative Study of Web Tracking Detection TechniquesInproceedings Konferenzbeitrag Oct-2026
34Fu, Shucun ; Dong, Fang ; Xu, Xiaolong ; Shen, Dian ; Bilal, Muhammad ; Dustdar, Schahram CODEA: Online Container Deployment and Edge Association for Multi-Edge Federated Synergy LearningArticle Artikel Oct-2026
35Böck, Markus ; Cito, Jürgen Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern HardwareArticle Artikel Oct-2026
36Bernhart, Matthias ; Chaloupka, Jiri ; Toschi, Alessandro ; Wohlfeld, Krzysztof Investigation of Spin-Polaron Breakdown in the Single-Hole Doped Two-Dimensional t-t'-Jz ModelPresentation Vortrag23-Sep-2026
37Strecker, Caroline ; Zheng, Shuyin ; Schrems, Katharina ; Götzenbrucker, Gerit Analoge Unsicherheiten versus digitales Sicherheitsnetz. Geschlechtersensible Mobilitätsplanung aus der Perspektive weiblicher und queerer Jugendlicher in WienPresentation Vortrag23-Sep-2026
38Andergassen, Sabine ; Hepp, Sebastian ; Zabielski, Daniel ; Springer, Daniel Machine learning latent orders from the two-particle vertexPresentation Vortrag22-Sep-2026
39Fitzpatrick, Geraldine The work to make diversity workPresentation Vortrag22-Sep-2026
40Chow-2026-Beyond the Tesseract Trustworthy Dataset Curation for Sound Eval...-am.pdf.jpgChow, 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 ClassifiersInproceedings Konferenzbeitrag 22-Sep-2026
41Domizio, Francesco ; Al-Eryani, Aiman ; Andergassen, Sabine ; Scherer, Michael Matthäus Unbiased functional renormalization group study of Su-Schrieffer-Heeger phonons in the two-dimensional Hubbard modelPresentation Vortrag21-Sep-2026
42Zhao, Kui ; Daadouch, Salma ; Roth, Peter M. ; Gelautz, Margit Explainable artificial intelligence for improving trust in computer vision models for action recognition of cattleInproceedings Konferenzbeitrag 15-Sep-2026
43Nussbaumer, Nathanael ; Böck, Markus ; Cito, Jürgen Online and Interactive Bayesian Inference DebuggingInproceedings Konferenzbeitrag 11-Sep-2026
44Paracha-2026-Hallucinating Certificates Differential Testing of TLS Certi...-vor.pdf.jpgParacha, Muhammad Talha ; Posluns, Kyle ; Borgolte, Kevin ; Lindorfer, Martina ; Choffnes, David Hallucinating Certificates: Differential Testing of TLS Certificate Validation Using Generative Language ModelsInproceedings Konferenzbeitrag 11-Sep-2026
45Sempoch, Claudia ; Zheng, Shuyin JuMp! – Jugend in (sub)urbanen Mobilitätsprozessen – Anforderungen an eine aktive JugendmobilitätPresentation Vortrag10-Sep-2026
46Kriegler, Andreas ; Gelautz, Margrit ; Beleznai, Csaba Open World 6D Object Pose EstimationPresentation Vortrag8-Sep-2026
47Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide SAT Modulo Well-Founded Semantics: Extended AbstractPresentation Vortrag8-Sep-2026
48Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas Imbuing Large Language Models with Bidirectional Logic for Robust Chain RepairInproceedings Konferenzbeitrag 7-Sep-2026
49Schrott, Johannes Graph-Native Normalization : Reducing Redundancy in Labeled Property GraphsPresentation Vortrag4-Sep-2026
50Xu, 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 segmentationArticle Artikel 1-Sep-2026
51Klein, Sonja ; Röpke, René Toward the Alignment of Understandability, Reasoning, and Explainability in TELPresentation Vortrag1-Sep-2026
52Hunold-2026-Parallel Computing-vor.pdf.jpgHunold, Sascha ; Träff, Jesper Larsson ; Laso, Ruben Tuned your MPI library? Now check the performance guidelinesArticle Artikel Sep-2026
53Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian The complexity of envy-free graph cuttingArticle Artikel Sep-2026
54Dutertre-2026-Proceedings of the 26th Conference on Formal Methods in Com...-vor.pdf.jpgDutertre, Bruno ; Könighofer, Bettina Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026Proceedings Tagungsband Sep-2026
55Kovacs-2026-The Vampire Diary-vor.pdf.jpgKovacs, Laura The Vampire DiaryInproceedings Konferenzbeitrag Sep-2026
56Saccomani-2026-Proof Production for Satisfiability Modulo Finite Fields w...-vor.pdf.jpgSaccomani, 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 LeanInproceedings Konferenzbeitrag Sep-2026
57Adame-2026-74Trimming Pseudo-Boolean Proofs-vor.pdf.jpgAdame, 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 ProofsInproceedings Konferenzbeitrag Sep-2026
58Ferdowsi-2026-Certificate-Aware Property-Directed Reachability-vor.pdf.jpgFerdowsi, Arman ; Kovacs, Laura Certificate-Aware Property-Directed ReachabilityInproceedings Konferenzbeitrag Sep-2026
59Rö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 StudyArticle Artikel Sep-2026
60Furutanpey-2026-IEEE Transactions on Parallel and Distributed Systems-vor.pdf.jpgFurutanpey, Alireza ; Walser, Carmen ; Raith, Philipp ; Frangoudis, Pantelis A. ; Dustdar, Schahram Leveraging Neural Graph Compilers in Machine Learning Research for Edge-Cloud SystemsArticle Artikel Sep-2026
61Ceylan, Esra ; Chen, Jiehua ; Roy, Sanjukta Optimal seat arrangement: What are the hard and easy cases?Article Artikel Sep-2026
62Chen, Jiehua ; Niedermeier, Rolf ; Skowron, Piotr Stable marriage with multi-modal preferencesArticle Artikel Sep-2026
63Kafshdar Goharshady-2026-Randomized Satisfiability Checking for Non-Linea...-vor.pdf.jpgKafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite FieldsInproceedings Konferenzbeitrag Sep-2026
64Silva, Lucas M. ; Stefanidi, Evropi ; Min, Aehong ; Cibrian, Franceli L. ; Beltran, Jesus A. ; Zeiler, Cassie ; Schuck, Sabrina E. B. ; Lakes, Kimberley D. ; Hayes, Gillian R. ; Epstein, Daniel A. Evaluating Glanceable Multi-Device Family Health Tracking with Smartwatches and Home DisplaysArticle Artikel Sep-2026
65Reinhard, Selina ; Röpke, René Why Study Entry Phases Deserve Closer Attention: Early Insights and a Curriculum Analytics Research AgendaPresentation Vortrag31-Aug-2026
66Kletzander, Lucas Multi-Contract Integrated Shift Design and RosteringPresentation Vortrag27-Aug-2026
67Kern, Bettina Manuela Johanna ; Kraus, Julia ; Tauböck, Shabnam Michèle ; Knees, Peter Disengagement in near-completion students and institutional support late in the student lifecyclePresentation Vortrag27-Aug-2026
68Gravara, Milos ; Stanisic, Andrija ; Nastic, Stefan Design Methodology and Performance Trade-offs Management for Distributed and Compound AI SystemsInproceedings Konferenzbeitrag 27-Aug-2026
69Lackinger, Anna ; Morichetta, Andrea ; Dustdar, Schahram Intent-Aware Multi-Domain Cloud Continuum Coordination through Hierarchical Deep Reinforcement LearningInproceedings Konferenzbeitrag 27-Aug-2026
70Kumar, Gokul Karthik ; Perlitz, Yotam ; Lammie, Corey ; Giovannini, Andrea ; Hose, Katja DataKernelBench: Can LLMs Optimize Database Queries on GPUs?Preprint Preprint27-Aug-2026
71Mikusch, Gerfried ; Musilek, Monika Empowering Pupils to Explore Urban Environments. Identifying contexts for environmental sensing using non-functional prototyping.Presentation Vortrag26-Aug-2026
72Trimmel, Florian ; Marcelino, Cynthia ; Pusztai, Thomas ; Nastic, Stefan STORE: Self-Provisioning Storage-as-a-Service for Serverless FunctionsInproceedings Konferenzbeitrag 26-Aug-2026
73Gjergji, Ida ; Kletzander, Lucas ; Bierlee, Hendrik ; Musliu, Nysret ; Stuckey, Peter J. Decomposition Techniques for the Aircraft Maintenance Routing ProblemPresentation Vortrag26-Aug-2026
74Wang, Yu ; Wintersberger, Philipp ; Bosco, Matteo Spatial Updating in VR Navigation: Effects of Locomotion Action Fidelity and Visual FidelityInproceedings Konferenzbeitrag 25-Aug-2026
75Biffl, 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 SystemsArticle Artikel 25-Aug-2026
76Bresich, Maria ; Peng, Jingyi ; Raidl, Günther R. ; Limmer, Steffen Determining Destroy Sets in Large Neighborhood Search by Generative Flow NetworksInproceedings Konferenzbeitrag 25-Aug-2026
77Iurlano, Enrico ; Raidl, Günther R. SAT-Based Search for Minwise Independent FamiliesInproceedings Konferenzbeitrag 25-Aug-2026
78Alviano-2026-Extending Structured Declarative Language with Constraint Pr...-vor.pdf.jpgAlviano, Mario ; Dodaro, Carmine ; Eiter, Thomas ; Geibinger, Tobias ; Vasile, Ilaria R. Extending Structured Declarative Language with Constraint Programming via MiniZincInproceedings Konferenzbeitrag 24-Aug-2026
79Ahmad, Sabtain ; Schneidergruber, Thomas ; Brandic, Ivona ; Scholz, Johannes On-Device Federated Learning for Remote Alpine Livestock MonitoringInproceedings Konferenzbeitrag 23-Aug-2026
80Eickmeyer, Michael ; Seierl, Oskar ; Landman, Martina ; Röpke, René Improving Algorithmic Understanding via Path-finding Algorithms in Unplugged/Plugged Hybrid WorkshopsInproceedings Konferenzbeitrag 20-Aug-2026
81Ferraioli-2026-Should we open the Black Box Investigating Transparency in...-vor.pdf.jpgFerraioli, Valentina ; Lehner, Lukas Should we open the Black Box? Investigating Transparency in K-12 Machine Learning EducationInproceedings Konferenzbeitrag 20-Aug-2026
82Markovic, Marija ; Arnberger, Carina ; Breuer, Selina ; Aigner, Christoph ; Grechenig, Thomas ; Baranyi, René Mobile Serious Game Tech for Accessible Stroke RehabilitationInproceedings Konferenzbeitrag 20-Aug-2026
83Aigner, Christoph ; Kosic, Milan ; Arnberger, Carina ; Winkler, Sylvia ; Grechenig, Thomas ; Baranyi, Rene Shinmamoru: A Gamified Digital Well-being Mobile Application for Watchdogging Social Media UseInproceedings Konferenzbeitrag 20-Aug-2026
84van Berkel, Kees ; Sabatini, Andrea Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical ArgumentationInproceedings Konferenzbeitrag 19-Aug-2026
85Laso, Ruben ; Salimi Beni, Majid ; Vardas, Ioannis ; Benkner, Siegfried ; Hunold, Sascha Where Did My NCCL Calls Go? A Profiler ComparisonInproceedings Konferenzbeitrag 19-Aug-2026
86Stovold, James ; Kvalsund, Mia-Katrin ; Ludwig, Harald Michael ; Sharma, Varun ; Mordvintsev, Alexander Visualising the Attractor Landscape of Neural Cellular AutomataInproceedings Konferenzbeitrag17-Aug-2026
87Haldimann-2026-Towards Defeasible Reasoning about Actions and Their Effects-vor.pdf.jpgHaldimann, Jonas ; Šimkus, Mantas ; Meyer, Thomas Towards Defeasible Reasoning about Actions and Their EffectsInproceedings Konferenzbeitrag 16-Aug-2026
882026-A Definitional Fragment of Temporal Equilibrium Logic from TemporalP...-vor.pdf.jpgŠimkus, Mantas A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact AutomataInproceedings Konferenzbeitrag 16-Aug-2026
89Buraglio-2026-Semantics for Description Logics via Assumption-Based Argum...-vor.pdf.jpgBuraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas Semantics for Description Logics via Assumption-Based Argumentation: Preliminary ResultsInproceedings Konferenzbeitrag 16-Aug-2026
90Skaisgiris-2026-Learning Symbolic Temporal Advice for Guiding Reinforceme...-vor.pdf.jpgSkaisgiris, Paulius ; Veronese, Celeste ; Meli, Daniele Learning Symbolic Temporal Advice for Guiding Reinforcement Learning (Extended Abstract)Inproceedings Konferenzbeitrag 16-Aug-2026
91Chu, Hien Thi Thu ; Corsi, Alessandro ; Rösler, Paul Anamorphic Messaging: Analyzing the Double Ratchet, Triple Ratchet, PQ3, and MLSPresentation Vortrag13-Aug-2026
92Alwen, Joël ; Fuchsbauer, Georg ; Mularczyk, Marta ; Riepel, Doreen Lattice-Based Updatable KEM for Group MessagingInproceedings Konferenzbeitrag 13-Aug-2026
93Mao, Runzhou ; Sakai, Hiroyuki ; Freude, Christian ; Garth, Christoph ; Gospodnetić, Petra ; Fulir, Juraj Rendering Synthetic Defects for Learning‐Based Industrial InspectionArticle Artikel 12-Aug-2026
94Faonio, Antonio ; Russo, Luigi Sumcheck-Based zkSNARKs are Non-malleableInproceedings Konferenzbeitrag 11-Aug-2026
95Heugenhauser, 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 metastasesArticle Artikel 7-Aug-2026
96Breuer, Nils Ole ; Linhardt, Lorenz ; Normann, Philipp ; Arp, Daniel Towards Explaining Classification Models in Security with Sparse AutoencodersInproceedings Konferenzbeitrag 6-Aug-2026
97Redl, Michael Josef ; Michahelles, Florian Deploying Privacy-Preserving Local LLMs: A Comparative Study Under Realistic Hardware ConstraintsInproceedings Konferenzbeitrag 3-Aug-2026
98Michahelles, Florian Automation of Thought: Creative Machines, Compliant Humans?Inproceedings Konferenzbeitrag 3-Aug-2026
99Widmann, Evelyn ; Michahelles, Florian Making Climate Consequences Clear: Explainable AI for Policy SimulationInproceedings Konferenzbeitrag 3-Aug-2026
100Rasoulzadeh, Shervin ; Suliman, Raman ; Rasoulzadeh, Arvin ; Kovacic, Iva ; Wimmer, Michael Strokes2Deform: Physics-informed learning of deformation fields on 3D stroke cloudsArticle Artikel Aug-2026