Scholar
Nicholas Smallbone
Google Scholar ID: 2OAsTQsAAAAJ
Chalmers University of Technology
Citations & Impact
Citations
442
H-index
13
i10-index
15
Publications
20
Co-authors
0
Publications
Resume
Academic Achievements
- Published 'Twee: An Equational Theorem Prover (System Description)' at CADE 2021
- Co-authored 'Conjectures, Tests and Proofs: An overview of theory exploration' (with Moa Johansson), accepted at VPT 2021
- Published 'Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing' at IFL 2020 (with Sólrún Halla Einarsdóttir and Moa Johansson)
- Authored or co-authored numerous papers in top venues including IEEE TCAD, IEEE CASE, IJCAR, LPAR, CICM, FASE, TACAS, and the Journal of Functional Programming
- Contributed to tools such as Hipster, HipSpec, and TIP for theory exploration and inductive proving
- Paper 'Hipster: integrating theory exploration in a proof assistant' received Best Paper Award at CICM 2014 (Calculemus track)
- Several publications are extended versions included in his PhD thesis