Počet publikací: 6
Články
-
Acceleration of Molecular Simulations by Parametric Time-Lagged tSNE Metadynamics
The Journal of Physical Chemistry B, rok: 2024, DOI
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Journal of Computer and System Sciences, rok: 2024, DOI
-
Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations
Journal of Combinatorial Theory. Series B, rok: 2024, ročník: 164, vydání: 1, DOI
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
DISCRETE MATHEMATICS, rok: 2024, DOI
Články ve sbornících
-
Computing Twin-Width Parameterized by the Feedback Edge Number
41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), rok: 2024
-
“These results must be false”: A usability evaluation of constant-time analysis tools
33rd USENIX Security Symposium, rok: 2024