Moa Johansson

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	840	474
h-index	16	12
i10-index	20	16

120

20092010201120122013201420152016201720182019202020212022202320244 7 13 34 26 33 74 42 71 57 72 61 70 82 77 111

Nyilvános hozzáférés

Összes megtekintése

12 cikk

0 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Nicholas SmallboneChalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Lucas DixonPAIR, Google DeepMindE-mail megerősítve itt: google.com
Alan BundyProfessor of Automated Reasoning, University of EdinburghE-mail megerősítve itt: ed.ac.uk
Koen ClaessenChalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Dan RosénUppsala University, dept. of Pharmaceutical BiosciencesE-mail megerősítve itt: farmbio.uu.se
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaE-mail megerősítve itt: univr.it
Sólrún Halla EinarsdóttirPhD student, Chalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKE-mail megerősítve itt: hw.ac.uk
Jónathan HerasUniversity of La RiojaE-mail megerősítve itt: unirioja.es
Richard JohanssonUniversity of Gothenburg and Chalmers University of TechnologyE-mail megerősítve itt: gu.se
Maximilian AlgehedQuviq ABE-mail megerősítve itt: quviq.com
Dan KuylenstiernaAssociate professor, ChalmersE-mail megerősítve itt: chalmers.se
Denitsa SaynovaPhD student, Chalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Agrin HilmkilMicrosoft ResearchE-mail megerősítve itt: microsoft.com
Teun van ErpPost Doc Stellenbosch UniversityE-mail megerősítve itt: sun.ac.za
Bastiaan BruinsmaPost Doc, Chalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Irene Lobo ValbuenaChalmers University of TechnologyE-mail megerősítve itt: chalmers.se
Dilian GurovProfessor in Computer Science, KTH Royal Institute of TechnologyE-mail megerősítve itt: kth.se
Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mail megerősítve itt: ur.de

Követés

Moa Johansson

Associate Professor (Docent), Chalmers University

E-mail megerősítve itt: chalmers.se

Neuro-symbolic AI Automated Reasoning Theory Exploration AI in Sports NLP


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	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	136	2013
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of Automated Reasoning 47 (3), 251-289, 2011	105	2011
Hipster: Integrating Theory Exploration in a Proof Assistant M Johansson, D Rosén, N Smallbone, K Claessen Conference on Intelligent Computer Mathematics (CICM), 2014	65	2014
TIP: Tons of Inductive Problems K Claessen, M Johansson, D Rosén, N Smallbone Conference on Intelligent Computer Mathematics, 2015	62	2015
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	54	2013
Quick specifications for the busy programmer N Smallbone, M Johansson, K Claessen, M Algehed Journal of Functional Programming 27, e18, 2017	43	2017
Case-Analysis for Rippling and Inductive Proof M Johansson, L Dixon, A Bundy Interactive Theorem Proving, 291-306, 2010	38	2010
HipSpec: Automating Inductive Proofs of Program Properties. K Claessen, M Johansson, D Rosén, N Smallbone ATx/WInG@ IJCAR, 16-25, 2012	35	2012
On interpolation in automated theorem proving MP Bonacina, M Johansson Journal of Automated Reasoning 54 (1), 69-97, 2015	29	2015
Lemma discovery for induction - A Survey M Johansson International Conference on Intelligent Computer Mathematics, 125-139, 2019	21	2019
Interpolation systems for ground proofs in automated deduction: a survey MP Bonacina, M Johansson Journal of Automated Reasoning 54 (4), 353-390, 2015	21	2015
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	20	2018
Automated theory exploration for interactive theorem proving: An introduction to the Hipster system M Johansson Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017	20	2017
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	17	2011
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	14	2009
IsaPlanner 2: A proof planner in Isabelle L Dixon, M Johansson DReaM Technical Report (System description), 2007	13	2007
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	12	2022
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	11	2020

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők