Massively Winning Congurations in the Convex Grabbing Game on the Plane. - Martin Dvorak; Sara Nicholson (CCCG, 2021)

Closure Properties of General Grammars - Formally Verified. - Martin Dvorak; Jasmin Blanchette (ITP, 2023)

Closure Properties of Unrestricted Grammars - Formally Verified. - Martin Dvorak; Jasmin Blanchette (CoRR, 2023)

Duality theory in linear optimization and its extensions - formally verified. - Martin Dvorak; Vladimir Kolmogorov (CoRR, 2024)

Generalized minimum 0-extension problem and discrete convexity. - Martin Dvorak; Vladimir Kolmogorov (Math. Program., 2025)