Author: Corin A. Gurr
Publications
Co-authors
Productive Colleagues
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