Publikace
Počet publikací: 214
Články
-
Visual Support for the Loop Grafting Workflow on Proteins
IEEE Transactions on Visualization and Computer Graphics, rok: 2025, ročník: 31, vydání: 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, rok: 2025, ročník: 108, vydání: 5, DOI
-
What Does YouTube Advise Students About Bypassing AI-Text Detection Tools? A Pragmatic Analysis
Journal of Academic Ethics, rok: 2025, ročník: 2026, vydání: 24:8, DOI
-
Who Let the Guards Out: Visual Support for Patrolling Games
IEEE Transactions on Visualization and Computer Graphics, rok: 2025, ročník: 31, vydání: 1, DOI
Kapitoly v knihách
-
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, rok: 2025, počet stran: 27 s.
-
Czech Republic
Cryptocurrencies in National Laws, rok: 2025, počet stran: 26 s.
-
Epistemic trustworthiness of AI: (the necessity of) explainable AI in legal decision-making
Research Handbook on Epistemologies of Law, rok: 2025, počet stran: 13 s.
-
Protected ECC Implementations
, rok: 2025
-
Quantum-Secured Satellite Communications: Navigating Legaland Cyber Challenges
Legal Challenges of Disruptive Technologies, rok: 2025, počet stran: 18 s.
-
ROCA and Minerva Vulnerabilities
Embedded Cryptography 3, vydání: Vyd. 1, rok: 2025, počet stran: 20 s.