Not finding it? Sign in to also search OpenAlex live.
-
Privacy-preserving multicenter differential protein abundance analysis with FedProt2025 Nature Computational Science article Computer Science Privacy-Preserving Technologies in Data Open access
Yuliya P. Burankova, Miriam Abele, Mohammad Bakhtiari, Christine von Toerne, Teresa K. Barth, Lisa Schweizer, +25 more
3citations -
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
0citations -
Quantitative Whole Slide Assessment of Tumor-Infiltrating CD8-Positive Lymphocytes in ER-Positive Breast Cancer in Relation to Clinical Outcome2020 IEEE Journal of Biomedical and Health Informatics article Computer Science AI in cancer detection
Daniëlle Krijgsman, Marinus B. van Leeuwen, John van der Ven, Ruud Vlutters, David Halter, Peter J.K. Kuppen, +2 more
32citations -
Feature analysis for proper intensity scaling and feature distinction in class activation maps2025 Knowledge-Based Systems article Computer Science Explainable Artificial Intelligence (XAI) Open access
Yanli Li, Denis P. Shamonin, Tahereh Hassanzadeh, M. Reijnierse, Annette H M van der Helm–van Mil, Berend C. Stoel
1citations -
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL2024 International VLSI Symposium on Technology, Systems and Applications (VLSI-TSA) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Lennart M. Reimann, Anschul Prashar, Chiara Ghinami, Rebecca Pelke, Dominik Šišejković, Farhad Merchant, +1 more
5citations -
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL2024 arXiv (Cornell University) preprint Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Lennart M. Reimann, Anschul Prashar, Chiara Ghinami, Rebecca Pelke, Dominik Šišejković, Farhad Merchant, +1 more
0citations -
Quantitative Information Flow for Hardware: Advancing the Attack Landscape2023 IEEE Latin America Symposium on Circuits and Systems (LASCAS) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Lennart M. Reimann, Sarp Erdönmez, Dominik Šišejković, Rainer Leupers
6citations -
SPLOCIS – Extending SPLOMs to a Scatterplot Cube with Interactable Shadows for Immersive Analysis in Virtual Reality2026 IEEE Conference on Virtual Reality and 3D User Interfaces (VR) conference-paper Computer Science Data Visualization and Analytics
Melanie Derksen, Viktoria Dieke, Torsten Kuhlen, Mario Botsch, Tim Weißker
0citations -
Automated parcellation and atlasing of the human subcortex with ultra-high resolution quantitative MRI2025 Imaging Neuroscience article Computer Science Medical Image Segmentation Techniques Open access
Pierre‐Louis Bazin, Josephine Maria Groot, Steven Miletić, Lysanne Groenewegen, Anne C. Trutti, Martijn Mulder, +2 more
4citations -
Automated Analysis of Alignment in Long-Leg Radiographs by Using a Fully Automated Support System Based on Artificial Intelligence2020 Radiology Artificial Intelligence article Computer Science Medical Image Segmentation Techniques Open access cited by 1 patent
Justus Schock, Daniel Truhn, Daniel Benjamin Abrar, Dorit Merhof, Stefan Conrad, Manuel Post, +3 more
78citations