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

Research Output 2002 2019

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 conferenceAbstractResearch

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 conferenceAbstractResearch

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 conferenceAbstractResearch

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 conferenceAbstractResearchpeer-review

Logic
Formalization
Expressiveness
2009

Automated diagram drawing

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

Research output: Contribution to conferenceAbstractResearchpeer-review

Visual languages

On the readability of diagrammatic proofs

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

Research output: Contribution to conferenceAbstractResearchpeer-review

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 conferenceAbstractResearchpeer-review

Euler
Diagram
Reasoning
Closed curve
Intersection of sets