5. Diagrams 2008: Herrsching, Germany

Keynote Reflections

• John Etchemendy:
  Heterogeneous Reasoning. 1
  
• W. Bradford Paley:
  Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity. 2-3
  
• Wilhelm Schäfer:
  Model Driven Development with Mechatronic UML. 4
  

Tutorials

• Alan F. Blackwell:
  Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use. 5-8
  
• Beryl Plimmer, Tracy Hammond:
  Getting Started with Sketch Tools. 9-12
  

Diagram Aesthetics and Layout

• Peter Rodgers, Leishi Zhang, Andrew Fish:
  General Euler Diagram Generation. 13-27
  
• Andrew Fish, Jean Flower:
  Euler Diagram Decomposition. 28-44
  
• Graeme Gange, Kim Marriott, Peter J. Stuckey:
  Smooth Linear Approximation of Non-overlap Constraints. 45-59
  
• Helen C. Purchase, Amanjit Samra:
  Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs. 60-73
  

Psychological and Cognitive Issues

• Atsushi Shimojima, Yasuhiro Katagiri:
  An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning. 74-88
  
• Krista E. DeLeeuw, Mary Hegarty:
  What Diagrams Reveal about Representations in Linear Reasoning, and How They Help. 89-102
  
• Maithilee Kunda, Ashok K. Goel:
  What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?. 103-117
  
• Colin Ware, Anne T. Gilman, Robert J. Bobrow:
  Visual Thinking with an Interactive Diagram. 118-126
  

Applications of Diagrams

• Alan F. Blackwell, Robert Phaal, Martin J. Eppler, Nathan Crilly:
  Strategy Roadmaps: New Forms, New Practices. 127-140
  
• David Ranson, Peter C.-H. Cheng:
  VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design. 141-155
  
• Steven L. Tanimoto:
  Enhancing State-Space Tree Diagrams for Collaborative Problem Solving. 156-164
  
• Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto:
  Visual Programming with Interaction Nets. 165-171
  

Theoretical Aspects

• Aidan Delaney, John Taylor, Simon Thompson:
  Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. 172-187
  
• Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura:
  Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. 188-205
  
• Andrew Fish, Chris John, John Taylor:
  A Normal Form for Euler Diagrams with Shading. 206-221
  
• John Mumma:
  Ensuring Generality in Euclid's Diagrammatic Arguments. 222-235
  
• Fabien Schang, Amirouche Moktefi:
  Depicting Negation in Diagrammatic Logic: Legacy and Prospects. 236-241
  

Diagrams in Education

• Barbara Tversky, James E. Corter, Jeffrey V. Nickerson, Doris Zahner, Yun Jin Rho:
  Transforming Descriptions and Diagrams to Sketches in Information System Design. 242-256
  
• Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer:
  Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. 257-265
  
• Richard Lowe, Jean-Michel Boucheix:
  Learning from Animated Diagrams: How Are Mental Models Built?. 266-281
  
• Raul Niño Zambrano, Yuri Engelhardt:
  Diagrams for the Masses: Raising Public Awareness - From Neurath to Gapminder and Google Earth. 282-292
  

Understanding and Comprehension

• Lisa A. Best, Laurence D. Smith, D. Alan Stubbs:
  Detection of Sample Differences from Dot Plot Displays. 293-307
  
• Leonie Bosveld-de Smet, Mark de Vries:
  Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants. 308-320
  
• Beate Grawemeyer, Richard Cox:
  The Effects of Users' Background Diagram Knowledge and Task Characteristics upon Information Display Selection. 321-334
  
• Cengiz Acarturk, Christopher Habel, Kursat Cagiltay:
  Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines. 335-343
  

Posters

• Frances Aldrich:
  Talk to the Hand: An Agenda for Further Research on Tactile Graphics. 344-346
  
• Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda:
  Openproof - A Flexible Framework for Heterogeneous Reasoning. 347-349
  
• Rossano Barone, Peter C.-H. Cheng:
  Cognitive and Semantic Perspectives of Token Representation in Diagrams. 350-352
  
• Richard Burns, Stephanie Elzer, Sandra Carberry:
  Estimating Effort for Trend Messages in Grouped Bar Charts. 353-356
  
• James Burton:
  Types and Programs from Euler Diagrams. 357-359
  
• Grecia Garcia Garcia, Richard Cox:
  Diagrams in the UK National School Curriculum. 360-363
  
• Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden:
  LePUS3: An Object-Oriented Design Description Language. 364-367
  
• Benjamin Gorry:
  Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture. 368-370
  
• Ronald R. Grau, Peter C.-H. Cheng:
  Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes. 371-373
  
• Sergio Gutiérrez Santos, Darren Pearce, Eirini Geraniou, Manolis Mavrikis:
  Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs. 374-377
  
• Norio Ishii, Saori Sakuma:
  A Concept Mapping Tool for Nursing Education. 378-381
  
• Angela M. Kessell, Barbara Tversky:
  Cognitive Methods for Visualizing Space, Time, and Agents. 382-384
  
• Peter Khooshabeh, Mary Hegarty, Madeleine Keehner, Cheryl Cohen:
  Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram. 385-387
  
• Yohei Kurata:
  A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically. 388-390
  
• Richard Lowe, Jean-Michel Boucheix:
  Supporting Relational Processing in Complex Animated Diagrams. 391-394
  
• Camillia Matuk:
  Animated Cladograms: Interpreting Evolution from Diagrams. 395-397
  
• Anirban Mukherjee, Utpal Garain:
  Automatic Diagram Drawing Based on Natural Language Text Understanding. 398-400
  
• Gisella Paoletti, Sara Rigutti:
  Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall. 401-403
  
• Ahti-Veikko Pietarinen:
  Diagrammatic Logic of Existential Graphs: A Case Study of Commands. 404-407
  
• M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine:
  Diagrammatic Reasoning in Separation Logic. 408-411
  
• Sumanta Sarathi Sharma:
  Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms. 412-414
  
• Brandie M. Stewart, Aren C. Hunter, Lisa A. Best:
  The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition. 415-418
  
• Mariusz Szwoch:
  Using MusicXML to Evaluate Accuracy of OMR Systems. 419-422
  
• Wioleta Szwoch:
  Aestheticization of Flowcharts. 423-426
  
• Merete Skjelten Tveit:
  Towards Diagrammatic Patterns. 427-429
  
• Myra Thiessen:
  Visualizing Meaning: Literacy Materials for Dyslexic Children. 430-432
  
• Julie Tolmie:
  Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction. 433-436
  
• Yuri Uesaka, Emmanuel Manalo:
  School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving. 437-439