Author: Volker Haarslev

Publications

Publication period start: 1999
Number of co-authors: 7

Co-authors

Number of publications with favourite co-authors
Dietrich Fahrenholtz
1
Ralf Moller
2
Michael Wessel
4

Productive Colleagues

Most productive colleagues in number of publications
Michael Wessel
5
Nematollaah Shiri
6
Peter C-H. Cheng
15

Publications

Haarslev, Volker (1999): A Logic-based Formalism for Reasoning about Visual Representations. In J. Vis. Lang. Comput., 10 (4) pp. 421-445.

Haarslev, Volker (1987): Human Factors in Computer Vision Systems: Design of an Interactive User Interface. In: Bullinger, Hans-Jorg, Shackel, Brian (eds.) INTERACT 87 - 2nd IFIP International Conference on Human-Computer Interaction September 1-4, 1987, Stuttgart, Germany. pp. 1021-1026.

Haarslev, Volker, 0003, Ying Lu, Shiri, Nematollaah (2004): ONTOXPL - Intelligent Exploration of OWL Ontologies. In: 2004 IEEE/WIC/ACM International Conference on Web Intelligence WI 2004 20-24 September, 2004, Beijing, China. pp. 624-627. https://doi.ieeecomputersociety.org/10.1109/WI.2004.111

Anderson, Michael, Cheng, Peter C-H., Haarslev, Volker (eds.) Diagrams 2000 - Theory and Application of Diagrams - First International Conference September 1-3, 2000, Edinburgh, Scotland, UK.

Fahrenholtz, Dietrich, Haarslev, Volker (1995): Visualization of Strand(tm) Processes. In: VL 1995 , 1995, . pp. 114-115. https://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450114abs.htm

Haarslev, Volker (1995): Formal Semantics of Visual Languages using Spatial Reasoning. In: VL 1995 , 1995, . pp. 156-163. https://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450156abs.htm

Haarslev, Volker, Moller, Ralf (1990): A Declarative Formalism for Specifying Graphical Layout. In: VL 1990 , 1990, . pp. 54-59.

Haarslev, Volker, Moller, Ralf, Wessel, Michael (1999): On Specifying Semantics of Visual Spatial Query Languages. In: VL 1999 , 1999, . pp. 4-11. https://csdl.computer.org/comp/proceedings/vl/1999/0216/00/02160004abs.htm

Haarslev, Volker, Wessel, Michael (1996): GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. In: VL 1996 , 1996, . pp. 204-211.

Haarslev, Volker, Wessel, Michael (1997): Querying GIS with Animated Spatial Sketches. In: VL 1997 , 1997, . pp. 201-208.

Wessel, Michael, Haarslev, Volker (1998): VISCO: Bringing Visual Spatial Querying to Reality. In: VL 1998 , 1998, . pp. 170-177.