Reference. How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
Cite
Cites 76 works (0 here)
External (76)
- Mathematics teachers' perceptions of diagrams (2022)
- Rethinking Assessment: The Future of Examinations in Higher Education (2022)
- An Analysis of Iterative and Recursive Problem Performance (2021)
- Eyes on code: A study on developers code navigation strategies (2020)
- Neurological divide (2020)
- A comprehensive survey on automatic facial action unit analysis (2020)
- A practical guide on conducting eye tracking studies in software engineering (2020)
- Effective Use of Visual Representation in Research and Teaching within Higher Education (2020)
- Variation in Incoming Academic Preparation: Consequences for Minority and First-Generation Students (2020)
- Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines (2020)
- Comprehensive Studies Program (CSP) Support Planning Discussions AY 2019-2020 (University of Michigan meeting) (2020)
- Computing CARES Survey AY 2019-2020 (University of Michigan) (2020)
- New Opportunities for Integrated Formal Methods (2019)
- Distilling Neural Representations of Data Structure Manipulation using fMRI and fNIRS (2019)
- Role of diagrams in problem solving: An evaluation of eye-tracking parameters as a measure of visual attention (2019)
- OpenFace 2.0: Facial Behavior Analysis Toolkit (2018)
- The effect of poor source code lexicon and readability on develop-ers' cognitive load (2018)
- Simultaneous measurement of program comprehension with fMRI and eye tracking (2018)
- A new approach to supplementary instruction narrows achievement and affect gaps for underrepresented minorities, first-generation students, and women (2018)
- A Survey on the Usage of Eye-Tracking in Computer Programming (2018)
- A Review of Eye-Tracking Research in Marketing (2017)
- Measuring Cognitive Load for Map Tasks Through Pupil Diameter (2016)
- Regressions during reading: The cost depends on the cause (2016)
- User performance and reading strategies for metro maps: An eye tracking study (2016)
- Insights into numerical cognition: considering eye-fixations in number processing and arithmetic (2016)
- Context is more powerful than we think: Contextual cues override facial cues even for valence (2015)
- Eye-Tracking Metrics in Software Engineering (2015)
- A systematic literature review on the usage of eye-tracking in software engineering (2015)
- Eye Movements in Code Reading: Relaxing the Linear Order (2015)
- Using Task-Induced Pupil Diameter and Blink Rate to Infer Cognitive Load (2014)
- Tobii Pro Lab (computer software) (2014)
- Measuring the impact of subtitles on cognitive load (2013)
- The Tobii I- VT fixation filter (2012)
- Enhancing the mathematics skills of students enrolled in introductory engineering courses: Eliminating the gap in incoming academic preparation (2012)
- Discrete Mathematics and Its Applications, 7th ed. (2012)
- Context in Emotion Perception (2011)
- Affect Detection from Multichannel Physiology during Learning Sessions with AutoTutor (2011)
- Was Darwin Wrong About Emotional Expressions? (2011)
- Assessment of factors impacting success for incoming college engineering students in a summer bridge program (2011)
- Computer science illustrated: Engaging visual aids for computer science education (2010)
- Comparing information graphics (2010)
- Teaching formal methods in the context of software engineering (2009)
- Using formal specifications to support testing (2009)
- Eye Tracking in Human-Computer Interaction and Usability Research (2009)
- Z3: An efficient SMT solver (2008)
- From Stereotype Threat to Stereotype Threats: Implications of a Multi-Threat Framework for Causes, Moderators, Mediators, Consequences, and Interventions (2007)
- Facial features for affective state detection in learning environments (2007)
- Formal methods in industry (2006)
- Detection of emotions during learning with autotutor (2006)
- Computer science students' difficulties with proofs by induction (2006)
- The Validity of Self-Reported Grade Point Averages, Class Ranks, and Test Scores: A Meta-Analysis and Review of the Literature (2005)
- Emotions during learning: The first steps toward an affect sensitive intelligent tutoring system (2004)
- Mental imagery in problem solving (2004)
- Eye tracking in human-computer interaction and usability research: Ready to deliver the promises (2003)
- Real Time Face Detection and Facial Expression Recognition: Development and Applications to Human Computer Interaction (2003)
- Application of lightweight formal methods in requirement engineering (2003)
- Assert early and assert often: Practical hints on effective asserting (2002)
- On the universality and cultural specificity of emotion recognition: A meta-analysis (2002)
- Automated Theorem Proving in Software Engineering (2001)
- Identifying fixations and saccades in eye-tracking protocols (2000)
- Stereotype Threat and Women's Math Performance (1999)
- Computer interface evaluation using eye movements: methods and constructs (1999)
- On the Need for Practical Formal Methods (1998)
- Eye movements in reading and information processing: 20 years of research (1998)
- Formal methods (1996)
- Controlling the False Discovery Rate: A Practical and Powerful Approach to Multiple Testing (1995)
- Assigning Meanings to Programs (1993)
- Applying 'design by contract' (1992)
- Comprehension of arithmetic word problems: Evidence from students' eye fixations (1992)
- Systematic Software Development Using VDM (1990)
- Facial signs of emotional experience (1980)
- Relative importance of face, body, and speech in judgments of personality and affect (1980)
- A theory of reading: From eye fixations to comprehension (1980)
- Facial action coding system: a technique for the measurement of facial movement (1978)
- An axiomatic basis for computer programming (1969)
- Pupil Size in Relation to Mental Activity during Simple Problem-Solving (1964)