| Problem Solving as a Path to Comprehension: Mathematical Software and Structured Symbolism S Kim, M Pollanen, MG Reynolds, WS Burr Mathematics in Computer Science 14, 607-621, 2020 | 6 | 2020 |
| Identification of errors in mathematical symbolism and notation: implications for software design S Kim, M Pollanen, MG Reynolds, WS Burr Mathematical Software–ICMS 2018: 6th International Conference, South Bend …, 2018 | 6 | 2018 |
| Markov transition matrix analysis of mathematical expression input models F Quinby, S Kim, S Kang, M Pollanen, MG Reynolds, WS Burr International Congress on Mathematical Software, 451-461, 2020 | 3 | 2020 |
| An evaluation of two-dimensional digital input models for mathematical structure: effects on working memory, cognitive load, and efficiency F Quinby, S Kim, M Pollanen, WS Burr, MG Reynolds International Conference on Human-Computer Interaction, 212-222, 2021 | 2 | 2021 |
