Daniel Raggi

26 papers A* 3A 1B 6C 8Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A conf
Can Micro-Behaviours be used for Graph Comprehension Assessment?
LAK
Fiorenzo Colarusso, Peter C.-H. Cheng, Ronald R. Grau, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2025 J jnl
Oruga: An Avatar of Representational Systems Theory.
CoRR
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2025 J jnl
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations.
CoRR
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2024 A* conf
A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility.
CHI
Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2024 B conf
Decoding Expertise: Exploring Cognitive Micro-Behavioural Measurements for Graph Comprehension.
CogSci
Fiorenzo Colarusso, Peter C.-H. Cheng, Ronald R. Grau, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2024 A* conf
Generation of Visual Representations for Multi-Modal Mathematical Knowledge.
AAAI
Lianlong Wu, Seewon Choi, Daniel Raggi, Aaron Stockdill, Grecia Garcia Garcia, Fiorenzo Colarusso, Peter C.-H. Cheng, Mateja Jamnik
2024 B conf
Index Systems: Enumerating Their Forms and Explaining Their Diversity With Representational Interpretive Structure Theory.
CogSci
Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2024 C conf
Oruga: Implementation and Use of Representational Systems Theory.
CICM
Daniel Raggi, Gem Stapleton, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Mateja Jamnik
2023 A* conf
A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts.
CHI
Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Aaron Stockdill, Daniel Raggi, Mateja Jamnik
2022 — conf
Cognitive Analysis for Representation Change.
HLC
Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Daniel Raggi, Mateja Jamnik
2022 B conf
Examining Experts' Recommendations of Representational Systems for Problem Solving.
VL/HCC
Aaron Stockdill, Gem Stapleton, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2022 — conf
Oruga: an avatar of Representational Systems Theory.
HLC
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2022 C conf
Representational Interpretive Structure: Theory and Notation.
Diagrams
Peter C.-H. Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2022 J jnl
Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations.
CoRR
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2021 C conf
Cognitive Properties of Representations: A Framework.
Diagrams
Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Mateja Jamnik
2021 C conf
Considerations in Representation Selection for Problem Solving: A Review.
Diagrams
Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2021 C conf
Observing Strategies of Drawing Data Representations.
Diagrams
Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik
2020 B conf
Correspondence-based analogies for choosing problem representations.
VL/HCC
Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar
2020 — conf
Cross-domain Correspondences for Explainable Recommendations.
ExSS-ATEC@IUI
Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng, Advait Sarkar
2020 C conf
Dissecting Representations.
Diagrams
Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
2020 B conf
How to (Re)represent it?
ICTAI
Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2019 B conf
Elucidating the Cognitive Anatomy of Representation Systems.
CogSci
Peter C.-H. Cheng, Grecia Garcia Garcia, Holly E. A. Sutherland, Daniel Raggi, Aaron Stockdill, Mateja Jamnik
2019 C conf
Inspection and Selection of Representations.
CICM
Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
2016 J jnl
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci.
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 C conf
Automating Change of Representation for Proofs in Discrete Mathematics.
CICM
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 J jnl
Automating change of representation for proofs in discrete mathematics.
CoRR
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease