Author: Volker Haarslev
Publication Overview
Publication period start: 1999
Number of co-authors: 7
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.