Nigel G. Walker

According to our database, Nigel G. Walker authored at least 5 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Model Checking Optimisation Based Congestion Control Algorithms.

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu

Fundam. Informaticae, 2010

Assume-Guarantee Reasoning with Local Specifications.

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu

Proceedings of the Formal Methods and Software Engineering, 2010

2007

Optimisation-Based Overload Control.

Marc Wennink, Phil Williams, Nigel G. Walker, Ben Strulo

Proceedings of the Network Control and Optimization, 2007

Lyapunov Convergence for Lagrangian Models of Network Control.

Ben Strulo, Nigel G. Walker, Marc Wennink

Proceedings of the Network Control and Optimization, 2007

2005

Interactions in Transport Networks.

Nigel G. Walker, Marc Wennink

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005