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

Research Output 2016 2019

  • 4 Conference contribution
  • 1 Conference article
Filter
Conference contribution
2019

Challenges in Collaborative HRI for Remote Robot Teams

Hastie, H., Robb, D. A., Lopes, J. D., Ahmad, M., Le Bras, P., Liu, X., Petrick, R. P. A., Lohan, K. & Chantler, M. J., 2019, CHI2019 Workshop on The Challenges of Working on Social Robots that Collaborate with People (SIRCHI 2019).

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

Open Access
File
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