• 2026
• 2025

2026

• Gol, Sabbagh R., Evers, M., Heimes, K., Gerrits, T., Gyawali, S., Sinden, D., Preusser, T., and 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, and 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, and 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, and 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), edited by 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, and 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, and 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, and Jiang, Xiaoyi. in Kürze. “Clifford Kolmogorov-Arnold Networks.” Preprint. arXiv doi: 10.48550/arXiv.2602.05977.
• Marwitz, Florian, Braun, Tanya, Möller, Ralf, and 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, edited by Chris Amato, Louise Dennis, Viviana Mascardi and John Thangarajah. Richland: International Foundation for Autonomous Agents and Multiagent Systems. doi: 10.65109/GOIS4183.
• Wortmann, Carolin, and 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, and 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, edited by Ari Korhonen and 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, and Jiang, Xiaoyi. in Kürze. “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, and Yang, Chen. in Kürze. “EEGcMamba: EEG Clustering via State Space Model.” IEEE Transactions on Artificial Intelligence.
• Enpeng, Wang, Jiangchang, Xu, Yueang, Liu, Puxun, Tu, Junfeng, Wang, Xiaoyi, Jiang, and 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, and 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, and Gorlatch, Sergei. 2026. “Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters.” in Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, edited by for Computing Machinery Association. New York: ACM Press. doi: 10.1145/3771775.3786282.
• Herber, P, Osama, M, and 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, and 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), edited by 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, and 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, and Jiang, Xiaoyi. in Kürze. “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, and 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., and 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, and 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, edited by Neil C. C. Brown and Kristin Searle. New York, NY: ACM Press. doi: 10.1145/3765964.3811665.
• Fischer, Mathias, Garcia-Alfaro, Joaquin, Kesdogan, Dogan, and 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, and Petit, Jonathan. 2026. “Lessons from a robotaxi: Challenges in selecting privacy-enhancing technologies.” in Computer Security: ESORICS 2025 International Workshops, edited by Romain Laborde, Joaquin Garcia-Alfaro, Guillermo Navarro, Jordi Herrera-Joancomartí, Hannes Hartenstein, Sokratis Katsikas and Frédéric Cuppens. Cham: Springer Publishing. doi: 10.1007/978-3-032-16089-8_11.
• Chabal, Daphnee, Sapra, Dolly, de Laat, Cees, and Mann, Zoltán Ádám. 2026. “QUOKKA: Faster Secure Neural Network Inference with Early-Exit Technology.” in Foundations and Practice of Security, edited by Ranwa Al-Mallah, Samiha Ayed, Frédéric Cuppens, Françoise Sailhan and Joaquin Garcia-Alfaro. Cham: Springer Publishing. doi: 10.1007/978-3-032-20026-6_14.
• Batool, Kanwal, Anwar, Saleem, Regazzoni, Francesco, Pimentel, Andy, and 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, edited by Roberto Verdecchia, Catia Trubiani, Radu Calinescu and Ana Lucia Verbanescu. New York: ACM Press. doi: 10.1145/3777884.3797005.
• Gorlatch, S., Garanina, N., Anureev, I., and 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, and 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, and Braun, Tanya. in Kürze. “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, and 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, and Speller, Jan. in Kürze. “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), edited by Christoph Beierle, Alexander Hahn, Gabriele Kern-Isberner, Oliver Kutz, Zeynep G. Saribatur, Kai Sauerwald and Lars-Philllip Spiegel.
• Karabulut, Nazlı Nur, and Braun, Tanya. in Kürze. “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, and Yoo, Jaemin. in Kürze. “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, and 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, and 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, and Jiang, Xiaoyi. 2025. “CVKAN: Complex-valued Kolmogorov-Arnold Networks.” in Proc. of IJCNN, edited by IEEE. Rome, Italy: Wiley-IEEE Computer Society Press. doi: 10.1109/IJCNN64981.2025.11227425.
• Borrelli, Gabriel, Ittermann, Till, and 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, and 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, and 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, Vol. 16143 of Lecture Notes in Computer Science, edited by Pavithra Prabhakar and 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, and 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, and 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, and 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, and Jiang, X. in Kürze. “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, and Chen, Y. 2025. “EEGCiD: EEG condensation into diffusion model.” IEEE Transactions on Automation Science and Engineering 22: 8502–8518.
• Fournier-Facio, Francesco, Gerasimova, Maria, and 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, and 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, and 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, edited by Tiziana Margaria and Bernhard Steffen. Crete: Springer. doi: 10.1007/978-3-031-75380-0_3.
• Blohm, Pauline, Herber, Paula, and Remke, Anne. 2025. “Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.” in Integrated Formal Methods. iFM 2024, Lecture Notes in Computer Science, edited by Nikolai Kosmatov and Laura Kovács. Switzerland: Springer Nature. doi: 10.1007/978-3-031-76554-4_10.
• Becker-Kupczok, Jonas, and Herber, Paula. 2025. “Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.” in Software Engineering and Formal Methods. SEFM 2024, Vol. 15280 of Lecture Notes in Computer Science, edited by Madeira A. and Knapp A.. Cham: Springer. doi: 10.1007/978-3-031-77382-2_7.
• Herber, Paula, Adelt, Julius, and Tasche, Philip. 2025. “Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.” in Software Engineering and Formal Methods, edited by Alexandre Madeira and Alexander Knapp. Cham: Springer Nature. doi: 10.1007/978-3-031-77382-2_1.
• Tasche, Philip, Herber, Paula, and Huisman, Marieke. 2025. “Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.” in Software Engineering and Formal Methods, edited by Alexandre Madeira and Alexander Knapp. Cham: Springer Nature. doi: 10.1007/978-3-031-77382-2_23.
• Lixiang, Xu, Jiawang, Peng, Xiaoyi, Jiang, Enhong, Chen, and Bin, Luo. 2025. “Graph neural network based on graph kernel: A survey.” Pattern Recognition 161: 111307.
• Niehage, Mathis, and 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, and Hartwig, Mattis. 2025. “Approximate Lifted Model Construction.” in IJCAI-25 Proceedings of the 34th International Joint Conference on Artificial Intelligence, edited by James Kwok. Montreal: IJCAI Organization. doi: 10.24963/ijcai.2025/1009.
• Elischberger, Frederik, and 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, and 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, and Braun, Tanya. 2025. “Combining Local Symmetry Exploitation and Reinforcement Learning for Optimised Probabilistic Inference - A Work In Progress.” Preprint. arXiv
• Wei, Xu, Lixiang, Xu, and Xiaoyi, Jiang. 2025. “Resistance distance guided node injection attack on graph neural networks.” in Prof. of GbR, edited by N/A. Caen, France: Springer.
• Eilers, Florian, and Jiang, Xiaoyi. 2025. “Initializing complex-valued neural networks from their pretrained real-valued counterparts.” in Proc. of IJCNN, edited by N/A. Rome: Wiley-IEEE Computer Society Press.
• Speller, Jan, Luttermann, Malte, Gehrke, Marcel, and Braun, Tanya. 2025. “Compression versus Accuracy: A Hierarchy of Lifted Models.” in ECAI-25 Proceedings of the 28th European Conference on Artificial Intelligence, edited by I. Lynce and al. et. Online: IOS Press. doi: 10.3233/FAIA251420.