David J. Duke

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2016

Interactive Visualization for Singular Fibers of Functions f : R<sup>3</sup> → R<sup>2</sup>.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2016

Multivariate topology simplification.

[BibT_eX]

[DOI]

Comput. Geom., 2016

2015

Skeletons for distributed topological computation.

[BibT_eX]

[DOI]

Fouzhan Hosseini

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

2014

Joint Contour Nets.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2014

Extracting Jacobi Structures in Reeb Spaces.

[BibT_eX]

[DOI]

Proceedings of the 16th Eurographics Conference on Visualization, 2014

Visual Analysis of Hurricane Data Using Joint Contour Net.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Computer Graphics, 2014

Simplifying Multivariate Topology (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Computer Graphics, 2014

Parallel computation of multifield topology: experience of Haskell in a computational science application.

[BibT_eX]

[DOI]

Fouzhan Hosseini

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

Computational Topology via Functional Programming: A Baseline Analysis.

[BibT_eX]

[DOI]

Proceedings of the Topological Methods in Data Analysis and Visualization III, 2014

2013

Causality of optimized Haskell: what is burning our cycles?

[BibT_eX]

[DOI]

Peter Moritz Wortmann

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

Joint Contour Nets: Computation and properties.

[BibT_eX]

[DOI]

Proceedings of the IEEE Pacific Visualization Symposium, 2013

2012

Visualizing Nuclear Scission through a Multifield Extension of Topological Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2012

2010

Flexible delivery of visualization software and services.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2010

A map of the heap: revealing design abstractions in runtime structures.

[BibT_eX]

[DOI]

Colin Myers

Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

2009

Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2009

Visualizing Heterogeneous Utility Data: A Case for Aesthetic Design.

[BibT_eX]

[DOI]

Nadia Boukhelifa

Proceedings of the 30th Annual Conference of the European Association for Computer Graphics, 2009

Uncertainty visualization: why might it fail?

[BibT_eX]

[DOI]

Nadia Boukhelifa

Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

2008

Experience report: visualizing data through functional pipelines.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

A Web Services Architecture for Visualization.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on e-Science, 2008

The Aesthetics of the Underworld.

[BibT_eX]

[DOI]

Nadia Boukhelifa

Proceedings of the 4th International Symposium on Computational Aesthetics in Graphics, 2008

2006

Fine-grained Visualization Pipelines and Lazy Functional Languages.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2006

2005

Do You See What I Mean?

[BibT_eX]

[DOI]

IEEE Computer Graphics and Applications, 2005

2004

Drawing Attention to Meaning.

[BibT_eX]

[DOI]

Cyberpsychology Behav. Soc. Netw., 2004

Visual web mining.

[BibT_eX]

[DOI]

Amir H. Youssefi

Mohammed Javeed Zaki

Proceedings of the 13th international conference on World Wide Web, 2004

Building an Ontology of Visualization.

[BibT_eX]

[DOI]

Ken W. Brodlie

Proceedings of the 15th IEEE Visualization Conference, 2004

Linking Representation with Meaning.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Visualization Conference, 2004

2003

Rendering and Affect.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2003

2002

Continuity in cognition.

[BibT_eX]

[DOI]

Jon May

M. J. Buehner

Univers. Access Inf. Soc., 2002

2001

Editorial.

[BibT_eX]

[DOI]

Roberto Scopigno

Comput. Graph. Forum, 2001

Editorial.

[BibT_eX]

Sabine Coquillart

Comput. Graph. Forum, 2001

Minimal Graphics.

[BibT_eX]

[DOI]

IEEE Computer Graphics and Applications, 2001

Human-computer protocols.

[BibT_eX]

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

Modular Techniques in Information Visualization.

[BibT_eX]

[DOI]

Proceedings of the Australasian Symposium on Information Visualisation, 2001

2000

Systems, interactions, and macrotheory.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2000

Demonstrating the Cognitive Plausibility of Interactive System Specifications.

[BibT_eX]

[DOI]

Richard Butterworth

Ann Blandford

Formal Aspects Comput., 2000

Syndetic Modelling: Computer Science Meets Cognitive Psychology.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods Elsewhere, 2000

Binding Virtual Environments to Toolkit Capabilities.

[BibT_eX]

[DOI]

Shamus P. Smith

Comput. Graph. Forum, 2000

Carla Vandoni - A Remarkable Lady.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2000

1999

Using Formal Models to Explore Display-Based Usability Issues.

[BibT_eX]

[DOI]

Richard Butterworth

Ann Blandford

J. Vis. Lang. Comput., 1999

A Case Study in the Specification and Analysis of Design Alternatives for a User Interface.

[BibT_eX]

[DOI]

Bob Fields

Formal Aspects Comput., 1999

The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

The Changing Face of Standardization: A Place for Formal Methods?

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

The Hybrid World of Virtual Environments.

[BibT_eX]

[DOI]

Shamus P. Smith

Mieke Massink

Comput. Graph. Forum, 1999

Skeletal Images as Visual Cues in Graph Visualization.

[BibT_eX]

[DOI]

Jean-Philippe Domenger

Proceedings of the 1st Joint Eurographics, 1999

Towards Hybrid Interface Specifications for Virtual Environments.

[BibT_eX]

[DOI]

Mieke Massink

Shamus P. Smith

Proceedings of the Design, 1999

Discussion topics for the DSV-IS'99 working groups.

[BibT_eX]

[DOI]

Proceedings of the Design, 1999

PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding

[BibT_eX]

[DOI]

M. Scott Marshall

Lecture Notes in Computer Science 1591, Springer, ISBN: 3-540-66720-2, 1999

1998

A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects.

[BibT_eX]

[DOI]

Multim. Syst., 1998

Syndetic Modelling.

[BibT_eX]

[DOI]

Hum. Comput. Interact., 1998

Programming Paradigms in an Object-Oriented Multimedia Standard.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 1998

A Standard for Multimedia Middleware.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997

Integrating user and computer system concerns in the design of interactive systems.

[BibT_eX]

[DOI]

Ann Blandford

Int. J. Hum. Comput. Stud., 1997

Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 1997

1996

Interpersonal Access Control in Computer-Mediated Communications: A Systematic Analysis of the Design Space.

[BibT_eX]

[DOI]

Hum. Comput. Interact., 1996

Fusion Engines and Melting Pots.

[BibT_eX]

[DOI]

J. K. Hyde

Proceedings of the Design, 1996

Device Models.

[BibT_eX]

[DOI]

Giorgio P. Faconti

Proceedings of the Design, 1996

Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study.

[BibT_eX]

[DOI]

Simon Buckingham Shum

Proceedings of the People and Computers XI, Proceedings of HCI '96, 1996

1995

Mapping user requirements to implementations.

[BibT_eX]

[DOI]

Softw. Eng. J., 1995

Event model of human-system interaction.

[BibT_eX]

[DOI]

Softw. Eng. J., 1995

Reasoning About Gestural Interaction.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 1995

Interaction and Task Requirements.

[BibT_eX]

[DOI]

Proceedings of the Design, 1995

Interaction, Cognition and Visualization.

[BibT_eX]

[DOI]

Proceedings of the Design, 1995

Are Formal Methods Relevant?

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

Systematic Development of the Human Interface.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

PREMO - An Initial Approach to a Formal Definition.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 1994

A Review of Formalisms for Describing Interactive Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Human-Computer Interaction, 1994

From Formal Models to Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Human-Computer Interaction, 1994

A Theory of Presentations.

[BibT_eX]

[DOI]

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Folding Human Factors into Rigorous Development.

[BibT_eX]

Proceedings of the Design, 1994

Unifying Views of Interactors.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993

Abstract Interaction Objects.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 1993

Deriving Modular Designs from Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

1992

Object-oriented formal specification / by David John Duke

[BibT_eX]

[DOI]

PhD thesis, 1992

1991

Enhancing the Structure of Z Specifications.

[BibT_eX]

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1990

Towards a Semantics for Object-Z.

[BibT_eX]

[DOI]