Ben Strulo

Publication Activity (10 Years)

Years Active: 1995-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)
Panayotis Antoniadis, Costas Courcoubetis, Ben Strulo
Incentives for content availability in memory-less peer-to-peer file sharing systems. SIGecom Exch. 5 (4) (2005)
Ben Strulo, Alan Smith, Jeff Farr
An Architecture for Peer-to-Peer Economies. Peer-to-Peer Computing (2003)
Panayotis Antoniadis, Costas Courcoubetis, Elias C. Efstathiou, George C. Polyzos, Ben Strulo
Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture. Peer-to-Peer Computing (2003)
Trevor Burbridge, Jonathan Mitchener, Ben Strulo
The "Shared Data Approach" to the Integration of Dynamic Business Enterprises. ICEIS (2002)
Ben Strulo
How Firing Conditions Help Inheritance. ZUM (1995)