• United Kingdom

Research Output

Filter
Conference article
2020
Open Access
File
1 Citation (Scopus)
333 Downloads (Pure)
2019

Designing behaviour change support systems for behaviour transformation

De Franco, D. & Pease, A., 28 Mar 2019, In : CEUR Workshop Proceedings. 2340, p. 1-4 4 p.

Research output: Contribution to journalConference article

Open Access
File
1 Citation (Scopus)
73 Downloads (Pure)
2018

Automating "human-like" example-use in mathematics

Pease, A. & Martin, U., 14 Jul 2018, In : CEUR Workshop Proceedings. 2261, p. 6-15 10 p.

Research output: Contribution to journalConference article

Open Access
File
27 Downloads (Pure)

Measuring persuasiveness in behaviour change support systems

De Franco, D., Pease, A. & Snaith, M., 1 Jan 2018, In : CEUR Workshop Proceedings. 2102, p. 41-47 7 p.

Research output: Contribution to journalConference article

Open Access
File
57 Downloads (Pure)
2011

Discovery of invariants through automated theory formation

Llano, M. T., Ireland, A. & Pease, A., 17 Jun 2011, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 55, p. 1-19 19 p.

Research output: Contribution to journalConference article

5 Citations (Scopus)