Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Japheth Lim
Refinement Through Restraint: Bringing Down the Cost of Verification
ACM SIGPLAN Notices
Computer Science
Related publications
Bringing Down the Cost of Cancer Treatment
Nature
Multidisciplinary
Real Exchange Rate Overshooting and the Output Cost of Bringing Down Inflation
European Economic Review
Economics
Econometrics
Finance
Bringing Down Leviathan
Frontiers in Ecology and the Environment
Evolution
Ecology
Systematics
Behavior
Bringing a Superhero Down to Earth
Physics Teacher
Education
Physics
Astronomy
Summary Refinement Through Denoising
Bringing Satellite-Based Air Quality Estimates Down to Earth
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Resynthesizing Behavior Through Phylogenetic Refinement
Attention, Perception & Psychophysics
Linguistics
Sensory Systems
Language
Experimental
Cognitive Psychology
Psychiatric Patient Sues for Cost of Bringing Up Child
BMJ