Publikace
Počet publikací: 14
Články
-
Almost compact embeddings between Orlicz and Lorentz spaces
Journal of Functional Analysis, rok: 2025, ročník: 288, vydání: 11, DOI
-
On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees
DISCRETE MATHEMATICS, rok: 2025, ročník: 348, vydání: 4, DOI
-
Planar graph with twin-width seven
European Journal of Combinatorics, rok: 2025, ročník: 123, vydání: 103749, DOI
-
Revisiting the analysis of references among Common Criteria certified products
Computers & Security, rok: 2025, ročník: 2025, vydání: 152, DOI
-
Stack and queue numbers of graphs revisited
EUROPEAN JOURNAL OF COMBINATORICS, rok: 2025, DOI
-
Twin-width of Planar Graphs; a Short Proof
EUROPEAN JOURNAL OF COMBINATORICS, rok: 2025, 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.
-
ROCA and Minerva Vulnerabilities
Embedded Cryptography 3, vydání: Vyd. 1, rok: 2025, počet stran: 20 s.
Články ve sbornících
-
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
VMCAI 2025, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, rok: 2025