Moa Johansson
Forskarassistent at
Chalmers, Computer Science and Engineering (Chalmers), [Formella metoder]
Projects
2015–2018
Learning and Exploration in Automated Theorem Proving
Moa Johansson
Software Technology (Chalmers)
Swedish Research Council (VR)
There might be more projects where Moa Johansson participates, but you have to be logged in as a Chalmers employee to see them.
Publications
2016
Quick Specifications for the Busy Programmer
Nicholas Smallbone, Moa Johansson, Koen Claessen et al
Preprint
2016
Proving Type Class Laws for Haskell
Andreas Arvidsson, Moa Johansson, Robin Touche et al
Preprint
2015
Conditional Lemma Discovery and Recursion Induction in Hipster.
Moa Johansson, Irene Lobo Valbuena,
Proceedings of the International Workshop on Automated Verification of Critical Systems (AVoCS). Electronic Communications of the EASST.. Vol. 72
Conference paper - peer reviewed
2015
TIP: Tons of Inductive Problems
Koen Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM). Vol. 9150, p. 332-336
Conference paper - peer reviewed
2015
The Theory behind TheoryMine
A. Bundy, F. Cavallo, L. Dixon et al
IEEE Intelligent Systems. Vol. 30 (4), p. 64-69
Scientific journal article - peer reviewed
2015
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey
M.P. Bonacina, Moa Johansson,
Journal of Automated Reasoning. Vol. 54 (4), p. 353-390
Scientific journal article - peer reviewed
2015
On Interpolation in Automated Theorem Proving
M. P. Bonacina, Moa Johansson,
Journal of automated reasoning. Vol. 54 (1), p. 69-97
Scientific journal article - peer reviewed
2014
Hipster: Integrating theory exploration in a proof assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone et al
Lecture Notes in Computer Science. Vol. 8543 , p. 108-122
Conference paper - peer reviewed
2013
Proof-pattern recognition and lemma discovery in ACL2
J. Heras, E. Komendantskaya, Moa Johansson et al
Lecture Notes in Computer Science. Vol. 8312 , p. 389-406
Conference paper - peer reviewed
2013
Automating Inductive Proofs using Theory Exploration
Koen Claessen, Dan Rosén, Moa Johansson et al
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Vol. 7898, p. 392-406
Conference paper - peer reviewed