logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Michael Hanus

university of kiel

32H-index
238Paper Count
5.3KCitation Count
Published Papers 6
Publication Date
logo
CurryInfo: Managing Analysis and Verification Information about Curry Packages
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errHanus, Michael
errShare
errSave
Inferring non-failure conditions for declarative programs
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-11-01
err0
errOAAI
errHanus, Michael
errShare
errSave
Assessing the Effects of Gamification in the Classroom: A Longitudinal Study on Intrinsic Motivation, Social Comparison, Satisfaction, Effort, and Academic Performance (vol 80, pg 152, 2015)
errCOMPUTERS & EDUCATION
IF10.5
err2018-12-01
err3
PREAI
errHanus, Michael D.; Fox, Jesse
errShare
errSave
Assessing the effects of gamification in the classroom: A longitudinal study on intrinsic motivation, social comparison, satisfaction, effort, and academic performance
errCOMPUTERS & EDUCATION
IF10.5
err2015-01-01
err1.2K
PREAI
errHanus, Michael D.; Fox, Jesse
errShare
errSave
Functional Logic Programming
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-04-01
err67
errOAAI
errAntoy, Sergio; Hanus, Michael
errShare
errSave
Integration of functional and logic programming
errACM COMPUTING SURVEYS
IF28
err1996-06-01
err2
errOAAI
errHanus, M; Kuchen, H
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
J
Jesse Fox
H-index: 42 · Papers: 121
H
Herbert Kuchen
H-index: 25 · Papers: 227
S
Sergio Antoy
H-index: 21 · Papers: 98
All loaded