Publications
Total number of publications: 26
Articles
-
Using Polycaprolactone Nanofibers for the Proof-of-Concept Construction of the Alveolar-Capillary Interface
JOURNAL OF BIOMEDICAL MATERIALS RESEARCH PART A, year: 2025, volume: 113, edition: 1, DOI
-
Visual Support for the Loop Grafting Workflow on Proteins
IEEE Transactions on Visualization and Computer Graphics, year: 2025, volume: 31, edition: 1, DOI
-
Who Let the Guards Out: Visual Support for Patrolling Games
IEEE Transactions on Visualization and Computer Graphics, year: 2025, volume: 31, edition: 1, DOI
Conference proceedings
-
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, year: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education [to appear], year: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, year: 2025
-
Exploring the Fit: Analysing Material Selection for Interactive Markers in MAR Games through Co-Design
Year: 2025
-
Image Harmonization Using Robust Restricted Cdf Matching
2025 IEEE International Symposium on Biomedical Imaging, year: 2025
-
Improving Machine Understanding of Czech Medical Text Using Automated Data Augmentation
21st International Conference on Intelligent Environments (IE2025), year: 2025
-
Leveraging the Internet of Behaviors for Mutual Trust in Digital Ecosystems
the 30th Annual ACM Conference on Intelligent User Interfaces (IUI), year: 2025