Skip to content

Duncan Clarke

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

7

Active years

1995–2009

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2009CBMSImplementation and analysis of scalable display architecture for laparoscopy.C. Andy Martin, Qiong Han, Duncan Clarke, C. Melody Carswell, Adrian Park, W. Brent Seales
2009MICCAIModel Completion via Deformation Cloning Based on an Explicit Global Deformation Model.Qiong Han, Stephen E. Strup, C. Melody Carswell, Duncan Clarke, William Brent Seales
2006CBMSActive-RFID System Accuracy and Its Implications for Clinical Applications.Duncan Clarke, Adrian Park
2002TACASSTG: A Symbolic Test Generation Tool.Duncan Clarke, Thierry Jron, Vlad Rusu, Elena Zinovieva
1997RTASAutomatic Test Generation for the Analysis of a Real-Time System: Case Stud.Duncan Clarke, Insup Lee
1996CAVXVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.Duncan Clarke, Hanne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky
1996ITCTesting-Based Analysis of Real-Time System Models.Duncan Clarke, Insup Lee
1995ICSETesting Real-Time Constraints in a Process Algebraic Setting.Duncan Clarke, Insup Lee