( en | de | ru )

 

Disambiguation of "Johansson, Moa"

Author of the publication

copydeleteadd this publication to your clipboard
Quick specifications for the busy programmer.

, , , and . J. Funct. Program., (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Batoul Moayer

Zargham Moazez-Lesku

Tarik Moataz

Fredrik Johansson

Roger Johansson

 

Other publications of authors with the same name

On Interpolation in Decision Procedures., and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 1-16. Springer, (2011)Identifying Cross Country Skiing Techniques Using Power Meters in Ski Poles., , and . NAIS, volume 1056 of Communications in Computer and Information Science, page 52-57. Springer, (2019)Class Explanations: the Role of Domain-Specific Content and Stop Words., , , and . NoDaLiDa, page 103-112. University of Tartu Library, (2023)The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models., , , , and . EMNLP, page 5457-5476. Association for Computational Linguistics, (2023)Into the Infinite - Theory Exploration for Coinduction., , and . AISC, volume 11110 of Lecture Notes in Computer Science, page 70-86. Springer, (2018)On Interpolation in Automated Theorem Proving., and . J. Autom. Reason., 54 (1): 69-97 (2015)Conditional Lemma Discovery and Recursion Induction in Hipster., and . ECEASST, (2015)Sudden Semantic Shifts in Swedish NATO discourse., , , and . ACL (student), page 184-193. Association for Computational Linguistics, (2023)TriCo - Triple Co-piloting of Implementation, Specification and Tests., , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 174-187. Springer, (2022)Towards Learning Abstractions via Reinforcement Learning., , , and . AIC, volume 3400 of CEUR Workshop Proceedings, page 120-126. CEUR-WS.org, (2022)