If you made any changes in Pure these will be visible here soon.

Research Output 2002 2018

Filter
Abstract
2016

Effective Representation of Information: Generalizing Free Rides

Stapleton, G., Jamnik, M. & Shimojima, A. 1 Jan 2016 p. 296-299 4 p.

Research output: Contribution to conferenceAbstract

Open Access
File
set theory
poster

Evaluating the Effects of Colour in LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P. 1 Jan 2016 p. 283-285 3 p.

Research output: Contribution to conferenceAbstract

Open Access
File
2012

Linking codecharts with programs

Nicholson, J., Delaney, A. & Stapleton, G. 2 Oct 2012 p. 259-260 2 p.

Research output: Contribution to conferenceAbstract

Semantics
Software design
2010

Creating a second order diagrammatic logic

Chapman, P. & Stapleton, G. 1 Jan 2010 p. 298-300 3 p.

Research output: Contribution to conferenceAbstract

Logic
Formalization
Expressiveness
2009

Automated diagram drawing

Howse, J., Rodgers, P. & Stapleton, G. Sep 2009

Research output: Contribution to conferenceAbstract

Visual languages

On the readability of diagrammatic proofs

Stapleton, G., Jamnik, M. & Masthoff, J. 2009 p. 37-38 2 p.

Research output: Contribution to conferenceAbstract

Acoustic waves
2006

Defining Euler diagrams: simple or what?

Fish, A. & Stapleton, G. 1 Jan 2006 p. 109-111 3 p.

Research output: Contribution to conferenceAbstract

Euler
Diagram
Reasoning
Closed curve
Intersection of sets