Követés
Moa Johansson
Moa Johansson
Associate Professor (Docent), Chalmers University
E-mail megerősítve itt: chalmers.se
Cím
Hivatkozott rá
Hivatkozott rá
Év
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
Automated Deduction–CADE-24, 392-406, 2013
1282013
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
572015
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
382010
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
322012
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20