Muffy Thomas

Publication Activity (10 Years)

Years Active: 1986-1998
Publications (10 Years): 0

Publications

J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas
Interactive Theorem Proving: An Empirical Study of User Activity. J. Symb. Comput. 25 (2) (1998)
Carron Shankland, Muffy Thomas
Symbolic Bisimulation for Full LOTOS. AMAST (1997)
David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
Carron Kirkwood, Muffy Thomas
Experiences with specification and verification in LOTOS: a report on two case studies. WIFT (1995)
Muffy Thomas, Phil Watson
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Theor. Comput. Sci. 112 (1) (1993)
Muffy Thomas
A translator for ASN.1 into LOTOS. FORTE (1992)
Muffy Thomas, Phil Watson
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST (1991)
Muffy Thomas, Phil Watson
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts. Functional Programming (1990)
Muffy Thomas, Klaus P. Jantke
Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII (1989)
Muffy Thomas
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. FORTE (1989)
Muffy Thomas
Towards a Termination Ordering for Loop Programs. ADT (1988)
Muffy Thomas
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. TAPSOFT, Vol.2 (1987)
Muffy Thomas
The Storage and Access Structure of Algebraically Specified Data Types. ADT (1986)