Nigel G. Walker

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Logical Formulas

Resource Bounded

Reasoning Process

Top Venues

Int. J. Found. Comput. Sci.

Publications

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24 (4) (2013)
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Assume-Guarantee Reasoning with Local Specifications. ICFEM (2010)
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Informaticae 102 (1) (2010)
Marc Wennink, Phil Williams, Nigel G. Walker, Ben Strulo
Optimisation-Based Overload Control. NET-COOP (2007)
Ben Strulo, Nigel G. Walker, Marc Wennink
Lyapunov Convergence for Lagrangian Models of Network Control. NET-COOP (2007)
Nigel G. Walker, Marc Wennink
Interactions in Transport Networks. Electron. Notes Theor. Comput. Sci. 141 (5) (2005)