DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.2509.20539,21398,"GradSch,VlKo","Composition direction of Seymour's theorem for regular matroids — Formally verified"
10.1145/3832046.3832063,22774,VlKo,Certifying solutions of degenerate semidefinite programs
10.1007/s10107-024-02064-5,10045,"GradSch,VlKo",Generalized minimum 0-extension problem and discrete convexity
10.1145/3626183.3659969,17236,VlKo,"A simpler and parallelizable O(√log n)-approximation algorithm for sparsest cut"
10.48550/arXiv.2409.08119,20071,"GradSch,VlKo",Duality theory in linear optimization and its extensions -- formally  verified
10.4230/LIPIcs.ICALP.2023.72,14084,VlKo,Parameter estimation for Gibbs distributions
10.1109/CVPR52729.2023.01153,14448,VlKo,Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions
10.4230/LIPIcs.ITP.2023.15,13120,"GradSch,VlKo",Closure properties of general grammars - formally verified
10.3233/IDA-205623,10737,VlKo,Combining pattern-based CRFs and weighted context-free grammars
10.1080/10556788.2021.1924715,9469,VlKo,Reflected three-operator splitting method for monotone inclusion problem
10.1080/02331934.2021.1914035,9365,VlKo,Convergence analysis of new inertial method for the split common null point problem
10.1080/00036811.2020.1736287,7577,VlKo,Weak convergence for variational inequalities with inertial-type method
10.4230/LIPIcs.APPROX/RANDOM.2021.31,10072,VlKo,A new notion of commutativity for the algorithmic Lovász Local Lemma
null,10552,VlKo,One-sided Frank-Wolfe algorithms for saddle problems
10.1007/s11590-020-01603-1,7925,VlKo,New inertial relaxed method for solving split feasibilities
10.1007/s11081-020-09544-5,8196,VlKo,New strong convergence method for the sum of two maximal monotone operators
10.1007/s00186-020-00730-w,8817,VlKo,An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
10.1007/978-3-030-67899-9_28,9227,VlKo,Experimental evaluation of a local search approximation algorithm for the multiway cut problem
10.1007/s11067-021-09517-w,9234,VlKo,New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
10.1007/s00025-021-01381-x,9315,VlKo,"New convergence results for inertial Krasnoselskii–Mann iterations in Hilbert spaces with applications"