20162019

Research output per year

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

Fingerprint Dive into the research topics where Pierre Le Bras is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Research Output

  • 4 Conference contribution
  • 1 Conference article

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

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
  • 205 Downloads (Pure)

    Issues affecting user confidence in explanation systems

    Robb, D. A., Padilla, S., Methven, T. S., Liang, Y., Le Bras, P., Howden, T., Gharavi, A., Chantler, M. J. & Chalkiadakis, I., 30 Jul 2018, In : CEUR Workshop Proceedings. 2151

    Research output: Contribution to journalConference article

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