Automating Change of Representation for Proofs in Discrete Mathematics. - Daniel Raggi; Alan Bundy; Gudmund Grov; Alison Pease (CICM, 2015)

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). - Daniel Raggi; Alan Bundy; Gudmund Grov; Alison Pease (Math. Comput. Sci., 2016)

Elucidating the Cognitive Anatomy of Representation Systems. - Peter C.-H. Cheng; Grecia Garcia Garcia; Holly E. A. Sutherland; Daniel Raggi; Aaron Stockdill; Mateja Jamnik (CogSci, 2019)

Inspection and Selection of Representations. - Daniel Raggi; Aaron Stockdill; Mateja Jamnik; Grecia Garcia Garcia; Holly E. A. Sutherland; Peter C.-H. Cheng (CICM, 2019)

Dissecting Representations. - Daniel Raggi; Aaron Stockdill; Mateja Jamnik; Grecia Garcia Garcia; Holly E. A. Sutherland; Peter C.-H. Cheng (Diagrams, 2020)

How to (Re)represent it? - Daniel Raggi; Gem Stapleton; Aaron Stockdill; Mateja Jamnik; Grecia Garcia Garcia; Peter C.-H. Cheng (ICTAI, 2020)

Cross-domain Correspondences for Explainable Recommendations. - Aaron Stockdill; Daniel Raggi; Mateja Jamnik; Grecia Garcia Garcia; Holly E. A. Sutherland; Peter C.-H. Cheng; Advait Sarkar (ExSS-ATEC@IUI, 2020)

Correspondence-based analogies for choosing problem representations. - Aaron Stockdill; Daniel Raggi; Mateja Jamnik; Grecia Garcia Garcia; Holly E. A. Sutherland; Peter C.-H. Cheng; Advait Sarkar (VL/HCC, 2020)

Cognitive Properties of Representations: A Framework. - Peter C.-H. Cheng; Grecia Garcia Garcia; Daniel Raggi; Aaron Stockdill; Mateja Jamnik (Diagrams, 2021)

Observing Strategies of Drawing Data Representations. - Fiorenzo Colarusso; Peter C.-H. Cheng; Grecia Garcia Garcia; Daniel Raggi; Mateja Jamnik (Diagrams, 2021)

Considerations in Representation Selection for Problem Solving: A Review. - Aaron Stockdill; Daniel Raggi; Mateja Jamnik; Grecia Garcia Garcia; Peter C.-H. Cheng (Diagrams, 2021)

Representational Interpretive Structure: Theory and Notation. - Peter C.-H. Cheng; Aaron Stockdill; Grecia Garcia Garcia; Daniel Raggi; Mateja Jamnik (Diagrams, 2022)

Oruga: an avatar of Representational Systems Theory. - Daniel Raggi; Gem Stapleton; Mateja Jamnik; Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng (HLC, 2022)

Cognitive Analysis for Representation Change. - Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng; Daniel Raggi; Mateja Jamnik (HLC, 2022)

Examining Experts' Recommendations of Representational Systems for Problem Solving. - Aaron Stockdill; Gem Stapleton; Daniel Raggi; Mateja Jamnik; Grecia Garcia Garcia; Peter C.-H. Cheng (VL/HCC, 2022)

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations. - Daniel Raggi; Gem Stapleton; Mateja Jamnik; Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng (CoRR, 2022)

A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts. - Fiorenzo Colarusso; Peter C.-H. Cheng; Grecia Garcia Garcia; Aaron Stockdill; Daniel Raggi; Mateja Jamnik (CHI, 2023)

Generation of Visual Representations for Multi-Modal Mathematical Knowledge. - Lianlong Wu; Seewon Choi; Daniel Raggi; Aaron Stockdill; Grecia Garcia Garcia; Fiorenzo Colarusso; Peter C.-H. Cheng; Mateja Jamnik (AAAI, 2024)

A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility. - Peter C.-H. Cheng; Grecia Garcia Garcia; Daniel Raggi; Mateja Jamnik (CHI, 2024)

Oruga: Implementation and Use of Representational Systems Theory. - Daniel Raggi; Gem Stapleton; Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng; Mateja Jamnik (CICM, 2024)