Arthur Hughes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2011
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | EUC | An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. | Colm Bhandal, Mlanie Bouroche, Arthur Hughes |
| 2010 | IDEAL | Annotation and Retrieval of Cell Images. | Maria F. O'Connor, Arthur Hughes, Chaoxin Zheng, Anthony Davies, Dermot Kelleher, Khurshid Ahmad |
| 2009 | ICFP | Polytypic properties and proofs in Coq. | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
| 2008 | ICFP | Polytypic programming in COQ. | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
| 2006 | ICTAC | A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |