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

Research Output 2016 2018

  • 3 Conference contribution
  • 1 Conference article
Filter
Conference contribution
2018

Improving User Confidence in Concept Maps: Exploring Data Driven Explanations

Le Bras, P., Robb, D., Methven, T., Padilla, S. & Chantler, M. J., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM, 404

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Strategic planning
Decision making
2017

The Tinker GUI for graphical proof strategies (tool demo)

Grov, G., Lin, Y. & Le Bras, P., 27 Jan 2017, Proceedings of the Third Workshop on Formal Integrated Development Environment. Open Publishing Association, p. 98-101 4 p. (Electronic Proceedings in Theoretical Computer Science; vol. 240).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Graphical user interfaces
Visualization
2016

Developing and Debugging Proof Strategies by Tinkering

Lin, Y., Le Bras, P. & Grov, G., 2016, Tools and Algorithms for the Construction and Analysis of Systems. Chechik, M. & Raskin, J-F. (eds.). Springer, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Debugging
Inspection
Maintenance
Chemical analysis
User Experience