Bill Mitchell

Publication Activity (10 Years)

Years Active: 1973-2012
Publications (10 Years): 0

Top Topics

Community Members

Network Structure

Sparsely Connected

Top Venues

Publications

Galina Daraganova, Pip Pattison, Johan H. Koskinen, Bill Mitchell, Anthea Bill, Martin Watts, Scott Baum
Networks and geography: Modelling community network structures as the outcome of both spatial and network processes. Soc. Networks 34 (1) (2012)
Giuseppe Avellino, Mike J. Boniface, Barbara Cantalupo, Justin Ferris, Nikolaos Matskanis, Bill Mitchell, Mike Surridge
A Dynamic Orchestration Model for Future Internet Applications. ServiceWave (2008)
Bill Mitchell
Characterizing Communication Channel Deadlocks in Sequence Diagrams. IEEE Trans. Software Eng. 34 (3) (2008)
Bill Mitchell
Lazy buffer semantics for partial order scenarios. Autom. Softw. Eng. 14 (4) (2007)
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE (2005)
Bill Mitchell
Resolving Race Conditions in Asynchronous Partial Order Scenarios. IEEE Trans. Software Eng. 31 (9) (2005)
Bill Mitchell, Robert Thomson, Paul Bristow
Model Synthesis from Imprecise Specifications. VVEIS (2004)
Bill Mitchell, Robert Thomson, Paul Bristow
Scenario Synthesis from Imprecise Requirements. SAM (2004)
Bill Mitchell
Inherent Causal Orderings of Partial Order Scenarios. ICTAC (2004)
Bill Mitchell, Robert Thomson, Clive Jervis
Phase Automaton for Requirements Scenarios. FIW (2003)
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell
Automatic Generation of Conformance Tests from Message Sequence Charts. SAM (2002)
Bill Mitchell
/1 Queuing Simulations. Oper. Res. 21 (4) (1973)