• United Kingdom

Research Output 1980 2020

Filter
Conference article
2019
1 Citation (Scopus)
13 Downloads (Pure)

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
2018
22 Downloads (Pure)

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
Patents and inventions
Testing
24 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
2011
5 Citations (Scopus)

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

Failure analysis
Experiments