Richard Owens

发表

Michael Fisher, Richard Owens, Michael Fisher, 1993, Lecture Notes in Computer Science.

Richard Owens, Andrew Rippeon, 2010 .

Dov M. Gabbay, Michael Fisher, Howard Barringer, 1989, REX Workshop.

Michael Fisher, Richard Owens, Michael Fisher, 1992, LPAR.

Dov M. Gabbay, Michael Fisher, Howard Barringer, 1995, Formal Aspects of Computing.

Richard Owens, 1985, CSC '85.

Tony Dodd, Richard Owens, Steve Torrance, 1991 .

Rajen Akalu, Richard Owens, 2004, Proceedings of the IEEE.

Michael Fisher, Richard Owens, 1996 .

John Krogstie, Anne Helga Seltveit, Peter McBrien, 1991, CAiSE.

Michael Fisher, Richard Owens, 1995 .

Michael Fisher, Richard Owens, Michael Fisher, 1993, Executable Modal and Temporal Logics.

Richard Owens, Michael Fisher, 1995, IJCAI 1995.

Pierre Wolper, Dov M. Gabbay, Peter McBrien, 1990 .

Mohammad H. N. Tabrizi, Paul Haynes, Richard Owens, 1999, IMSA.

Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1996 .

Michael Fisher, Richard Owens, 1993 .

Mohammad H. N. Tabrizi, Ke Dong, Richard Owens, 1999, SIP.

Dov M. Gabbay, Michael Fisher, Howard Barringer, 1996 .