متابعة
Moa Johansson
Moa Johansson
Associate Professor (Docent), Chalmers University
بريد إلكتروني تم التحقق منه على chalmers.se
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
Automated Deduction–CADE-24, 392-406, 2013
1272013
Conjecture synthesis for inductive theories
M Johansson, L Dixon, A Bundy
Journal of Automated Reasoning 47 (3), 251-289, 2011
1032011
Hipster: Integrating Theory Exploration in a Proof Assistant
M Johansson, D Rosén, N Smallbone, K Claessen
Conference on Intelligent Computer Mathematics (CICM), 2014
622014
TIP: Tons of Inductive Problems
K Claessen, M Johansson, D Rosén, N Smallbone
Conference on Intelligent Computer Mathematics, 2015
562015
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
542013
Case-Analysis for Rippling and Inductive Proof
M Johansson, L Dixon, A Bundy
Interactive Theorem Proving, 291-306, 2010
372010
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, e18, 2017
362017
HipSpec: Automating Inductive Proofs of Program Properties.
K Claessen, M Johansson, D Rosén, N Smallbone
ATx/WInG@ IJCAR, 16-25, 2012
312012
On interpolation in automated theorem proving
MP Bonacina, M Johansson
Journal of Automated Reasoning 54 (1), 69-97, 2015
302015
Interpolation systems for ground proofs in automated deduction: a survey
MP Bonacina, M Johansson
Journal of Automated Reasoning 54 (4), 353-390, 2015
212015
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
192018
Lemma discovery for induction - A Survey
M Johansson
International Conference on Intelligent Computer Mathematics, 125-139, 2019
182019
Automated theory exploration for interactive theorem proving: An introduction to the Hipster system
M Johansson
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
182017
Dynamic rippling, middle-out reasoning and lemma discovery
M Johansson, L Dixon, A Bundy
Verification, Induction, Termination Analysis - Festschrift for Christoph …, 2010
18*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
15*2015
Automated discovery of inductive lemmas
M Johansson
PhD. thesis, University of Edinburgh, 2009
132009
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
82020
Into the infinite-theory exploration for coinduction
SH Einarsdóttir, M Johansson, J Åman Pohjola
Artificial Intelligence and Symbolic Computation: 13th International …, 2018
72018
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20