Author: Corin A. Gurr
Publication Overview
Publication period start: 1999
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Gurr,
Corin A.
(1999):
Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues.
In
J. Vis. Lang. Comput.,
10
(4)
pp. 317-342.
Gurr,
Corin A.,
Tourlas,
Konstantinos
(2000):
Formalising the Essence of Diagrammatic Syntax.
In:
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.
pp. 483-485.
https://link.springer.de/link/service/series/0558/bibs/1889/18890483.htm
Winterstein,
Daniel,
Bundy,
Alan,
Gurr,
Corin A.,
Jamnik,
Mateja
(2002):
Using Animation in Diagrammatic Theorem Proving.
In:
Hegarty,
Mary,
Meyer,
Bernd,
Narayanan,
N. Hari
(eds.)
Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference
April 18-20,
2002,
Callaway Gardens, GA, USA.
pp. 46-60.
https://link.springer.de/link/service/series/0558/bibs/2317/23170046.htm
Winterstein,
Daniel,
Bundy,
Alan,
Gurr,
Corin A.,
Jamnik,
Mateja
(2004):
An Experimental Comparison of Diagrammatic and Algebraic Logics.
In:
Blackwell,
Alan,
Marriott,
Kim,
Shimojima,
Atsushi
(eds.)
Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference
March 22-24,
2004,
Cambridge, UK.
pp. 432-434.
https://link.springer.de/link/service/series/0558/bibs/2980/29800432.htm
Gurr,
Corin A.
(2001):
Aligning syntax and semantics in formalisations of visual languages.
In:
HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments
September 5-7,
2001,
Stresa, Italy.
pp. 60-61.
https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740060abs.htm
Gurr,
Corin A.,
Tourlas,
Konstantinos
(1999):
Formalizing Pragmatic Features of Graph-Based Notations.
In:
VL 1999
,
1999,
.
pp. 220-227.
https://csdl.computer.org/comp/proceedings/vl/1999/0216/00/02160220abs.htm
Gurr,
Corin A.
(2007):
Visualising a Logic of Dependability Arguments.
In:
Cox,
Philip T.,
Fish,
Andrew,
Howse,
John
(eds.)
VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing
23rd September,
2007,
Coeur dAléne, Idaho, USA.
pp. 97-109.
https://ceur-ws.org/Vol-274/paper8.pdf