Theo dõi
Moa Johansson
Moa Johansson
Associate Professor (Docent), Chalmers University
Email được xác minh tại chalmers.se
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
Automated Deduction–CADE-24, 392-406, 2013
1372013
Conjecture synthesis for inductive theories
M Johansson, L Dixon, A Bundy
Journal of Automated Reasoning 47 (3), 251-289, 2011
1062011
Hipster: Integrating Theory Exploration in a Proof Assistant
M Johansson, D Rosén, N Smallbone, K Claessen
Conference on Intelligent Computer Mathematics (CICM), 2014
652014
TIP: Tons of Inductive Problems
K Claessen, M Johansson, D Rosén, N Smallbone
Conference on Intelligent Computer Mathematics, 2015
632015
Proof-pattern recognition and lemma discovery in ACL2
J Heras, E Komendantskaya, M Johansson, E Maclean
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
552013
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, e18, 2017
422017
Case-Analysis for Rippling and Inductive Proof
M Johansson, L Dixon, A Bundy
Interactive Theorem Proving, 291-306, 2010
402010
HipSpec: Automating Inductive Proofs of Program Properties.
K Claessen, M Johansson, D Rosén, N Smallbone
ATx/WInG@ IJCAR, 16-25, 2012
362012
On interpolation in automated theorem proving
MP Bonacina, M Johansson
Journal of Automated Reasoning 54 (1), 69-97, 2015
292015
Lemma discovery for induction - A Survey
M Johansson
International Conference on Intelligent Computer Mathematics, 125-139, 2019
222019
Towards machine learning on data from professional cyclists
A Hilmkil, O Ivarsson, M Johansson, D Kuylenstierna, T van Erp
arXiv preprint arXiv:1808.00198, 2018
222018
Automated theory exploration for interactive theorem proving: An introduction to the Hipster system
M Johansson
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
212017
Interpolation systems for ground proofs in automated deduction: a survey
MP Bonacina, M Johansson
Journal of Automated Reasoning 54 (4), 353-390, 2015
212015
Dynamic rippling, middle-out reasoning and lemma discovery
M Johansson, L Dixon, A Bundy
Verification, Induction, Termination Analysis - Festschrift for Christoph …, 2010
19*2010
On interpolation in decision procedures
M Bonacina, M Johansson
Automated Reasoning with Analytic Tableaux and Related Methods, 1-16, 2011
172011
Conditional Lemma Discovery and Recursion Induction in Hipster
I Lobo Valbuena, M Johansson
15th International Workshop on Automated Verification of Critical Systems …, 2015
16*2015
Automated discovery of inductive lemmas
M Johansson
PhD. thesis, University of Edinburgh, 2009
142009
TriCo—triple co-piloting of implementation, specification and tests
W Ahrendt, D Gurov, M Johansson, P Rümmer
International Symposium on Leveraging Applications of Formal Methods, 174-187, 2022
132022
IsaPlanner 2: A proof planner in Isabelle
L Dixon, M Johansson
DReaM Technical Report (System description), 2007
132007
Template-based theory exploration: Discovering properties of functional programs by testing
SH Einarsdóttir, N Smallbone, M Johansson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
112020
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20