Donal Roantree

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

David McSherry, Donal Roantree
Characteristic Rule Discovery in Aurum-3. Appl. Intell. 11 (3) (1999)
Maurice Clint, Donal Roantree, Alan Stewart
Towards the construction of an eigenvalue engine. Parallel Comput. 8 (1-3) (1988)
Donal Roantree, Maurice Clint
A Specification-Verification Framework for Distributed Applications Software. Specification and Verification of Concurrent Systems (1988)