Michael Hanus

Assessing the effects of gamification in the classroom: A longitudinal study on intrinsic motivation, social comparison, satisfaction, effort, and academic performance

Michael Hanus, Jesse Fox · Computers & Education · 2014 · 1.8K citations

Education, Educational Psychology, Instruction +17

The integration of functions into logic programming: From theory to practice

Michael Hanus · The Journal of Logic Programming · 1994 · 426 citations · Full text

Computing, Computer Science, Logic +13

A unified computation model for functional and logic programming

Michael Hanus · 1997 · 168 citations

Computing, Computer Science, Logic +11

Functional logic programming

Sergio Antoy, Michael Hanus · Communications of the ACM · 2010 · 138 citations

Computing, Computer Science, Logic +7

Curry: An Integrated Functional Logic Language

Michael Hanus, Sergio Antoy, Herbert Kuchen et al. · 2003 · 135 citations

Computing, Computer Science, Logic +15