Richard Owens

13 papers A 2B 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2004 J jnl
Legal Policy and Digital Rights Management.
Proc. IEEE
Richard Owens, Rajen Akalu
2004 A conf
Panel Discussion - Conforming Technology to Policy: The Problems of Electronic Health Records.
Privacy Enhancing Technologies
Richard Owens, Ross Fraser, William O'Brien, Michael Gurski
1999 — conf
Diverging Ellipse Tracking Algorithm used in the Nuclear Cardiac Imaging.
SIP
Richard Owens, Ke Dong, Sam Eubanks, Ray Scardigno, Mohammad H. N. Tabrizi
1999 — conf
Use of the Internet Tools in Development of the Virtual University System.
IMSA
Grey Desmond II, Paul Haynes, Richard Owens, Mohammad H. N. Tabrizi
1996 J jnl
Languages, Meta-languages and METATEM, A Discussion Paper.
Log. J. IGPL
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1995 — ed.
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings
Executable Modal and Temporal Logics
Michael Fisher, Richard Owens
1995 J jnl
METATEM: An Introduction.
Formal Aspects Comput.
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1993 — conf
An Introduction to Executable Modal and Temporal Logics.
Executable Modal and Temporal Logics
Michael Fisher, Richard Owens
1992 B conf
From the Past to the Future: Executing Temporal Logic Programs.
LPAR
Michael Fisher, Richard Owens
1991 A conf
Information Systems Development Using a Combination of Process and Rule Based Approaches.
CAiSE
John Krogstie, Peter McBrien, Richard Owens, Anne Helga Seltveit
1991 — ed.
Logic Programming - Expanding the Horizons, Papers from the first ALPUK, London, 1989
ALPUK
Tony Dodd, Richard Owens, Steve Torrance
1989 — conf
METATEM: A Framework for Programming in Temporal Logic.
REX Workshop
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1985 — conf
FITSCAN (abstract only): a computer monitoring and analysis of cardiovascular performance.
ACM Conference on Computer Science
Richard Owens