BibTeX records: Sólrún Halla Einarsdóttir

download as .bib file

@article{DBLP:journals/corr/abs-2504-04942,
  author       = {Yousef Alhessi and
                  S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  George Granberry and
                  Emily First and
                  Moa Johansson and
                  Sorin Lerner and
                  Nicholas Smallbone},
  title        = {Lemmanaid: Neuro-Symbolic Lemma Conjecturing},
  journal      = {CoRR},
  volume       = {abs/2504.04942},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2504.04942},
  doi          = {10.48550/ARXIV.2504.04942},
  eprinttype    = {arXiv},
  eprint       = {2504.04942},
  timestamp    = {Wed, 29 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2504-04942.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcar/EinarsdottirHJSS24,
  author       = {S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  M{\'{a}}rton Hajd{\'{u}} and
                  Moa Johansson and
                  Nicholas Smallbone and
                  Martin Suda},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Marijn J. H. Heule and
                  Renate A. Schmidt},
  title        = {Lemma Discovery and Strategies for Automated Induction},
  booktitle    = {Automated Reasoning - 12th International Joint Conference, {IJCAR}
                  2024, Nancy, France, July 3-6, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14739},
  pages        = {214--232},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-63498-7\_13},
  doi          = {10.1007/978-3-031-63498-7\_13},
  timestamp    = {Wed, 29 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcar/EinarsdottirHJSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aitest/ParthasarathyBH20,
  author       = {Dhasarathy Parthasarathy and
                  Karl B{\"{a}}ckstr{\"{o}}m and
                  Jens Henriksson and
                  S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir},
  title        = {Controlled time series generation for automotive software-in-the-loop
                  testing using GANs},
  booktitle    = {{IEEE} International Conference On Artificial Intelligence Testing,
                  AITest 2020, Oxford, UK, August 3-6, 2020},
  pages        = {39--46},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/AITEST49225.2020.00013},
  doi          = {10.1109/AITEST49225.2020.00013},
  timestamp    = {Tue, 16 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aitest/ParthasarathyBH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/EinarsdottirSJ20,
  author       = {S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  Nicholas Smallbone and
                  Moa Johansson},
  editor       = {Olaf Chitil},
  title        = {Template-based Theory Exploration: Discovering Properties of Functional
                  Programs by Testing},
  booktitle    = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional
                  Languages, Virtual Event / Canterbury, UK, September 2-4, 2020},
  pages        = {67--78},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3462172.3462192},
  doi          = {10.1145/3462172.3462192},
  timestamp    = {Wed, 29 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/EinarsdottirSJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2002-06611,
  author       = {Dhasarathy Parthasarathy and
                  Karl B{\"{a}}ckstr{\"{o}}m and
                  Jens Henriksson and
                  S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir},
  title        = {Controlled time series generation for automotive software-in-the-loop
                  testing using GANs},
  journal      = {CoRR},
  volume       = {abs/2002.06611},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.06611},
  eprinttype    = {arXiv},
  eprint       = {2002.06611},
  timestamp    = {Tue, 16 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-06611.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/EinarsdottirJP18,
  author       = {S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  Moa Johansson and
                  Johannes {\AA}man Pohjola},
  editor       = {Jacques D. Fleuriot and
                  Dongming Wang and
                  Jacques Calmet},
  title        = {Into the Infinite - Theory Exploration for Coinduction},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 13th International
                  Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11110},
  pages        = {70--86},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99957-9\_5},
  doi          = {10.1007/978-3-319-99957-9\_5},
  timestamp    = {Wed, 29 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/EinarsdottirJP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/AlgehedJEG18,
  author       = {Maximilian Algehed and
                  Patrik Jansson and
                  S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  Alex Gerdes},
  editor       = {Michal H. Palka and
                  Magnus O. Myreen},
  title        = {Saint: An API-Generic Type-Safe Interpreter},
  booktitle    = {Trends in Functional Programming - 19th International Symposium, {TFP}
                  2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11457},
  pages        = {94--113},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-18506-0\_5},
  doi          = {10.1007/978-3-030-18506-0\_5},
  timestamp    = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/AlgehedJEG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1908-01572,
  author       = {Patrik Jansson and
                  S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  Cezar Ionescu},
  editor       = {Peter Achten and
                  Heather Miller},
  title        = {Examples and Results from a BSc-level Course on Domain Specific Languages
                  of Mathematics},
  booktitle    = {Proceedings Seventh International Workshop on Trends in Functional
                  Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
                  Sweden, 14th June 2018},
  series       = {{EPTCS}},
  volume       = {295},
  pages        = {79--90},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.295.6},
  doi          = {10.4204/EPTCS.295.6},
  timestamp    = {Tue, 08 Oct 2019 13:24:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-01572.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.