13
Publications
480
Citations
12
H-Index
2006
Active since
Michael M. Hull is an author at Infineon Technologies (Germany) specializing in computer science, software analysis, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringComputer ArchitectureVerification
Publications per year
2006–2022
13
13
How students blend conceptual and formal mathematical reasoning in solving physics problems
Eric Kuo, Michael M. Hull, Ayush Gupta et al. · Science Education · 2012 · 170 citations · Full text
Michael M. Hull, Eric Kuo, Ayush Gupta et al. · Physical Review Special Topics - Physics Education Research · 2013 · 65 citations · Full text
Problem-based Learning, Mathematics Education, Learning Problem +15
Rows per page
1–5 of 13