Search the dblp DataBase
Richard Owens :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Richard Owens FITSCAN (abstract only): a computer monitoring and analysis of cardiovascular performance. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1985, pp:419- [Conf ] John Krogstie , Peter McBrien , Richard Owens , Anne Helga Seltveit Information Systems Development Using a Combination of Process and Rule Based Approaches. [Citation Graph (0, 0)][DBLP ] CAiSE, 1991, pp:319-335 [Conf ] Michael Fisher , Richard Owens An Introduction to Executable Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP ] Executable Modal and Temporal Logics, 1993, pp:1-20 [Conf ] Grey Desmond II , Paul Haynes , Richard Owens , Mohammad H. N. Tabrizi Use of the Internet Tools in Development of the Virtual University System. [Citation Graph (0, 0)][DBLP ] IMSA, 1999, pp:83-87 [Conf ] Michael Fisher , Richard Owens From the Past to the Future: Executing Temporal Logic Programs. [Citation Graph (0, 0)][DBLP ] LPAR, 1992, pp:369-380 [Conf ] Richard Owens , Ross Fraser , William O'Brien , Michael Gurski Panel Discussion - Conforming Technology to Policy: The Problems of Electronic Health Records. [Citation Graph (0, 0)][DBLP ] Privacy Enhancing Technologies, 2004, pp:344-344 [Conf ] Howard Barringer , Michael Fisher , Dov M. Gabbay , Graham Gough , Richard Owens METATEM: A Framework for Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1989, pp:94-129 [Conf ] Richard Owens , Ke Dong , Sam Eubanks , Ray Scardigno , Mohammad H. N. Tabrizi Diverging Ellipse Tracking Algorithm used in the Nuclear Cardiac Imaging. [Citation Graph (0, 0)][DBLP ] SIP, 1999, pp:409-412 [Conf ] Howard Barringer , Michael Fisher , Dov M. Gabbay , Graham Gough , Richard Owens METATEM: An Introduction. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1995, v:7, n:5, pp:533-549 [Journal ] Search in 0.042secs, Finished in 0.043secs