2008 |
14 | EE | Aidan Sliney,
David Murphy:
JDoc: A Serious Game for Medical Learning.
ACHI 2008: 131-136 |
13 | EE | Aidan Sliney,
David Murphy,
David Phelan:
Evaluation of home based junior doctor medical simulator.
SimuTools 2008: 64 |
2001 |
12 | EE | David Murphy,
Ian J. Pitt:
Spatial Sound Enhancing Virtual Story Telling.
International Conference on Virtual Storytelling 2001: 20-29 |
1999 |
11 | | Ivan Tomek,
David Murphy,
Guang Yang:
MUM - A Multi-Universe MOO.
WebNet 1999: 1054-1059 |
10 | | Leonard Webster,
David Murphy:
InterLearn - An Internet Learning Support Environment for Collaborative Learning.
WebNet 1999: 1629-1630 |
1996 |
9 | | Luca Aceto,
David Murphy:
Timing and Causality in Process Algebra.
Acta Inf. 33(4): 317-350 (1996) |
1993 |
8 | | Luca Aceto,
David Murphy:
On the Ill-Timed but Well-Caused.
CONCUR 1993: 97-111 |
7 | | David Murphy:
Observing Located Concurrency.
MFCS 1993: 566-576 |
6 | | David Murphy:
Time and Duration in Nininterleaving Concurrency.
Fundam. Inform. 19(3/4): 403-416 (1993) |
1992 |
5 | | David Murphy,
David H. Pitt:
Real-Timed Concurrent Refineable Behaviours.
FTRTFT 1992: 529-545 |
4 | | David Murphy,
Axel Poigné:
A Functorial Semantics for Observed Concurrency.
MFCS 1992: 401-411 |
1991 |
3 | | David Murphy:
Testing, Betting and Timed True Concurrency.
CONCUR 1991: 439-454 |
2 | | David Murphy:
A Semantics for Relational Programming.
Functional Programming 1991: 239-252 |
1 | | David Murphy:
The Physics of Observation a Perspective for Concurrency Theorists.
Bulletin of the EATCS 44: 192-201 (1991) |