Ben Strulo

According to our database, Ben Strulo authored at least 9 papers between 1995 and 2013.

Collaborative distances:

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

2013

Assume-Guarantee Reasoning with Local Specifications.

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

Int. J. Found. Comput. Sci., 2013

2010

Model Checking Optimisation Based Congestion Control Algorithms.

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

Fundam. Informaticae, 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

Incentives for content availability in memory-less peer-to-peer file sharing systems.

Panayotis Antoniadis, Costas Courcoubetis, Ben Strulo

SIGecom Exch., 2005

2003

An Architecture for Peer-to-Peer Economies.

Ben Strulo, Alan Smith, Jeff Farr

Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture.

Panayotis Antoniadis, Costas Courcoubetis, Elias C. Efstathiou, George C. Polyzos, Ben Strulo

Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

2002

The "Shared Data Approach" to the Integration of Dynamic Business Enterprises.

Trevor Burbridge, Jonathan Mitchener, Ben Strulo

Proceedings of the ICEIS 2002, 2002

1995

How Firing Conditions Help Inheritance.

Ben Strulo

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995