Prufrock: a framework for constructing polytypic theorem provers. - Justin Ward; Garrin Kimmell; Perry Alexander (ASE, 2005)

Improved Approximations for k-Exchange Systems - (Extended Abstract). - Moran Feldman; Joseph Naor; Roy Schwartz 002; Justin Ward (ESA, 2011)

A $(k + 3)/2$-approximation algorithm for monotone submodular maximization over a $k$-exchange system - Justin Ward (CoRR, 2011)

A Tight Combinatorial Algorithm for Submodular Maximization Subject to a Matroid Constraint. - Yuval Filmus; Justin Ward (FOCS, 2012)

The Power of Local Search: Maximum Coverage over a Matroid. - Yuval Filmus; Justin Ward (STACS, 2012)

A (k+3)/2-approximation algorithm for monotone submodular k-set packing and general k-exchange systems. - Justin Ward (STACS, 2012)

Large Neighborhood Local Search for the Maximum Set Packing Problem. - Maxim Sviridenko; Justin Ward (ICALP (1), 2013)

Tight Bounds for Submodular and Supermodular Optimization with Bounded Curvature. - Maxim Sviridenko; Justin Ward (CoRR, 2013)

Oblivious and Non-oblivious Local Search for Combinatorial Optimization. - Justin Ward (2013)

Maximizing Bisubmodular and k-Submodular Functions. - Justin Ward; Stanislav Zivný (SODA, 2014)

Maximizing k-Submodular Functions and Beyond. - Justin Ward; Stanislav Zivný (CoRR, 2014)

Monotone Submodular Maximization over a Matroid via Non-Oblivious Local Search. - Yuval Filmus; Justin Ward (SIAM J. Comput., 2014)

The Power of Randomization: Distributed Submodular Maximization on Massive Datasets. - Rafael da Ponte Barbosa; Alina Ene; Huy L. Nguyen; Justin Ward (ICML, 2015)

A Bi-Criteria Approximation Algorithm for k-Means. - Konstantin Makarychev; Yury Makarychev; Maxim Sviridenko; Justin Ward (APPROX-RANDOM, 2016)

A New Framework for Distributed Submodular Maximization. - Rafael da Ponte Barbosa; Alina Ene; Huy L. Nguyen; Justin Ward (FOCS, 2016)

Submodular Stochastic Probing on Matroids. - Marek Adamczyk; Maxim Sviridenko; Justin Ward (Math. Oper. Res., 2016)

Maximizing k-Submodular Functions and Beyond. - Justin Ward; Stanislav Zivný (ACM Trans. Algorithms, 2016)

Optimal Approximation for Submodular and Supermodular Optimization with Bounded Curvature. - Maxim Sviridenko; Jan Vondrák; Justin Ward (Math. Oper. Res., 2017)

Submodular Maximization beyond Non-negativity: Guarantees, Fast Algorithms, and Applications. - Chris Harshaw; Moran Feldman; Justin Ward; Amin Karbasi (ICML, 2019)

Improved Multi-Pass Streaming Algorithms for Submodular Maximization with Matroid Constraints. - Chien-Chung Huang 001; Theophile Thiery; Justin Ward (APPROX-RANDOM, 2020)

FPT-Algorithms for the l-Matchoid Problem with Linear and Submodular Objectives. - Chien-Chung Huang 001; Justin Ward (CoRR, 2020)

Better Guarantees for k-Means and Euclidean k-Median by Primal-Dual Algorithms. - Sara Ahmadian; Ashkan Norouzi-Fard; Ola Svensson; Justin Ward (SIAM J. Comput., 2020)

Two-Sided Weak Submodularity for Matroid Constrained Optimization and Regression. - Theophile Thiery; Justin Ward (COLT, 2022)

An Improved Approximation for Maximum Weighted k-Set Packing. - Theophile Thiery; Justin Ward (SODA, 2023)

An Improved Approximation for Maximum Weighted k-Set Packing. - Theophile Thiery; Justin Ward (CoRR, 2023)

FPT-Algorithms for the ( ell ) -Matchoid Problem with a Coverage Objective. - Chien-Chung Huang 001; Justin Ward (SIAM J. Discret. Math., 2023)