A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (IPEC, 2010)

Systems of Linear Equations over F2 and Problems Parameterized above Average. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Eun Jung Kim 002; Imre Z. Ruzsa (SWAT, 2010)

Linear-Number-of-Variables Kernel for Unit-Conflict-Free-Max-Sat Parameterized Above Expectation - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (CoRR, 2010)

Note on Max Lin-2 above Average. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001 (Inf. Process. Lett., 2010)

Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average. - Robert Crowston; Michael R. Fellows; Gregory Z. Gutin; Mark Jones 001; Frances A. Rosamond; Stéphan Thomassé; Anders Yeo (FSTTCS, 2011)

Lower Bound for Max-$r$-Lin2 and its Applications in Algorithmics and Graph Theory - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (CoRR, 2011)

Parameterized Complexity of Satisfying Almost All Linear Equations over $ mathbb{F}_2$ - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (CoRR, 2011)

Directed Acyclic Subgraph Problem Parameterized above the Poljak-Turzik Bound. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001 (FSTTCS, 2012)

Parameterized Study of the Test Cover Problem. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Saket Saurabh 001; Anders Yeo (MFCS, 2012)

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Applications. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (Algorithmica, 2012)

Directed Acyclic Subgraph Problem Parameterized above Raman-Saurabh Bound - Robert Crowston; Gregory Z. Gutin; Mark Jones 001 (CoRR, 2012)

Parameterized Eulerian strong component arc deletion problem on tournaments. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (Inf. Process. Lett., 2012)

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints. - Jason Crampton; Robert Crowston; Gregory Z. Gutin; Mark Jones 001; M. S. Ramanujan 001 (FAW-AAIM, 2013)

Polynomial Kernels for lambda-extendible Properties Parameterized Above the Poljak-Turzik Bound. - Robert Crowston; Mark Jones 001; Gabriele Muciaccia; Geevarghese Philip; Ashutosh Rai 001; Saket Saurabh 001 (FSTTCS, 2013)

Polynomial Kernels for λ-extendible Properties Parameterized Above the Poljak-Turzík Bound. - Robert Crowston; Mark Jones 001; Gabriele Muciaccia; Geevarghese Philip; Ashutosh Rai 001; Saket Saurabh 001 (CoRR, 2013)

Parameterized Complexity of Satisfying Almost All Linear Equations over $ mathbb{F}_{2}$. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Anders Yeo (Theory Comput. Syst., 2013)

Maximum balanced subgraph problem parameterized above lower bound. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Gabriele Muciaccia (Theor. Comput. Sci., 2013)

Parameterized complexity of MaxSat Above Average. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Venkatesh Raman 001; Saket Saurabh 001 (Theor. Comput. Sci., 2013)

Algorithms for parameterized constraint satisfaction problems. - Robert Crowston (2013)

Fixed-Parameter Tractability of Satisfying Beyond the Number of Variables. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Venkatesh Raman 001; Saket Saurabh 001; Anders Yeo (Algorithmica, 2014)

Satisfying more than half of a system of linear equations over GF(2): A multivariate approach. - Robert Crowston; Michael R. Fellows; Gregory Z. Gutin; Mark Jones 001; Eun Jung Kim 002; Fran Rosamond; Imre Z. Ruzsa; Stéphan Thomassé; Anders Yeo (J. Comput. Syst. Sci., 2014)

Max-Cut Parameterized Above the Edwards-Erdős Bound. - Robert Crowston; Mark Jones 001; Matthias Mnich (Algorithmica, 2015)

Parameterizations of Test Cover with Bounded Test Sizes. - Robert Crowston; Gregory Z. Gutin; Mark Jones 001; Gabriele Muciaccia; Anders Yeo (Algorithmica, 2016)