• 2026
• 2025

2026

• Gol, Sabbagh R., Evers, M., Heimes, K., Gerrits, T., Gyawali, S., Sinden, D., Preusser, T., und Linsen, L. 2026. „Visual Ensemble Analysis With Deep Learning Prediction for Studying the Effect of Tissue Properties on Radiofrequency Ablation.“ Computer Graphics Forum e70428. doi: 10.1111/cgf.70428.
• Speller, Jan, Luttermann, Malte, Gehrke, Marcel, und Braun, Tanya. 2026. „Inducing Comparability of Factorised Probability Distributions.“ Preprint. arXiv doi: 10.48550/arXiv.2607.20502.
• Rave, Hennes, Molchanov, Vladimir, Tatsukawa, Yuki, Ngo, Quynh Quang, Frey, Steffen, Igarashi, Takeo, und Linsen, Lars. 2026. „Multiresolution Density-Equalizing Transformation for Scatterplots.“ IEEE Transactions on Visualization and Computer Graphics. doi: 10.1109/TVCG.2026.3713630.
• Schick, Johannes, Wagner, Marc, und Lippe, Wolfram-Manfred. 2026. „Finite State Machines in the Context of Knowledge Based Transformations (Invited).“ In Proceedings of the International Conference on AI x Business (AIxB 2025), herausgegeben von IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc.. Piscataway, NJ: Wiley-IEEE Computer Society Press. doi: 10.1109/AIxB65684.2025.00021.
• Duhme, Christof, Eilers, Florian, und Jiang, Xiaoyi. 2026. „Exploring Sparsity and Smoothness of Arbitrary lp-Norms in Adversarial Attacks.“ Preprint. arXiv doi: 10.48550/arXiv.2602.06578.
• Eilers, Florian, Duhme, Christof, und Jiang, Xiaoyi. 2026. „Perturbing the Phase: Analyzing Adversarial Robustness of Complex-Valued Neural Networks.“ Preprint. arXiv doi: 10.48550/arXiv.2602.06577.
• Wolff, Matthias, Alesiani, Francesco, Duhme, Christof, und Jiang, Xiaoyi. im Druck. „Clifford Kolmogorov-Arnold Networks.“ Preprint. arXiv doi: 10.48550/arXiv.2602.05977.
• Marwitz, Florian, Braun, Tanya, Möller, Ralf, und Gehrke, Marcel. 2026. „Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions.“ In AAMAS-26 Proceedings of the 25th International Conference on Autonomous Agents and Multi-Agent Systems, herausgegeben von Chris Amato, Louise Dennis, Viviana Mascardi und John Thangarajah. Richland: International Foundation for Autonomous Agents and Multiagent Systems. doi: 10.65109/GOIS4183.
• Wortmann, Carolin, und Vahrenhold, Jan. 2026. „An Instrument for Observing Teams to Explicate Regulation Strategies in Computer Science.“ ACM Transactions on Computing Education 26 (2): 1–28. doi: 10.1145/3779308.
• Hooshangi, Sara, Shakli, Asma, Riddle, Steve, Aydin, Ilknur, Nasir, Nayla, Parupudi, Tejasvi, Rehman, Attiqa, Scott, Michael James, Vahrenhold, Jan, Weerasinghe, Amali, und Wu, Xi. 2026. „Evaluating Assessment Practices in Team-Based Computing Capstone Projects.“ In ITiCSE 2025: 2025 Working Group Reports on Innovation and Technology in Computer Science Education, herausgegeben von Ari Korhonen und Ellie Lovellette. New York, NY: ACM Press. doi: 10.1145/3760545.3783974.
• Yaakob, Razali, F. AL-Shahad, Huda, Mohd Sharef, Nurfadhlina, Hamdan, Hazlina, Abu Hassan, Hasyma, und Jiang, Xiaoyi. im Druck. „A Deep Learning Approach for Three-Dimensional Thyroid Nodule Detection from Ultrasound Images.“ CMES - Computer Modeling in Engineering and Sciences 146 (3): 36.
• Junfu, Chen, Dechang, Pi, Xiaoyi, Jiang, Feng, Gao, Qiao, Yang, und Yang, Chen. im Druck. „EEGcMamba: EEG Clustering via State Space Model.“ IEEE Transactions on Artificial Intelligence.
• Enpeng, Wang, Jiangchang, Xu, Yueang, Liu, Puxun, Tu, Junfeng, Wang, Xiaoyi, Jiang, und Xiaojun, Chen. 2026. „Robust self-supervised monocular depth estimation for endoscopic soft tissue deformation scenes with biomechanical constraints.“ IEEE Transactions on Image Processing 35: 556–568.
• Bickmann, Lucas, Rodriguez, Marias, Jiang, Xiaoyi, und Makalowski, Wojciech. 2026. „Transformer-based classification of transposable element consensus sequences with TEclass2.“ Biology 15: 59.
• Lenfers, Johannes, Spehr, Sven, Dieckmann, Justus, Jansen, Johannes, Lücke, Martin Paul, und Gorlatch, Sergei. 2026. „Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters.“ In Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, herausgegeben von for Computing Machinery Association. New York: ACM Press. doi: 10.1145/3771775.3786282.
• Herber, P, Osama, M, und Wijs, A. 2026. „Research software from the integrated Formal Methods (iFM) conference 2023.“ Science of Computer Programming 248: 103384–103384. doi: 10.1016/j.scico.2025.103384.
• Forshaw, Matthew, Alexandru, Adriana, Bentley, Caitlin, González-Zelaya, Vladimiro, Ajanovski, Vangel, Bikanga Ada, Mireilla, Brooks, Julian, Burridge, Joshua, Chao, Alex, Engineer, Rutwa, Glebova, Olga, Islam, Tasmina, Kiyohara, Mitsuka, Ko, Shao-Heng, Kristbergsson, Elert Smári, Peltsverger, Svetlana, Russell, Seán, Samary, Maíra Marques, Steenbergen, Merel, und Wortmann, Carolin. 2026. „Fairness in Student Group Formation: Perspectives, Priorities, Compromises, Mechanisms, and Tooling.“ In 2025 Working Group Reports on Innovation and Technology in Computer Science Education (ITiCSE-WGR 2025), herausgegeben von Korhonen, Ari; Lovellette, Ellie. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3760545.3783973.
• Junfu, Chen, Xiaoyi, Jiang, Feng, Gao, Yang, Chen, und Dechang, Pi. 2026. „EEGcUCC: Semi-Supervised Deep EEG Clustering with Union Constraint Learning and Contrastive Learning.“ Pattern Recognition 177: 113376.
• Ni, Xiao, Kühnel, Carsten, und Jiang, Xiaoyi. im Druck. „Thermal Detection of People with Mobility Restrictions for Barrier Reduction at Traffic Lights Controlled Intersections.“ IEEE Open Journal of Intelligent Transportation Systems.
• Vahrenhold, Jan, Niemann, Jan, und Drossel, Kerstin. 2026. „Computational Thinking in ICILS 2023: Analyzing the Construct and Its Antecedent- and Process-Level Predictors.“ Preprint. ACM Transactions on Computing Education 26 (4): 1–26. doi: 10.1145/3813115.
• Hengsbach, T., Kathöfer, P., Hourani, K., Borrelli, G., Gerasimova, M., Miro, T., Gol, R.S., Uedemann, J., und Linsen, L. 2026. „2025 IEEE Scientific Visualization Contest Winner: A Comprehensive Visual Exploration Tool for Multivariate Multi-Objective Optimization of Aluminum Alloy Compositions.“ IEEE Computer Graphics and Applications Early Access. doi: 10.1109/MCG.2026.3678413.
• Thorgeirsson, Sverrir, und Vahrenhold, Jan. 2026. „How (and How Not) Do Code Complexity Measures Predict Cognitive Load?“ In ICER '26: Proceedings of the 2026 ACM Conference on International Computing Education Research Vol. 1, herausgegeben von Neil C. C. Brown und Kristin Searle. New York, NY: ACM Press. doi: 10.1145/3765964.3811665.
• Fischer, Mathias, Garcia-Alfaro, Joaquin, Kesdogan, Dogan, und Mann, Zoltán Ádám. 2026. „Secure Communication Networks and Distributed Systems for a Resilient Society.“ Computers and Security 162 104791. doi: 10.1016/j.cose.2025.104791.
• Al-Momani, Ala'a, Balenson, David, Bösch, Christoph, Mann, Zoltán Ádám, Pape, Sebastian, und Petit, Jonathan. 2026. „Lessons from a robotaxi: Challenges in selecting privacy-enhancing technologies.“ In Computer Security: ESORICS 2025 International Workshops, herausgegeben von Romain Laborde, Joaquin Garcia-Alfaro, Guillermo Navarro, Jordi Herrera-Joancomartí, Hannes Hartenstein, Sokratis Katsikas und Frédéric Cuppens. Cham: Springer Publishing. doi: 10.1007/978-3-032-16089-8_11.
• Chabal, Daphnee, Sapra, Dolly, de Laat, Cees, und Mann, Zoltán Ádám. 2026. „QUOKKA: Faster Secure Neural Network Inference with Early-Exit Technology.“ In Foundations and Practice of Security, herausgegeben von Ranwa Al-Mallah, Samiha Ayed, Frédéric Cuppens, Françoise Sailhan und Joaquin Garcia-Alfaro. Cham: Springer Publishing. doi: 10.1007/978-3-032-20026-6_14.
• Batool, Kanwal, Anwar, Saleem, Regazzoni, Francesco, Pimentel, Andy, und Mann, Zoltán Ádám. 2026. „SwiftSNNI: Optimized Scheduling for Secure Neural Network Inference (SNNI) on Multi-Core Systems.“ In ICPE '26: Proceedings of the 17th ACM/SPEC International Conference on Performance Engineering, herausgegeben von Roberto Verdecchia, Catia Trubiani, Radu Calinescu und Ana Lucia Verbanescu. New York: ACM Press. doi: 10.1145/3777884.3797005.
• Gorlatch, S., Garanina, N., Anureev, I., und Kondratyev, D. 2026. „SAFE MUTATIONS OF COMMUNICATION PROTOCOLS.“ Journal of Mathematical Sciences -. doi: 10.1007/s10958-026-08465-5.
• Makhmut, Y, Imankulov, T, Gorlatch, S, und Matkerim, B. 2026. „A CUDA Performance Study of Global- and Shared-Memory Kernels for the Buckley–Leverett Polymer-Flooding Problem.“ Applied Sciences 16 (5449). doi: 10.3390/app16115449.
• Pouls, Kevin, Hamid, Sagad, Sensmeier, Leonard, Eiling, Fabian, Menne, Jan, Oehme, Mathias, Pfeifer, Max, Ridder, Fabian, Tepe, Mika, und Braun, Tanya. im Druck. „Towards Unsupervised Anomaly Detection and Clustering of Defects in Electrode Surface Inspection.“ In Proceedings of the 20th CIRP Conference on Intelligent Computation in Manufacturing Engineering 2026
• Luttermann, Malte, Braun, Tanya, Möller, Ralf, und Gehrke, Marcel. 2026. „Lifted Causal Inference.“ Preprint. Annals of Mathematics and Artificial Intelligence S806. doi: 10.1007/s10472-026-10009-1.
• Braun, Tanya, Gehrke, Marcel, Sauerwald, Kai, und Speller, Jan. im Druck. „Variable Elimination for Forgetting in Probabilistic Graphical Models - A Work in Progress.“ Preprint. In Joint proceedings of the Workshop on Theory and Methods for Abstraction (THEMA 2026) and the Workshop on Modularity and Splitting Techniques for Knowledge Representation and Reasoning (MoST 2026) at the 9th Federated Logic Conference (FLoC 2026), herausgegeben von Christoph Beierle, Alexander Hahn, Gabriele Kern-Isberner, Oliver Kutz, Zeynep G. Saribatur, Kai Sauerwald und Lars-Philllip Spiegel.
• Karabulut, Nazlı Nur, und Braun, Tanya. im Druck. „Indistinguishable Agents in Decentralised POMDPs.“ Preprint. In Informal proceedings of the LAMAS&SR-26 Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning 2026
• Hamid, Sagad, Lee, Dohoo, Kong, Myeong, Braun, Tanya, und Yoo, Jaemin. im Druck. „A Probabilistic Circuit Framework for Interpretable Graph PU Learning.“ In UAI-26 Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence
• Rave, Hennes, Kronenberg, Katharina, Gödde, Hannes, Tobergte, Lea, Holtkamp, Michael, Werner, Julia, Bohrer, Peter, Lohöfer, Fabian, Braren, Rickmer, Clases, David, Karst, Uwe, und Linsen, Lars. 2026. „MIA: A Visual Analytics System for Multimodal Spectral Imaging Data.“ Computers and Graphics 139 104727. doi: 10.1016/j.cag.2026.104727.

2025

• Angiuli, V, Rohner, M, Wittmann, M, Piekarski, F, Kruse, J, Silaschi, M, Kunsorg, A, Mayr, A, Abulizi, I, Speller, J, Bakhtiary, F, und Velten, M. 2025. „Ultra-fast extubation following cardiac surgery improves hemodynamic stability and reduces ICU workload.“ Frontiers in Cardiovascular Medicine 12: 1695955.. doi: 10.3389/fcvm.2025.1695955.
• Wolff, Matthias, Eilers, Florian, und Jiang, Xiaoyi. 2025. „CVKAN: Complex-valued Kolmogorov-Arnold Networks.“ In Proc. of IJCNN, herausgegeben von IEEE. Rome, Italy: Wiley-IEEE Computer Society Press. doi: 10.1109/IJCNN64981.2025.11227425.
• Borrelli, Gabriel, Ittermann, Till, und Linsen, Lars. 2025. „Mapping Mental Models of Uncertainty to Parallel Coordinates by Probabilistic Brushing.“ Preprint. Computer Graphics Forum 44 (3). doi: 10.1111/cgf.70103.
• Ehrentraut, H, Massoth, G, Delis, A, Thewes, B, Hoch, J, Majchrzak, M, Weber-Schehl, M, Mayr, A, Abulizi, I, Speller, J, Meybohm, P, Steinisch, A, Koessler, J, Strauss, AC, Wittmann, M, und Velten, M. 2025. „Implications of packed red bloods cells production and transfer on post transfusion hemoglobin increase.“ Journal of Clinical Anesthesia 102: 111743.. doi: 10.1016/j.jclinane.2025.111743.
• Blohm, Pauline, Schulz, Felix, Willemsen, Lisa, Remke, Anne, und Herber, Paula. 2025. „Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.“ In International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Bd. 16143 aus Lecture Notes in Computer Science, herausgegeben von Pavithra Prabhakar und Andrea Vandin. Switzerland: Springer Nature. doi: 10.1007/978-3-032-05792-1_21.
• Tu, P, Ye, H, Shi, H, Young, J, Xie, M, Zhao, P, Zheng, C, Jiang, X, und Chen, X. 2025. „Phase-specific augmented reality guidance for microscopic cataract surgery using spatiotemporal fusion network.“ Information Fusion 113: 102604.
• Xiao, J, Li, Y, Tian, Y, Jiang, X, Wang, Y, und Wang, S. 2025. „Optimising allocation of marketing resources among offline channel retailers: A bi-clustering-based model.“ Journal of Business Research 186: 114914.
• Rave, Hennes, Molchanov, Vladimir, und Linsen, Lars. 2025. „De-cluttering Scatterplots with Integral Images.“ IEEE Transactions on Visualization and Computer Graphics 31 (4): 2114–2126. doi: 10.1109/TVCG.2024.3381453.
• Zhang, J, und Jiang, X. im Druck. „Evolutionary training set pruning for boosting interpolation kernel machines.“ In Pattern Recognition Applications and Methods
• Chen, J, Pi, D, Jiang, X, Gao, F, Wang, B, und Chen, Y. 2025. „EEGCiD: EEG condensation into diffusion model.“ IEEE Transactions on Automation Science and Engineering 22: 8502–8518.
• Fournier-Facio, Francesco, Gerasimova, Maria, und Spaas, Pieter. 2025. „Local Hilbert-Schmidt stability.“ Journal of Algebra 663. doi: 10.1016/j.jalgebra.2024.08.042.
• Xu, J, Gao, J, Jiang, S, Wang, C, Smedby, Ö, Wu, Y, Jiang, X, und Chen, X. 2025. „Automatic segmentation of bone graft in maxillary sinus via distance constrained network guided by prior anatomical knowledge.“ IEEE Journal of Biomedical and Health Informatics 29 (3): 1995–2005.
• Blohm, Pauline, Fränzle, Martin, Herber, Paula, Kröger, Paul, und Remke, Anne. 2025. „Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.“ In Leveraging Applications of Formal Methods, Verification and Validation, Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Crete: Springer. doi: 10.1007/978-3-031-75380-0_3.
• Blohm, Pauline, Herber, Paula, und Remke, Anne. 2025. „Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.“ In Integrated Formal Methods. iFM 2024, Lecture Notes in Computer Science, herausgegeben von Nikolai Kosmatov und Laura Kovács. Switzerland: Springer Nature. doi: 10.1007/978-3-031-76554-4_10.
• Becker-Kupczok, Jonas, und Herber, Paula. 2025. „Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.“ In Software Engineering and Formal Methods. SEFM 2024, Bd. 15280 aus Lecture Notes in Computer Science, herausgegeben von Madeira A. und Knapp A.. Cham: Springer. doi: 10.1007/978-3-031-77382-2_7.
• Herber, Paula, Adelt, Julius, und Tasche, Philip. 2025. „Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.“ In Software Engineering and Formal Methods, herausgegeben von Alexandre Madeira und Alexander Knapp. Cham: Springer Nature. doi: 10.1007/978-3-031-77382-2_1.
• Tasche, Philip, Herber, Paula, und Huisman, Marieke. 2025. „Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.“ In Software Engineering and Formal Methods, herausgegeben von Alexandre Madeira und Alexander Knapp. Cham: Springer Nature. doi: 10.1007/978-3-031-77382-2_23.
• Lixiang, Xu, Jiawang, Peng, Xiaoyi, Jiang, Enhong, Chen, und Bin, Luo. 2025. „Graph neural network based on graph kernel: A survey.“ Pattern Recognition 161: 111307.
• Niehage, Mathis, und Remke, Anne. 2025. „Symbolic state-space exploration meets statistical model checking.“ Performance Evaluation 167 (102449). doi: 10.1016/j.peva.2024.102449.
• Luttermann, Malte, Speller, Jan, Gehrke, Marcel, Braun, Tanya, Möller, Ralf, und Hartwig, Mattis. 2025. „Approximate Lifted Model Construction.“ In IJCAI-25 Proceedings of the 34th International Joint Conference on Artificial Intelligence, herausgegeben von James Kwok. Montreal: IJCAI Organization. doi: 10.24963/ijcai.2025/1009.
• Elischberger, Frederik, und Jiang, Xiaoyi. 2025. „Deep Learning meta architecture to detect spatially coherent coarse grain regions in ultrasonic data.“ NDT and E International 153: 103342.
• Jin, Xiao, Sihan, Li, Yuhang, Tian, Jing, Huang, Xiaoyi, Jiang, und Shouyang, Wang. 2025. „Example dependent cost sensitive learning based selective deep ensemble model for customer credit scoring.“ Scientific Reports 15 6000. doi: 10.1038/s41598-025-89880-7.
• Hamid, Sagad, und Braun, Tanya. 2025. „Combining Local Symmetry Exploitation and Reinforcement Learning for Optimised Probabilistic Inference - A Work In Progress.“ Preprint. arXiv
• Wei, Xu, Lixiang, Xu, und Xiaoyi, Jiang. 2025. „Resistance distance guided node injection attack on graph neural networks.“ In Prof. of GbR, herausgegeben von N/A. Caen, France: Springer.
• Eilers, Florian, und Jiang, Xiaoyi. 2025. „Initializing complex-valued neural networks from their pretrained real-valued counterparts.“ In Proc. of IJCNN, herausgegeben von N/A. Rome: Wiley-IEEE Computer Society Press.
• Speller, Jan, Luttermann, Malte, Gehrke, Marcel, und Braun, Tanya. 2025. „Compression versus Accuracy: A Hierarchy of Lifted Models.“ In ECAI-25 Proceedings of the 28th European Conference on Artificial Intelligence, herausgegeben von I. Lynce und al. et. Online: IOS Press. doi: 10.3233/FAIA251420.