Moa Johansson

Docent vid Chalmers, Data- och informationsteknik, Formella metoder

Visar 14 publikationer

2018

Into the infinite - theory exploration for coinduction

Sólrún Einarsdóttir, Moa Johansson, Johannes Åman Pohjala
Lecture Notes in Computer Science. Vol. 11110 LNAI, p. 70-86
Paper i proceeding
2018

Towards Machine Learning on Data from Professional Cyclists

Agrin Hilmkil, Oscar Ivarsson, Moa Johansson et al
Paper i proceeding
2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Artikel i vetenskaplig tidskrift
2017

QuickSpec: A Lightweight Theory Exploration Tool for Programmers

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Paper i proceeding
2017

Automated theory exploration for interactive theorem proving: An introduction to the hipster system

Moa Johansson
Lecture Notes in Computer Science. Vol. 10499 LNCS, p. 1-11
Paper i proceeding
2016

Proving Type Class Laws for Haskell

Andreas Arvidsson, Moa Johansson, Robin Touche
Preprint
2015

TIP: Tons of Inductive Problems

Koen Lindström Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Computer Science. Vol. 9150, p. 332-336
Paper i proceeding
2015

The Theory behind TheoryMine

A. Bundy, F. Cavallo, L. Dixon et al
IEEE Intelligent Systems. Vol. 30 (4), p. 64-69
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
2015

On Interpolation in Automated Theorem Proving

M.P. Bonacina, Moa Johansson
Journal of Automated Reasoning. Vol. 54 (1), p. 69-97
Artikel i vetenskaplig tidskrift
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
Paper i proceeding
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
Paper i proceeding
2013

Automating Inductive Proofs using Theory Exploration

Koen Lindström Claessen, Dan Rosén, Moa Johansson et al
Lecture Notes in Computer Science. Vol. 7898, p. 392-406
Paper i proceeding
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
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2015–2018

Lärande och teoribildning inom automatisk teorembevisning

Moa Johansson Programvaruteknik
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Moa Johansson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.