• CRC 1450 - Z01: Interactive and computational analysis of large multiscale imaging data (2025 – 2028)
  Subproject in DFG-Joint Project Hosted at University of Münster: DFG - Sonderforschungsbereich | Project Number: SFB 1450/2, Z01
• Structured Code Generation for Deep-Learning Computations via Multi-Dimensional Homomorphisms – MDH.DL (2025 – 2028)
  Individual Granted Project: DFG - Sachbeihilfe/Einzelförderung | Project Number: GO 756/8-2
• Multifaceted Data Visualization: A unifying concept for analyzing spatio-temporal data ensemble – MFacet (2025 – 2028)
  Individual Granted Project: DFG - Sachbeihilfe/Einzelförderung | Project Number: LI 1530/32-1
• Pigments - Properties and influences on the product quality of industrial paints and other surface coatings – Pig-Pro-QuO (2025 – 2028)
  Individual Granted Project: EFRE/JTF-Programm - Innovationswettbewerb Industrie.IN.NRW | Project Number: EFRE-20800669; EFRE-20800668
• SPP 2363 - Subproject: Elucidating Fingerprints – Towards a Holistic Explanatory Toolbox for Molecular Machine Learning – EXFP-MML (2022 – 2027)
  Subproject in DFG-Joint Project Hosted at University of Münster: DFG - Schwerpunktprogramm | Project Number: GL 349/15-1; JI 104/10-1
• Safe Integration of Learning In Autonomous cyber-physical Systems – Safe ILIAS (2024 – 2027)
  Individual Granted Project: DFG - Sachbeihilfe/Einzelförderung | Project Number: HE 6733/5-1
• Retrospective CT examinations of clavicular ossification - development of a clinical decision support system based on classical scale-based assessments and modern machine learning methodology to improve the validity and reliability of forensic age assessments – Clavicle-ML (2024 – 2027)
  Individual Granted Project: DFG - Sachbeihilfe/Einzelförderung | Project Number: LI 1530/31-1; SCHM 1609/8-1
• HAPPI - Human-aware PGMs and Probabilistic Inference via Lifted Model Reconciliation – HAPPI (2024 – 2026)
  Individual Granted Project: MKW - Förderlinie „Künstliche Intelligenz/Maschinelles Lernen“ - KI-Starter | Project Number: 005-2401-0004
• Tutor.AI (since 2024)
  Own Resources Project
• Automatische Skalierbarkeit in verteilten Systemen mit Echtzeit-Anforderungen (2018 – 2026)
  Individual Granted Project: GS electronic Gebr. Schönweitz GmbH
• E-Mobilität für LKWs - Prädiktive KI Modelle (2023 – 2026)
  Individual Granted Project: MAN Truck & Bus SE
• SystemC to Timed Automata Transformation Engine – STATE (since 2018)
  Own Resources Project
• Applied IoT Data Analytics (since 2017)
  Own Resources Project
• Query Processing (since 2014)
  Own Resources Project
• Metric and Ptolemaic Access Methods (since 2011)
  Own Resources Project
• Similarity Search (since 2011)
  Own Resources Project

• 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.
• 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.
• Cai, Yuxin, Huang, Yanyong, Chang, Jinyuan, Wang, Dongjie, Li, Tianrui, and Jiang, Xiaoyi. in Kürze. “Joint Learning of Unsupervised Multi-view Feature and Instance Co-selection with Cross-view Imputation.” IEEE Transactions on Knowledge and Data Engineering.
• Florian, Eilers, and Xiaoyi, Jiang. in Kürze. “DeepCSHAP: Utilizing Shapley Values to Explain Deep Complex-Valued Neural Networks.” IEEE Transactions on Pattern Analysis and Machine Intelligence.
• 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.

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.
• Molchanov, Vladimir. in Kürze. “Riemannian inhomogeneity and anisotropy of perceptual color space.” Preprint. in EuroVis 2025 - Short Papers doi: 10.2312/evs.20251080.
• Schick, Johannes, Wagner, Marc, and Lippe, Wolfram-Manfred. 2025. “Bridging Textual and Graphical Representations with Knowledge Graphs in Modeling Languages.” contribution to the 8th International Conference on Software and System Engineering (ICoSSE), Nice, 04-06 April 2025 doi: 10.1109/ICoSSE65712.2025.00024.
• Bender, Magnus, Braun, Tanya, Möller, Ralf, and Gehrke, Marcel. 2025. “Enhancement of Subjective Content Descriptions by Using Human Feedback.” International Journal of Semantic Computing 19 (2): 297–319. doi: 10.1142/S1793351X25420036.
• Lee, D, Kong, M, Hamid, S, Lee, C, and Yoo, J. 2025. “Aggregation Buffer: Revisiting DropEdge with a New Parameter Block.” in Proceedings of the 42nd International Conference on Machine Learning, Proceedings of Machine Learning Research, edited by A Singh, M Fazel, D Hsu, S Lacoste-Julien, F Berkenkamp, T Maharaj, K Wagstaff and J Zhu. .: MLResearchPress.
• Kronenberg, Katharina, Rave, Hennes, Ghaffari-Tabrizi-Wizsy, Nassim, Nyckees, Danae, Elinkmann, Matthias, Freitak, Dalial, Linsen, Lars, Gonzalez de Vega, Raquel, and Clases, David. 2025. “Exploring high-dimensional LA-ICP-TOFMS data with uniform manifold approximation and projection (UMAP).” Journal of Analytical Atomic Spectrometry. doi: 10.1039/D5JA00215J.
• Peltonen, E., Bayhan, S., Bermbach, D., Buschjäger, S., Degeler, V., Ding, A., Incel, O., Katare, D., Kjaergaard, M., Leroux, S., Mahmoodi, T., and Mann, Z.Á. et al. 2025. “Rethinking Computing Systems in the Era of Climate Crisis: A Call for a Sustainable Computing Continuum.” IEEE Internet Computing 29 (2): 8–18. doi: 10.1109/MIC.2025.3566642.
• Haag, Manuel, Kurpicz, Florian, Sanders, Peter, and Schimek, Becht. 2025. “Fast and Lightweight Distributed Suffix Array Construction.” in 33rd Annual European Symposium on Algorithms, ESA 2025, September 15-17, 2025, Warsaw, Poland, Vol. 351 of LIPIcs, edited by Anne Benoit, Wild Sebastian Kaplan Haim and Grzegorz Herman. o,O.: Dagstuhl Publishing. doi: 10.4230/LIPICS.ESA.2025.47.
• Braun, Tanya, Paaßen, Benjamin, and Stolzenburg, Frieder, eds. 2025. Lecture Notes in Computer Science, Vol. 15956, KI 2025: Advances in Artificial Intelligence Heidelberg: Springer Nature. doi: 10.1007/978-3-032-02813-6.
• van Dijk, Romke, van de Wetering, Judith, Argentini, Ranieri, Gorka, Leonie, van Luenen, Anne Fleur, Minnema, Sieds, Rijgersberg, Edwin, Ugen, Mattijs, Mann, Zoltán Ádám, and Geradts, Zeno. 2025. “PaSSw0rdVib3s!: AI-assisted Password Recognition for Digital Forensic Investigations.” Forensic Science International: Digital Investigation 52 301870. doi: 10.1016/j.fsidi.2025.301870.
• Chabal, Daphnee, Muller, Tim, Zhang, Eloise, Sapra, Dolly, de Laat, Cees, and Mann, Zoltán Ádám. 2025. “COLIBRI: Optimizing Multi-Party Secure Neural Network Inference Time for Transformers.” in ICT Systems Security and Privacy Protection, edited by Lili Nemec Zlatolas, Kai Rannenberg, Tatjana Welzer and Joaquin Garcia-Alfaro. Cham: Springer. doi: 10.1007/978-3-031-92882-6_2.
• Mann, Zoltán Ádám. 2025. “Time is money: A temporal model of cybersecurity.” in ICT Systems Security and Privacy Protection, edited by Lili Nemec Zlatolas, Kai Rannenberg, Tatjana Welzer and Joaquin Garcia-Alfaro. Cham: Springer.
• Schulze, Richard, Gorlatch, Sergei, and Rasch, Ari. 2025. “pyATF: Constraint-Based Auto-Tuning in Python.” contribution to the 34th ACM SIGPLAN International Conference on Compiler Construction, Las Vegas ACM Press. doi: 10.1145/3708493.3712682.
• Hall, Mary, Oancea, Cosmin E., Elster, Anne C., Rasch, Ari, Joshi, Sameeran, Tavakkoli, Amir Mohammad, and Schulze, Richard. 2025. “Scheduling Language Chronology: Past, Present, and Future.” Transactions on Architecture and Code Optimization 22 (3): 1–31. doi: 10.1145/3743135.
• Schulze, Richard, Gorlatch, Sergei, and Rasch, Ari. 2025. “Reduction-Aware Directive-Based Programming via Multi-Dimensional Homomorphisms.” in Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis doi: 10.1145/3731599.3767572.
• Gorlatch, S., Garanina, N., and Staroletov, S. 2025. “USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.” Journal of Mathematical Sciences - (-). doi: 10.1007/s10958-025-07687-3.
• Tomak, Juri, and Gorlatch, Sergei. 2025. “A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach.” contribution to the ACM SIGSIM-PADS Principles of Advanced Discrete Simulation, Atlanta, Georgia, 24-26 Juni 2024 doi: 10.1145/3673897.
• Molchanov, Vladimir*, Rave, Hennes*, and Linsen, Lars. 2025. “A Decluttering Lens for Scatterplots.” contribution to the IEEE Visualization and Visual Analytics (VIS), Vienna doi: 10.1109/VIS60296.2025.00031.
• Cutura, Rene, Rave, Hennes, Ngo, Quynh Quang, Molchanov, Vladimir, Linsen, Lars, Weiskopf, Daniel, and Sedlmair, Michael. 2025. “SiGrid: Gridifying Scatterplots with Sector-Based Regularization and Hagrid.” contribution to the IEEE Visualization and Visual Analytics (VIS), Vienna doi: 10.1109/VIS60296.2025.00032.
• Tasche, P, Herber, P, and Huisman, M. 2025. “Deductive Verification of Cooperative RTOS Applications.” Transactions on Embedded Computing Systems 24 (5s). doi: 10.1145/3759251.