James Worthington
According to our database1,
James Worthington
authored at least 7 papers
between 2002 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Theor. Comput. Sci., 2015
2014
2013
Polynomial time certifying algorithms for the planar quantified integer programming problem.
J. Log. Comput., 2013
2012
Ann. Pure Appl. Log., 2012
2011
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
2008
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008
2002