Publikace
Počet publikací: 55
Články
-
Stack and queue numbers of graphs revisited
EUROPEAN JOURNAL OF COMBINATORICS, rok: 2025, DOI
-
Test
-
The effect of individual visual sensitivity on time perception
SCIENTIFIC REPORTS, rok: 2025, ročník: 15, vydání: 6589, DOI
-
The Language of Infographics: Toward Understanding Conceptual Metaphor Use in Scientific Storytelling
IEEE Transactions on Visualization and Computer Graphics, rok: 2025, ročník: 31, vydání: 1, DOI
-
Twin-width of Planar Graphs; a Short Proof
EUROPEAN JOURNAL OF COMBINATORICS, rok: 2025, DOI
-
Using Polycaprolactone Nanofibers for the Proof-of-Concept Construction of the Alveolar-Capillary Interface
JOURNAL OF BIOMEDICAL MATERIALS RESEARCH PART A, rok: 2025, ročník: 113, vydání: 1, DOI
-
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
-
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.