| 2026 | EACL | Recursive numeral systems are highly regular and easy to process. | Ponrawee Prasertsom, Andrea Silvi, Jennifer Culbertson, Devdatt P. Dubhashi, Moa Johansson, Kenny Smith |
| 2026 | IJCAR | Twitch: Learning Abstractions for Equational Theorem Proving. | Guy Axelrod, Moa Johansson, Nicholas Smallbone |
| 2025 | ACL | Fact Recall, Heuristics or Pure Guesswork? Precise Interpretations of Language Models for Fact Completion. | Denitsa Saynova, Lovisa Hagstrm, Moa Johansson, Richard Johansson, Marco Kuhlmann |
| 2025 | CogSci | Learning Efficient Recursive Numeral Systems via Reinforcement Learning. | Andrea Silvi, Jonathan D. Thomas, Emil Carlsson, Devdatt P. Dubhashi, Moa Johansson |
| 2025 | CogSci | PACE: Procedural Abstractions for Communicating Efficiently. | Jonathan D. Thomas, Andrea Silvi, Devdatt P. Dubhashi, Moa Johansson |
| 2025 | EMNLP | Benchmarking Debiasing Methods for LLM-based Parameter Estimates. | Nicolas Audinet de Pieuchon, Adel Daoud, Connor Thomas Jerzak, Moa Johansson, Richard Johansson |
| 2025 | HCI | A Knowledge Base for Arts and Inclusion - The Dataverse Data Archival Platform as a Knowledge Base Management System Enabling Multimodal Accessibility. | Moa Johansson, Vyacheslav Tykhonov, Sophia Alexandersson, Kim Ferguson, James Hanlon, Andrea Scharnhorst, Nigel Osborne |
| 2024 | IJCAR | Lemma Discovery and Strategies for Automated Induction. | Slrn Halla Einarsdttir, Mrton Hajd, Moa Johansson, Nicholas Smallbone, Martin Suda |
| 2024 | IFM | Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | ISoLA | Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | NeSy | Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts. | Daniel Enstrm, Viktor Kjellberg, Moa Johansson |
| 2023 | ACL | Sudden Semantic Shifts in Swedish NATO discourse. | Brian Bonafilia, Bastiaan Bruinsma, Denitsa Saynova, Moa Johansson |
| 2023 | EMNLP | The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models. | Lovisa Hagstrm, Denitsa Saynova, Tobias Norlund, Moa Johansson, Richard Johansson |
| 2023 | NeSy | Exploring Mathematical Conjecturing with Large Language Models. | Moa Johansson, Nicholas Smallbone |
| 2023 | VECoS | What Can Large Language Models Do for Theorem Proving and Formal Methods? | Moa Johansson |
| 2022 | ISoLA | TriCo - Triple Co-piloting of Implementation, Specification and Tests. | Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rmmer |
| 2018 | AISC | Into the Infinite - Theory Exploration for Coinduction. | Slrn Halla Einarsdttir, Moa Johansson, Johannes man Pohjola |
| 2017 | HASKELL | QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
| 2017 | ITP | Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System. | Moa Johansson |
| 2013 | CADE | Automating Inductive Proofs Using Theory Exploration. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2013 | LPAR | Proof-Pattern Recognition and Lemma Discovery in ACL2. | Jnathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean |
| 2012 | CADE | HipSpec: Automating Inductive Proofs of Program Properties. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2011 | TABLEAUX | On Interpolation in Decision Procedures. | Maria Paola Bonacina, Moa Johansson |
| 2010 | ITP | Case-Analysis for Rippling and Inductive Proof. | Moa Johansson, Lucas Dixon, Alan Bundy |