| 2000 |
|---|
| 7 | | Mogens Nielsen,
Dan Simpson:
Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding
Springer 2000 |
| 1996 |
|---|
| 6 | | Mark Harman,
Dan Simpson,
Sebastian Danicic:
Slicing Programs in the Presence of Errors.
Formal Asp. Comput. 8(4): 490-497 (1996) |
| 1990 |
|---|
| 5 | | Brian Hepworth,
Dan Simpson:
The ZIP Project.
Z User Workshop 1990: 129-136 |
| 1989 |
|---|
| 4 | | Dan Simpson:
Limits to Computation: The Naive's Guide to Most of Computing Science!
AI Soc. 3(3): 234-246 (1989) |
| 1987 |
|---|
| 3 | | Howard K. Nichols,
Dan Simpson:
ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings
Springer 1987 |
| 1986 |
|---|
| 2 | | Jon M. Kerridge,
Dan Simpson:
Communicating Parallel Processes.
Softw., Pract. Exper. 16(1): 63-86 (1986) |
| 1984 |
|---|
| 1 | | Jon M. Kerridge,
Dan Simpson:
Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison.
Softw., Pract. Exper. 14(1): 3-15 (1984) |
