David J. Duke - RankMe

96 papers A* 1A 3B 3C 5Misc 2Journal 46Unranked 31

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	Specification with Class: A Brief History of Object-Z. FM Workshops (2) Graeme Smith, David J. Duke
2016	J	`jnl`	Interactive Visualization for Singular Fibers of Functions f : R IEEE Trans. Vis. Comput. Graph. Daisuke Sakurai, Osamu Saeki, Hamish A. Carr, Hsiang-Yun Wu, Takahiro Yamamoto, David J. Duke, Shigeo Takahashi
2016	J	`jnl`	Multivariate topology simplification. Comput. Geom. Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki
2015	J	`jnl`	Multivariate Topology Simplification. CoRR Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki
2015	—	`conf`	Skeletons for distributed topological computation. FHPC@ICFP David J. Duke, Fouzhan Hosseini
2014	—	`ch.`	Computational Topology via Functional Programming: A Baseline Analysis. Topological Methods in Data Analysis and Visualization David J. Duke, Hamish A. Carr
2014	—	`conf`	Extracting Jacobi Structures in Reeb Spaces. EuroVis (Short Papers) Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng
2014	J	`jnl`	Joint Contour Nets. IEEE Trans. Vis. Comput. Graph. Hamish A. Carr, David J. Duke
2014	—	`conf`	Parallel computation of multifield topology: experience of Haskell in a computational science application. FHPC@ICFP David J. Duke, Fouzhan Hosseini, Hamish A. Carr
2014	—	`conf`	Simplifying Multivariate Topology (Extended Abstract). TPCG Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng
2014	—	`conf`	Visual Analysis of Hurricane Data Using Joint Contour Net. TPCG Zhao Geng, David J. Duke, Hamish A. Carr, Amit Chattopadhyay
2013	C	`conf`	Causality of optimized Haskell: what is burning our cycles? Haskell Peter Moritz Wortmann, David J. Duke
2013	B	`conf`	Joint Contour Nets: Computation and properties. PacificVis Hamish A. Carr, David J. Duke
2012	J	`jnl`	Visualizing Nuclear Scission through a Multifield Extension of Topological Analysis. IEEE Trans. Vis. Comput. Graph. David J. Duke, Hamish A. Carr, Aaron Knoll, Nicolas Schunck, Hai Ah Nam, Andrzej Staszczak
2010	—	`conf`	A map of the heap: revealing design abstractions in runtime structures. SOFTVIS Colin Myers, David J. Duke
2010	Misc	`conf`	Flexible delivery of visualization software and services. ICCS Jason D. Wood, Jungwook Seo, David J. Duke, Jeremy Walton, Ken Brodlie
2009	C	`conf`	Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. PADL David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman
2009	—	`conf`	Uncertainty visualization: why might it fail? CHI Extended Abstracts Nadia Boukhelifa, David J. Duke
2009	—	`conf`	Visualizing Heterogeneous Utility Data: A Case for Aesthetic Design. Eurographics (Areas Papers) Nadia Boukhelifa, David J. Duke
2008	—	`conf`	A Web Services Architecture for Visualization. eScience Jason D. Wood, Ken Brodlie, Jungwook Seo, David J. Duke, Jeremy Walton
2008	A	`conf`	Experience report: visualizing data through functional pipelines. ICFP David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace
2008	—	`ed.`	Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings SAMT David J. Duke, Lynda Hardman, Alexander G. Hauptmann, Dietrich Paulus, Steffen Staab
2008	—	`conf`	The Aesthetics of the Underworld. CAe Nadia Boukhelifa, David J. Duke
2007	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2007	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2007	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2006	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2006	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2006	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2006	J	`jnl`	Fine-grained Visualization Pipelines and Lazy Functional Languages. IEEE Trans. Vis. Comput. Graph. David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman
2005	B	`ed.`	7th Joint Eurographics - IEEE VGTC Symposium on Visualization, Leeds, UK, June 1-3, 2005 EuroVis Ken Brodlie, David J. Duke, Kenneth I. Joy
2005	J	`jnl`	Do You See What I Mean? IEEE Computer Graphics and Applications David J. Duke, Ken W. Brodlie, David A. Duce, Ivan Herman
2004	A	`conf`	Building an Ontology of Visualization. IEEE Visualization David J. Duke, Ken W. Brodlie, David A. Duce
2004	J	`jnl`	Drawing Attention to Meaning. Cyberpsychology Behav. Soc. Netw. David J. Duke
2004	A	`conf`	Linking Representation with Meaning. IEEE Visualization David J. Duke
2004	—	`conf`	Visual web mining. WWW (Alternate Track Papers & Posters) Amir H. Youssefi, David J. Duke, Mohammed Javeed Zaki
2003	J	`jnl`	Rendering and Affect. Comput. Graph. Forum David J. Duke, Philip J. Barnard, Nick Halper, Mara Mellin
2002	J	`jnl`	Continuity in cognition. Univers. Access Inf. Soc. Jon May, M. J. Buehner, David J. Duke
2002	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2002	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2002	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2001	J	`jnl`	Editorial. Comput. Graph. Forum Sabine Coquillart, David J. Duke
2001	J	`jnl`	Editorial. Comput. Graph. Forum Sabine Coquillart, David J. Duke
2001	J	`jnl`	Editorial. Comput. Graph. Forum David J. Duke, Roberto Scopigno
2001	Misc	`conf`	Human-computer protocols. HCI David J. Duke, David A. Duce, Philip J. Barnard, Jon May
2001	J	`jnl`	Minimal Graphics. IEEE Computer Graphics and Applications Ivan Herman, David J. Duke
2001	—	`conf`	Modular Techniques in Information Visualization. InVis.au David J. Duke
2000	J	`jnl`	Binding Virtual Environments to Toolkit Capabilities. Comput. Graph. Forum Shamus P. Smith, David J. Duke
2000	J	`jnl`	Carla Vandoni - A Remarkable Lady. Comput. Graph. Forum David J. Duke
2000	J	`jnl`	Demonstrating the Cognitive Plausibility of Interactive System Specifications. Formal Aspects Comput. Richard Butterworth, Ann Blandford, David J. Duke
2000	J	`jnl`	Editorial. Comput. Graph. Forum Sabine Coquillart, David J. Duke
2000	J	`jnl`	Editorial. Comput. Graph. Forum Sabine Coquillart, David J. Duke
2000	J	`jnl`	Editorial. Comput. Graph. Forum Sabine Coquillart, David J. Duke
2000	—	`conf`	Syndetic Modelling: Computer Science Meets Cognitive Psychology. FM-Everywhere@FORTE/PSTV David A. Duce, David J. Duke
2000	J	`jnl`	Systems, interactions, and macrotheory. ACM Trans. Comput. Hum. Interact. Philip J. Barnard, Jon May, David J. Duke, David A. Duce
1999	J	`jnl`	A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects Comput. David J. Duke, Bob Fields, Michael D. Harrison
1999	—	`ed.`	Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 DSV-IS David J. Duke, Angel R. Puerta
1999	—	`conf`	Discussion topics for the DSV-IS'99 working groups. DSV-IS David J. Duke
1999	—	`book`	PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding David J. Duke, Ivan Herman, M. Scott Marshall
1999	—	`conf`	Skeletal Images as Visual Cues in Graph Visualization. VisSym Iván Herman, M. Scott Marshall, Guy Melançon, David J. Duke, Maylis Delest, Jean-Philippe Domenger
1999	J	`jnl`	The Changing Face of Standardization: A Place for Formal Methods? Formal Aspects Comput. David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
1999	J	`jnl`	The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction. Formal Aspects Comput. David J. Duke, David A. Duce
1999	J	`jnl`	The Hybrid World of Virtual Environments. Comput. Graph. Forum Shamus P. Smith, David J. Duke, Mieke Massink
1999	—	`conf`	Towards Hybrid Interface Specifications for Virtual Environments. DSV-IS Mieke Massink, David J. Duke, Shamus P. Smith
1999	J	`jnl`	Using Formal Models to Explore Display-Based Usability Issues. J. Vis. Lang. Comput. Richard Butterworth, Ann Blandford, David J. Duke
1998	J	`jnl`	A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects. Multim. Syst. Ivan Herman, Nuno Correia, David A. Duce, David J. Duke, Graham J. Reynolds, James van Loo
1998	—	`conf`	A Standard for Multimedia Middleware. Eurographics (State of the Art Reports) David J. Duke, Iván Herman
1998	A*	`conf`	A Standard for Multimedia Middleware. ACM Multimedia David J. Duke, Ivan Herman
1998	—	`conf`	FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems. EUROMICRO David Abramson, Kate A. Smith, Paul Logothetis, David J. Duke
1998	J	`jnl`	Programming Paradigms in an Object-Oriented Multimedia Standard. Comput. Graph. Forum David J. Duke, Ivan Herman
1998	J	`jnl`	Syndetic Modelling. Hum. Comput. Interact. David J. Duke, Philip J. Barnard, David A. Duce, Jon May
1997	J	`jnl`	Integrating user and computer system concerns in the design of interactive systems. Int. J. Hum. Comput. Stud. Ann Blandford, David J. Duke
1997	J	`jnl`	Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems. Comput. Stand. Interfaces David J. Duke, Ivan Herman, Thomas Rist, Michael D. Wilson
1996	—	`conf`	Device Models. DSV-IS Giorgio P. Faconti, David J. Duke
1996	—	`conf`	Fusion Engines and Melting Pots. DSV-IS J. K. Hyde, David J. Duke
1996	J	`jnl`	Interpersonal Access Control in Computer-Mediated Communications: A Systematic Analysis of the Design Space. Hum. Comput. Interact. Victoria Bellotti, Ann Blandford, David J. Duke, David MacLean, Jon May, Laurence Nigay
1996	—	`conf`	Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study. BCS HCI Simon Buckingham Shum, Ann Blandford, David J. Duke, Jason Good, Jon May, Fabio Paternò, Richard M. Young
1995	C	`conf`	Are Formal Methods Relevant? APSEC Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart
1995	J	`jnl`	Event model of human-system interaction. Softw. Eng. J. David J. Duke, Michael D. Harrison
1995	—	`conf`	Interaction and Task Requirements. DSV-IS David J. Duke, Michael D. Harrison
1995	—	`conf`	Interaction, Cognition and Visualization. DSV-IS David A. Duce, David J. Duke
1995	J	`jnl`	Mapping user requirements to implementations. Softw. Eng. J. David J. Duke, Michael D. Harrison
1995	J	`jnl`	Reasoning About Gestural Interaction. Comput. Graph. Forum David J. Duke
1995	C	`conf`	Systematic Development of the Human Interface. APSEC David J. Duke, Philip J. Barnard, Jon May, David A. Duce
1994	—	`conf`	A Review of Formalisms for Describing Interactive Behaviour. ICSE Workshop on SE-HCI Michael D. Harrison, David J. Duke
1994	—	`conf`	A Theory of Presentations. FME David J. Duke, Michael D. Harrison
1994	—	`conf`	Folding Human Factors into Rigorous Development. DSV-IS David J. Duke, Michael D. Harrison
1994	—	`conf`	From Formal Models to Formal Methods. ICSE Workshop on SE-HCI David J. Duke, Michael D. Harrison
1994	J	`jnl`	PREMO - An Initial Approach to a Formal Definition. Comput. Graph. Forum David A. Duce, David J. Duke, Paul J. W. ten Hagen, Graham J. Reynolds
1994	B	`conf`	Unifying Views of Interactors. Advanced Visual Interfaces David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
1993	J	`jnl`	Abstract Interaction Objects. Comput. Graph. Forum David J. Duke, Michael D. Harrison
1993	—	`conf`	Deriving Modular Designs from Formal Specifications. SIGSOFT FSE David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
1992	—	`—`	Object-oriented formal specification / by David John Duke David J. Duke
1991	—	`conf`	Enhancing the Structure of Z Specifications. Z User Workshop David J. Duke
1990	—	`conf`	Towards a Semantics for Object-Z. VDM Europe David J. Duke, Roger Duke
1989	C	`conf`	Object-Z: An Object-Oriented Extension to Z. FORTE David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith