David Menendez
Orcid: 0000-0002-0248-5940
According to our database1,
David Menendez
authored at least 13 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
1
1
1
1
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Some Correct Strategies Are Better Than Others: Individual Differences in Strategy Evaluations Are Related to Strategy Adoption.
Cogn. Sci., March, 2023
Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023
2022
Perceptual Features in Visual Representations: A Content Analysis of Inheritance Diagrams.
Proceedings of the 44th Annual Meeting of the Cognitive Science Society, 2022
2020
Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020
2018
Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018
How do people evaluate problem-solving strategies? Efficiency and intuitiveness matter.
Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
2016
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
2013
Trans. Comput. Sci., 2013