James Worthington

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Cutting Plane Algorithm

Formal Language Theory

Production Planning

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Theor. Comput. Sci.

Publications

K. Subramani, James Worthington
Feasibility checking in Horn constraint systems through a reduction based approach. Theor. Comput. Sci. 576 (2015)
K. Subramani, James Worthington
On Certifying Instances of Zero-Clairvoyant Scheduling. Comput. J. 57 (1) (2014)
Z. Liang, K. Subramani, James Worthington
Polynomial time certifying algorithms for the planar quantified integer programming problem. J. Log. Comput. 23 (5) (2013)
James Worthington
A bialgebraic approach to automata and formal language theory. Ann. Pure Appl. Log. 163 (7) (2012)
K. Subramani, James Worthington
A New Algorithm for Linear and Integer Feasibility in Horn Constraints. CPAIOR (2011)
James Worthington
A Bialgebraic Approach to Automata and Formal Language Theory. LFCS (2009)
James Worthington
Automatic Proof Generation in Kleene Algebra. RelMiCS (2008)
Joseph Loeffler, John Meier, James Worthington
Graph Products and Cannon Pairs. Int. J. Algebra Comput. 12 (6) (2002)