Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thomas Sewell

Refinement Through Restraint: Bringing Down the Cost of Verification

ACM SIGPLAN Notices
Computer Science
2016English

Related publications

Bringing Down the Cost of Cancer Treatment

Nature
Multidisciplinary
2018English

Real Exchange Rate Overshooting and the Output Cost of Bringing Down Inflation

European Economic Review
EconomicsEconometricsFinance
1982English

Bringing Down Leviathan

Frontiers in Ecology and the Environment
EvolutionEcologySystematicsBehavior
2016English

Bringing a Superhero Down to Earth

Physics Teacher
EducationPhysicsAstronomy
2019English

Summary Refinement Through Denoising

2019English

Bringing Satellite-Based Air Quality Estimates Down to Earth

2019English

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Resynthesizing Behavior Through Phylogenetic Refinement

Attention, Perception & Psychophysics
LinguisticsSensory SystemsLanguageExperimentalCognitive Psychology
2019English

Psychiatric Patient Sues for Cost of Bringing Up Child

BMJ
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy