CONTENTS
Keynote
Life on the Line: Interacting with Temporal Event Sequence
Representations 1
Catherine Plaimnt
Tutorial
Learning to Use the Openbox: A Framework for the Implementation of
Heterogeneous Reasoning 3
Dave Barker-Plummer, John Etchemendy, Michael Murray,
Emma Pease, and Nik Swoboda
Workshops
3rd International Workshop on Euler Diagrams 1
Peter Chapman and Luana Micallef
Technology Enhanced Diagrams Research Workshop 5
Richard Cox and Jonathan San Diego
Accessible Graphics: Graphics for Vision Impaired People 6
Cagatay Goncu and Kim Marriott
Graduate Student Symposium
Graduate Student Symposium of Diagrams 2012 7
Lisa A. Best
Psychological and Cognitive Issues
Automatically Recognizing Intended Messages in Grouped Bar
Charts 8
Richard Burns, Sandra Carberry. Stephanie Elzer, and
Daniel Chester
Representing Category and Continuum: Visualizing Thought 23
Barbara Tversky, James E. Carter, Lixiu Yu, David L. Mason, and Jeffrey V. Niekerson
Elucidating the Mechanism of Spontaneous Diagram Use
in Explanations: How Cognitive Processing of Text and Diagrammatic
Representations Are Influenced by Individual and Task-Related
Factors 35
Emmanuel Manalo and Yuri Uesaka
Diagram Layout
Orthogonal Hyperedge Routing 51
Michael Wybrow, Kim Marriott, and Peter J. Stuckey
Improved Layout for Data Flow Diagrams with Port Constraints 65
Lars Kristian Klauske, Christoph Daniel Schulze, Miro Sponemann, and Reinhard von Hanxleden
Aesthetic Layout of Wiring Diagrams 80
Christian Ernstbrunner and Josef Pichler
Diagrams and Data Analysis
Points, Lines and Arrows in Statistical Graphs 95
Cengiz Acartiirk
Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative,
Categorical, Relational, and Time-Series Data 102
Michael Burch, Michael Raschke, Miriam Greis, and
Daniel Weiskopf
Interpreting Effect Size Estimates through Graphic Analysis of Raw
Data Distributions 117
Michael T. Bradley, Andrew Brand, and A. Luke MacNeill
Psychological Evidence of Mental Segmentation in Table Reading 124
Takeshi Sugio, Atsushi Shimojima, and Yasuhiro Katagiri
Venn and Euler Diagrams
Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation
and Free Rides 132
Ryo Takernura
Euler Diagram Encodings 148
Paolo Bottoni, Gennaro Costagliola, and Andrew Fish
Reasoning with Diagrams
Speedith: A Diagrammatic Reasoner for Spider Diagrams 163
Matej Urbas, Mateja Jamnik. Gem Stapleton. and Jean Flower
Algebra Diagrams: A HANDi Introduction 178
Peter C.-H. Cheng
Boolean Differences between Two Hexagonal Extensions of the Logical
Square of Oppositions 193
Hans Smessaert
Investigating Aesthetics
An Exploration of Visual Complexity 200
Helen C. Purchase, Euan Freeman, and John, Hamer
Diagram Ecologies - Diagrams as Science and Game Board 214
Christoph Lueder
Dynamic Diagrams: A Composition Alternative 233
Richard Lowe and Jean-Michel Boucheix
Applications of Diagrams
Diagrammatically-Driven Formal Verification of Web-Services
Composition 241
Petros Papapanagiotou, Jacques Fleuriot, and Sean Wilson
The Diagram of Flow: Its Departure from Software Engineering and Its
Return 256
S.J. Morris and O.C.Z. Gotel
DDA\Repository: An Associative, Dynamic and Incremental Repository
of Design Diagrams 270
Bharat Dave and Gwyllim Jahn
Structure, Space and Time: Some Ways That Diagrams Affect
Inferences in a Planning Task 277
David L. Mason, James E. Corter. Barbara Tversky, and
Jeffrey V. Nicker son
Posters
What Can Concept Diagrams Say? 291
Gem Stapleton, John Howse. Peter Chapman, Ian Oliver, and Aidan Delaney
CDEG: Computerized Diagrammatic Euclidean Geometry 2.0 294
Nathaniel Miller
Design and Implementation of Multi-camera Systems Distributed over
a Spherical Geometry 297
Hossein Afshari, Kerem Seyid, Alexandre Schmid, and
Yusuf Leblebici
Algebraic Aspects of Duality Diagrams 300
Lorenz Demey
The Use of Diagrams in Science: An Examination of Trends in Articles
Published in Science between 1880 and 2010 303
Lillian P. Fanjoy, A. Luke MacNeill, and Lisa A. Best
A User Study on Curved Edges in Graph Visualisation 306
Kai Xu, Chris Rooney, Peter Passmore, and Dong-Han Ham
Truth Diagrams: An Overview 309
Peter C.-H. Cheng
Are Teachers Aware of Students' Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers'
Predictions 312
Yuri Uesaka, Emmanuel Manalo. and Masanori Nakagawa
Modelling Delivery Information Flow: A Comparative Analysis of
DSMs, DFDs and ICDs 315
Christopher Durugbo, Ashutosh Tiwari, and Jeffrey R. Alcock
Completeness Proofs for Diagrammatic Logics 318
Jim Burton, Gem Stapleton, and John Howse
Modelling Information Flow: Improving Diagrammatic Visualisations . . . 321 Christopher Durugbo
A Graph Calculus for Proving Intuitionistic Relation Algebraic
Equations 324
Renata de Freitas and Petrucio Viana
Genetic Algorithm for Line Labeling of Diagrams Having Drawing
Cues 327
Alexandra Bonnici and Kenneth Camilleri
A Logical Investigation on Global Reading of Diagrams 330
Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
Pictures Are Visually Processed: Symbols Are also Recognized 334
Peter W. Coppin
How Do Viewers Spontaneously Segment Animated Diagrams
of Mechanical and Biological Subject Matter? 337
Jean-Michel Boucheix and Richard Lowe
Which Diagrams and When? Health Workers' Choice and Usage
of Different Diagram Types for Service Improvement 340
Gyuchan Thomas Jun, Cecily Morrison,
Christopher 0 'Loughlin, and P. John Clarkson
Eye Movement Patterns in Solving Scientific Graph Problems 343
Miao-Hsuan Yen, Chieh-Ning Lee, and Yu-Chun Yang
Formalising Simple Codecharts 346
Jon Nicholson and Aidan Delaney
Notes about the London Underground Map as an Iconic Artifact 349
Breno Bitarello, Pedro Ata, and Joao Queiroz
The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear
Diagrams 352
Yuri, Sato and Koji Mineshima
Author Index 357