Moa Johansson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Conjectures, tests and proofs: an overview of theory exploration	2024-11-29	Paper
Into the Infinite - Theory Exploration for Coinduction Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
Proving type class laws for Haskell (available as arXiv preprint)	2022-07-01	Paper
Conjectures, Tests and Proofs: An Overview of Theory Exploration	2021-09-06	Paper
Lemma discovery for induction. A survey	2020-01-22	Paper
Automated theory exploration for interactive theorem proving: an introduction to the Hipster system	2018-01-04	Paper
Quick specifications for the busy programmer Journal of Functional Programming	2017-10-23	Paper
Interpolation systems for ground proofs in automated deduction: a survey Journal of Automated Reasoning	2016-05-26	Paper
TIP: tons of inductive problems Lecture Notes in Computer Science	2015-11-20	Paper
On interpolation in automated theorem proving Journal of Automated Reasoning	2015-07-02	Paper
Hipster: integrating theory exploration in a proof assistant Lecture Notes in Computer Science	2014-08-07	Paper
Proof-pattern recognition and lemma discovery in ACL2 Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Automating Inductive Proofs Using Theory Exploration Automated Deduction – CADE-24	2013-06-14	Paper
Conjecture synthesis for inductive theories Journal of Automated Reasoning	2012-07-31	Paper
On interpolation in decision procedures Lecture Notes in Computer Science	2011-07-01	Paper
Dynamic rippling, middle-out reasoning and lemma discovery Verification, Induction, Termination Analysis	2010-11-22	Paper
Case-analysis for rippling and inductive proof Interactive Theorem Proving	2010-09-14	Paper

Research outcomes over time

This page was built for person: Moa Johansson