Sólrún Einarsdóttir
![Sólrún Einarsdóttir from chalmers.se Image of Sólrún Einarsdóttir](https://chalmers.se/_next/image/?url=https%3A%2F%2Fcms.www.chalmers.se%2FMedia%2Fyo1bgqnt%2Fslrn.jpg%3Fwidth%3D600%26height%3D600%26v%3D1d95dd2a136aa90%26quality%3D60%26format%3Dwebp&w=640&q=90)
Visar 7 publikationer
Lemma Discovery and Strategies for Automated Induction
Controlled time series generation for automotive software-in-the-loop testing using GANs
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
Examples and Results from a BSc-level course on domain specific languages of mathematics
Saint: an API-generic type-safe interpreter
Into the infinite - theory exploration for coinduction
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 1 forskningsprojekt