Sólrún Halla Einarsdóttir

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Domain Specific

Functional Programs

Online Auctions

Stochastic Grammar

Top Venues

Publications

Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
Lemma Discovery and Strategies for Automated Induction. IJCAR (1) (2024)
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. IFL (2020)
Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
Saint: An API-Generic Type-Safe Interpreter. TFP (2018)
Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola
Into the Infinite - Theory Exploration for Coinduction. AISC (2018)
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. TFPIE@TFP (2018)