Anthony Hall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1987–2010
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MIG | Motion Capture for a Natural Tree in the Wind. | Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones |
| 2007 | SEFM | Retrenchment and the Atomicity Pattern. | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
| 2005 | ICFEM | Realising the Benefits of Formal Methods. | Anthony Hall |
| 2005 | SEFM | Making Formal Methods Work. | Anthony Hall |
| 2002 | FM | Correctness by Construction: Integrating Formality into a Commercial Development Process. | Anthony Hall |
| 2001 | RE | A Unified Approach to Systems and Software Requirements. | Anthony Hall |
| 2001 | RE | Will It Work? | Jonathan Hammond, Rosamund Rawlings, Anthony Hall |
| 1997 | ICTAI | Visual Target Tracking and Extraction from a Sequence of Images. | Nikolaos G. Bourbakis, Richard Andel, Anthony Hall |
| 1997 | RE | What's the Use of Requirements Engineering? | Anthony Hall |
| 1990 | FM | Using Z as a Specification Calculus for Object-Oriented Systems. | Anthony Hall |
| 1987 | ICSE | Tool Interfaces in Integrated Project Support Environments. | Anthony Hall |