Donal Roantree

According to our database, Donal Roantree authored at least 4 papers between 1988 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1999

Characteristic Rule Discovery in Aurum-3.

David McSherry, Donal Roantree

Appl. Intell., 1999

1993

A formal development method for the construction of correct distributed applications software.

Donal Roantree

PhD thesis, 1993

1988

Towards the construction of an eigenvalue engine.

Maurice Clint, Donal Roantree, Alan Stewart

Parallel Comput., 1988

A Specification-Verification Framework for Distributed Applications Software.

Donal Roantree, Maurice Clint

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988