| 2004 |
|---|
| 11 | EE | Richard Owens,
Ross Fraser,
William O'Brien,
Michael Gurski:
Panel Discussion - Conforming Technology to Policy: The Problems of Electronic Health Records.
Privacy Enhancing Technologies 2004: 344-344 |
| 1999 |
|---|
| 10 | | Grey Desmond II,
Paul Haynes,
Richard Owens,
Mohammad H. N. Tabrizi:
Use of the Internet Tools in Development of the Virtual University System.
IMSA 1999: 83-87 |
| 9 | | Richard Owens,
Ke Dong,
Sam Eubanks,
Ray Scardigno,
Mohammad H. N. Tabrizi:
Diverging Ellipse Tracking Algorithm used in the Nuclear Cardiac Imaging.
SIP 1999: 409-412 |
| 1996 |
|---|
| 8 | EE | Howard Barringer,
Graham Gough,
Derek Brough,
Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter,
Richard Owens,
Peter McBrien,
Mark Reynolds,
Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL 4(2): 255-272 (1996) |
| 1995 |
|---|
| 7 | | Michael Fisher,
Richard Owens:
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings
Springer 1995 |
| 6 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Graham Gough,
Richard Owens:
METATEM: An Introduction.
Formal Asp. Comput. 7(5): 533-549 (1995) |
| 1993 |
|---|
| 5 | | Michael Fisher,
Richard Owens:
An Introduction to Executable Modal and Temporal Logics.
Executable Modal and Temporal Logics 1993: 1-20 |
| 1992 |
|---|
| 4 | | Michael Fisher,
Richard Owens:
From the Past to the Future: Executing Temporal Logic Programs.
LPAR 1992: 369-380 |
| 1991 |
|---|
| 3 | | John Krogstie,
Peter McBrien,
Richard Owens,
Anne Helga Seltveit:
Information Systems Development Using a Combination of Process and Rule Based Approaches.
CAiSE 1991: 319-335 |
| 1989 |
|---|
| 2 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Graham Gough,
Richard Owens:
METATEM: A Framework for Programming in Temporal Logic.
REX Workshop 1989: 94-129 |
| 1985 |
|---|
| 1 | EE | Richard Owens:
FITSCAN (abstract only): a computer monitoring and analysis of cardiovascular performance.
ACM Conference on Computer Science 1985: 419 |
