| * | 2009 |
|---|
| 5 | EE | Oliver Sharma,
Jonathan Lewis,
Alice Miller,
Alan Dearle,
Dharini Balasubramaniam,
Ronald Morrison,
Joe Sventek:
Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.
SPIN 2009: 223-240 |
| 2008 |
|---|
| 4 | EE | Alan Dearle,
Dharini Balasubramaniam,
Jonathan Lewis,
Ronald Morrison:
A Component-Based Model and Language for Wireless Sensor Network Applications.
COMPSAC 2008: 1303-1308 |
| 2005 |
|---|
| 3 | EE | Christine Dufour,
Elaine G. Toms,
Jonathan Lewis,
Ronald Baecker:
User strategies for handling information tasks in webcasts.
CHI Extended Abstracts 2005: 1343-1346 |
| 2 | EE | Elaine G. Toms,
Christine Dufour,
Jonathan Lewis,
Ronald Baecker:
Assessing tools for use with webcasts.
JCDL 2005: 79-88 |
| 1998 |
|---|
| 1 | EE | Jonathan Lewis,
Emma Hart,
Graeme Ritchie:
A Comparison of Dominance Mechanisms and Simple Mutation on Non-stationary Problems.
PPSN 1998: 139-148 |
