• Meeker K and Thompson P. (2023). The Evolution of Technology for the Mathematics Classroom. TechTrends. 10.1007/s11528-023-00887-1. 67:5. (843-850). Online publication date: 1-Sep-2023.

    https://link.springer.com/10.1007/s11528-023-00887-1

  • Zhelezniakov D, Cherneha A, Zaytsev V, Ignatova T, Radyvonenko O and Yakovchuk O. Evaluating new requirements to pen-centric intelligent user interface based on end-to-end mathematical expressions recognition. Proceedings of the 25th International Conference on Intelligent User Interfaces. (212-220).

    https://doi.org/10.1145/3377325.3377482

  • Thimbleby H and Cairns P. (2017). Interactive numerals. Royal Society Open Science. 10.1098/rsos.160903. 4:4. (160903). Online publication date: 1-Apr-2017.

    http://rsos.royalsocietypublishing.org/lookup/doi/10.1098/rsos.160903

  • Thimbleby H. Safer User Interfaces: A Case Study in Improving Number Entry. IEEE Transactions on Software Engineering. 10.1109/TSE.2014.2383396. 41:7. (711-729).

    http://ieeexplore.ieee.org/document/6991548/

  • Thimbleby H and Williams D. Using Nomograms to Reduce Harm from Clinical Calculations. Proceedings of the 2013 IEEE International Conference on Healthcare Informatics. (461-470).

    https://doi.org/10.1109/ICHI.2013.62

  • MacĂ© S and Anquetil E. (2011). Exploiting on-the-fly interpretation to design technical documents in a mobile context. Journal on Multimodal User Interfaces. 10.1007/s12193-011-0058-4. 4:3-4. (129-145). Online publication date: 1-Dec-2011.

    http://link.springer.com/10.1007/s12193-011-0058-4

  • Zeleznik R, Bragdon A, Adeputra F and Ko H. Hands-on math. Proceedings of the 23nd annual ACM symposium on User interface software and technology. (17-26).

    https://doi.org/10.1145/1866029.1866035

  • Thimbleby H and Thimbleby W. Mathematical Mathematical User Interfaces. Engineering Interactive Systems. (520-536).

    https://doi.org/10.1007/978-3-540-92698-6_31

  • LaViola J, Leal A, Miller T and Zeleznik R. Evaluation of techniques for visualizing mathematical expression recognition results. Proceedings of Graphics Interface 2008. (131-138).

    /doi/10.5555/1375714.1375737

  • Thimbleby H and Thimbleby W. Internalist and externalist HCI. Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2. (111-114).

    /doi/10.5555/1531407.1531436

  • Cairns P and Gow J. (2007). Integrating Searching and Authoring in Mizar. Journal of Automated Reasoning. 39:2. (141-160). Online publication date: 1-Aug-2007.

    https://doi.org/10.1007/s10817-007-9073-2

  • Anquetil E and Lorette G. (2007). New Advances and New Challenges in On-Line Handwriting Recognition and Electronic Ink Management. Digital Document Processing. 10.1007/978-1-84628-726-8_7. (143-164).

    http://link.springer.com/10.1007/978-1-84628-726-8_7