Publications
Total number of publications: 217
Articles
-
Visual Support for the Loop Grafting Workflow on Proteins
IEEE Transactions on Visualization and Computer Graphics, year: 2025, volume: 31, edition: 1, DOI
-
Využitie podporných systémov založených na umelej inteligencii v justícii ako porušenie práva na spravodlivý proces
Právny obzor : časopis ústavu štátu a práva, year: 2025, volume: 108, edition: 5, DOI
-
What Does YouTube Advise Students About Bypassing AI-Text Detection Tools? A Pragmatic Analysis
Journal of Academic Ethics, year: 2025, volume: 2026, edition: 24:8, 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
Chapters
-
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, year: 2025, number of pages: 27 s.
-
Czech Republic
Cryptocurrencies in National Laws, year: 2025, number of pages: 26 s.
-
Epistemic trustworthiness of AI: (the necessity of) explainable AI in legal decision-making
Research Handbook on Epistemologies of Law, year: 2025, number of pages: 13 s.
-
Protected ECC Implementations
, year: 2025
-
Quantum-Secured Satellite Communications: Navigating Legaland Cyber Challenges
Legal Challenges of Disruptive Technologies, year: 2025, number of pages: 18 s.
-
ROCA and Minerva Vulnerabilities
Embedded Cryptography 3, edition: Vyd. 1, year: 2025, number of pages: 20 s.