Richard Owens

According to our database1, Richard Owens authored at least 11 papers between 1985 and 2004.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Legal Policy and Digital Rights Management.
Proc. IEEE, 2004

Panel Discussion - Conforming Technology to Policy: The Problems of Electronic Health Records.
Proceedings of the Privacy Enhancing Technologies, 4th International Workshop, 2004

1999
Diverging Ellipse Tracking Algorithm used in the Nuclear Cardiac Imaging.
Proceedings of the Signal and Image Processing (SIP), 1999

Use of the Internet Tools in Development of the Virtual University System.
Proceedings of the Internet, Multimedia Systems and Applications, 1999

1996
Languages, Meta-languages and METATEM, A Discussion Paper.
Log. J. IGPL, 1996

1995
METATEM: An Introduction.
Formal Aspects Comput., 1995

1993
An Introduction to Executable Modal and Temporal Logics.
Proceedings of the Executable Modal and Temporal Logics, 1993

1992
From the Past to the Future: Executing Temporal Logic Programs.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1991
Information Systems Development Using a Combination of Process and Rule Based Approaches.
Proceedings of the Advanced Information Systems Engineering, 1991

1989
METATEM: A Framework for Programming in Temporal Logic.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1985
FITSCAN (abstract only): a computer monitoring and analysis of cardiovascular performance.
Proceedings of the 13th ACM Annual Conference on Computer Science, 1985


  Loading...