Get started
Author

Moa Johansson

Observed names: Johansson, Moa, MOA JOHANSSON
ORCID: 0000-0002-1097-8278
Observed ORCIDs: 0000-0002-1097-8278, 0009-0007-4965-9243
OpenAlex ID: A5060248370
Automating Inductive Proofs Using Theory Exploration
2013 · Koen Claessen, Moa Johansson, et al. · Lecture notes in computer science · 88
Conjecture Synthesis for Inductive Theories
2010 · Moa Johansson, Lucas Dixon, et al. · Journal of Automated Reasoning · 81
PDF
Proof-Pattern Recognition and Lemma Discovery in ACL2
2013 · Jónathan Heras, Ekaterina Komendantskaya, et al. · Lecture notes in computer science · 37
PDF
Hipster: Integrating Theory Exploration in a Proof Assistant
2014 · Moa Johansson, Dan Rosén, et al. · Lecture notes in computer science · 35
TIP: Tons of Inductive Problems
2015 · Koen Claessen, Moa Johansson, et al. · Lecture notes in computer science · 33
Quick specifications for the busy programmer
2017 · NICHOLAS SMALLBONE, MOA JOHANSSON, et al. · Journal of Functional Programming · 28
PDF
Case-Analysis for Rippling and Inductive Proof
2010 · Moa Johansson, Lucas Dixon, et al. · Lecture notes in computer science · 26
Lemma Discovery for Induction
2019 · Moa Johansson · Lecture notes in computer science · 16
HipSpec : Automating Inductive Proofs of Program Properties
2018 · Koen Claessen, Moa Johansson, et al. · EPiC series in computing · 16
PDF
TriCo—Triple Co-piloting of Implementation, Specification and Tests
2022 · Wolfgang Ahrendt, Dilian Gurov, et al. · Lecture notes in computer science · 14
HipSpec: Automating Inductive Proofs of Program Properties.
2012 · Koen Claessen, Moa Johansson, et al. · 14
Best-First Rippling
2006 · Moa Johansson, Alan Bundy, et al. · Lecture notes in computer science · 13
PDF
Automated Theory Exploration for Interactive Theorem Proving:
2017 · Moa Johansson · Lecture notes in computer science · 10
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
2010 · Moa Johansson, Lucas Dixon, et al. · Lecture notes in computer science · 10
PDF
Conditional Lemma Discovery and Recursion Induction in Hipster
2015 · Lobo Valbuena, Irene, Johansson, Moa · Chalmers Research (Chalmers University of Technology) · 8
Automated discovery of inductive lemmas
2009 · Moa Johansson · ERA · 7
PDF
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
2024 · George Granberry, Wolfgang Ahrendt, et al. · Lecture notes in computer science · 6
PDF
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models
2023 · Lovisa Hagström, Denitsa Saynova, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 6
PDF
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
2020 · Sólrún Halla Einarsdóttir, Nicholas Smallbone, et al. · Implementation and Application of Functional Languages · 6
Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles
2019 · Moa Johansson, Marie Korneliusson, et al. · Communications in computer and information science · 6
PDF
Proving Type Class Laws for Haskell
2019 · Andreas Arvidsson, Moa Johansson, et al. · Lecture notes in computer science · 5
Into the Infinite - Theory Exploration for Coinduction
2018 · Sólrún Halla Einarsdóttir, Moa Johansson, et al. · Lecture notes in computer science · 5
Hipster: Integrating Theory Exploration in a Proof Assistant
2014 · Johansson, Moa, Rosen, Dan, et al. · arXiv (Cornell University) · 5
PDF
Lemma Discovery and Strategies for Automated Induction
2024 · Sólrún Halla Einarsdóttir, Márton Hajdu, et al. · Lecture notes in computer science · 3
PDF
What Can Large Language Models Do for Theorem Proving and Formal Methods?
2023 · Moa Johansson · Lecture notes in computer science · 3
Works count: 66
Citation count: 502
H-index: 12
I10-index: 14
Year
Topic
Type