David J. Duke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
11
Active years
1989–2019
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Specification with Class: A Brief History of Object-Z. | Graeme Smith, David J. Duke |
| 2015 | ICFP | Skeletons for distributed topological computation. | David J. Duke, Fouzhan Hosseini |
| 2014 | ICFP | Parallel computation of multifield topology: experience of Haskell in a computational science application. | David J. Duke, Fouzhan Hosseini, Hamish A. Carr |
| 2013 | HASKELL | Causality of optimized Haskell: what is burning our cycles? | Peter Moritz Wortmann, David J. Duke |
| 2009 | CHI | Uncertainty visualization: why might it fail? | Nadia Boukhelifa, David J. Duke |
| 2009 | PADL | Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. | David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman |
| 2008 | ICFP | Experience report: visualizing data through functional pipelines. | David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |
| 2004 | WWW | Visual web mining. | Amir H. Youssefi, David J. Duke, Mohammed Javeed Zaki |
| 2001 | HCI | Human-computer protocols. | David J. Duke, David A. Duce, Philip J. Barnard, Jon May |
| 1995 | APSEC | Systematic Development of the Human Interface. | David J. Duke, Philip J. Barnard, Jon May, David A. Duce |
| 1995 | APSEC | Are Formal Methods Relevant? | Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart |
| 1994 | AVI | Unifying Views of Interactors. | David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Patern |
| 1994 | FM | A Theory of Presentations. | David J. Duke, Michael D. Harrison |
| 1994 | ICSE | From Formal Models to Formal Methods. | David J. Duke, Michael D. Harrison |
| 1994 | ICSE | A Review of Formalisms for Describing Interactive Behaviour. | Michael D. Harrison, David J. Duke |
| 1990 | FM | Towards a Semantics for Object-Z. | David J. Duke, Roger Duke |
| 1989 | FORTE | Object-Z: An Object-Oriented Extension to Z. | David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith |