Interactions in Transport Networks. - Nigel G. Walker; Marc Wennink (FInCo@ETAPS, 2005)

Lyapunov Convergence for Lagrangian Models of Network Control. - Ben Strulo; Nigel G. Walker; Marc Wennink (NET-COOP, 2007)

Optimisation-Based Overload Control. - Marc Wennink; Phil Williams; Nigel G. Walker; Ben Strulo (NET-COOP, 2007)

Model Checking Optimisation Based Congestion Control Algorithms. - Alessio Lomuscio; Ben Strulo; Nigel G. Walker; Peng Wu 002 (Fundam. Informaticae, 2010)

Assume-Guarantee Reasoning with Local Specifications. - Alessio Lomuscio; Ben Strulo; Nigel G. Walker; Peng Wu 002 (Int. J. Found. Comput. Sci., 2013)