1. Diagrams 2000:
Edinburgh,
Scotland,
UK
Michael Anderson, Peter Cheng, Volker Haarslev (Eds.):
Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings.
Lecture Notes in Computer Science 1889 Springer 2000, ISBN 3-540-67915-4 BibTeX
@proceedings{DBLP:conf/diagrams/2000,
editor = {Michael Anderson and
Peter Cheng and
Volker Haarslev},
title = {Theory and Application of Diagrams, First International Conference,
Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000,
Proceedings},
booktitle = {Diagrams},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1889},
year = {2000},
isbn = {3-540-67915-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Tutorial 1 - Formal Approaches to Diagrams
Tutorial 2 - Cognitive Approach to Diagrams
Logic and Diagrams
Theoretical Concerns about Diagrams
Cognition and Diagrams
Human Communication with Diagrams
Diagrammatic Reasoning/Proof Systems
Diagrams for Systems,
Systems for Diagrams
- Dorothea Blostein, Edward Lank, Richard Zanibbi:
Treatment of Diagrams in Document Image Analysis.
330-344
Electronic Edition (Springer LINK) BibTeX
- Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson:
Universal Arrow Foundations for Visual Modeling.
345-360
Electronic Edition (Springer LINK) BibTeX
- Alexander Felfernig, Markus Zanker:
Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language.
361-375
Electronic Edition (Springer LINK) BibTeX
- Carol Britton, Sara Jones, Maria Kutar, Martin Loomes, Brian Robinson:
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software.
376-391
Electronic Edition (Springer LINK) BibTeX
- Joe Thurbon:
Executing Diagram Sequences.
392-406
Electronic Edition (Springer LINK) BibTeX
- Ian Ferguson, Andrew Hunter, Colin J. Hardy:
MetaBuilder: The Diagrammer's Diagrammer.
407-421
Electronic Edition (Springer LINK) BibTeX
- Stefan Gruner, Murat Kurt:
Diagrammatic Control of Diagrammatic Structure Generation.
422-436
Electronic Edition (Springer LINK) BibTeX
- Shingo Takada, Yasuhiro Yamamoto, Kumiyo Nakakoji:
Two-Dimensional Positioning as Visual Thinking.
437-452
Electronic Edition (Springer LINK) BibTeX
- Erkki Mäkinen, Harri Siirtola:
Reordering the Reorderable Matrix as an Algorithmic Problem.
453-467
Electronic Edition (Springer LINK) BibTeX
Posters
Copyright © Sat May 16 23:06:40 2009
by Michael Ley (ley@uni-trier.de)
