Moa Johansson
Showing 28 publications
TriCo—Triple Co-piloting of Implementation, Specification and Tests
Machine Learning of Pacing Patterns for Half Marathon
Machine Learning Techniques for Gait Analysis in Skiing
Conjectures, tests and proofs: An overview of theory exploration
Automated Conjecturing in QuickSpec
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
Theory exploration: Conjecturing, testing and reasoning about programs
Identifying cross country skiing techniques using power meters in ski poles.
Lemma Discovery for Induction: A Survey
Proving Type Class Laws for Haskell
Into the infinite - theory exploration for coinduction
Towards Machine Learning on Data from Professional Cyclists
Quick Specifications for the Busy Programmer
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Automated theory exploration for interactive theorem proving: An introduction to the hipster system
QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
TIP: Tons of Inductive Problems
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey
On Interpolation in Automated Theorem Proving
Conditional Lemma Discovery and Recursion Induction in Hipster.
Hipster: Integrating theory exploration in a proof assistant
Automating Inductive Proofs using Theory Exploration
Proof-pattern recognition and lemma discovery in ACL2
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 3 research projects
NeSSy: Neuro-symbolic Synthesis via Reinforcement Learning
Bias and methods of AI technology studying political behaviour
Learning and Exploration in Automated Theorem Proving