BibTeX records: Anne Baanen

download as .bib file

@inproceedings{DBLP:conf/itp/ObendraufBKS24,
  author       = {Kai Obendrauf and
                  Anne Baanen and
                  Patrick Koopmann and
                  Vera Stebletsova},
  editor       = {Yves Bertot and
                  Temur Kutsia and
                  Michael Norrish},
  title        = {Lean Formalization of Completeness Proof for Coalition Logic with
                  Common Knowledge},
  booktitle    = {15th International Conference on Interactive Theorem Proving, {ITP}
                  2024, September 9-14, 2024, Tbilisi, Georgia},
  series       = {LIPIcs},
  volume       = {309},
  pages        = {28:1--28:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2024.28},
  doi          = {10.4230/LIPICS.ITP.2024.28},
  timestamp    = {Mon, 02 Sep 2024 16:55:27 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/ObendraufBKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/BaanenBCD23,
  author       = {Anne Baanen and
                  Alex J. Best and
                  Nirvana Coppola and
                  Sander R. Dahmen},
  editor       = {Robbert Krebbers and
                  Dmitriy Traytel and
                  Brigitte Pientka and
                  Steve Zdancewic},
  title        = {Formalized Class Group Computations and Integral Points on Mordell
                  Elliptic Curves},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
                  16-17, 2023},
  pages        = {47--62},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3573105.3575682},
  doi          = {10.1145/3573105.3575682},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/BaanenBCD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BaanenDNC22,
  author       = {Anne Baanen and
                  Sander R. Dahmen and
                  Ashvni Narayanan and
                  Filippo A. E. Nuccio Mortarino Majno di Capriglio},
  title        = {A Formalization of Dedekind Domains and Class Groups of Global Fields},
  journal      = {J. Autom. Reason.},
  volume       = {66},
  number       = {4},
  pages        = {611--637},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10817-022-09644-0},
  doi          = {10.1007/S10817-022-09644-0},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/BaanenDNC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/Baanen22,
  author       = {Anne Baanen},
  editor       = {June Andronick and
                  Leonardo de Moura},
  title        = {Use and Abuse of Instance Parameters in the Lean Mathematical Library},
  booktitle    = {13th International Conference on Interactive Theorem Proving, {ITP}
                  2022, August 7-10, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {237},
  pages        = {4:1--4:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2022.4},
  doi          = {10.4230/LIPICS.ITP.2022.4},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/Baanen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2202-01629,
  author       = {Anne Baanen},
  title        = {Use and abuse of instance parameters in the Lean mathematical library},
  journal      = {CoRR},
  volume       = {abs/2202.01629},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.01629},
  eprinttype    = {arXiv},
  eprint       = {2202.01629},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-01629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2209-15492,
  author       = {Anne Baanen and
                  Alex J. Best and
                  Nirvana Coppola and
                  Sander R. Dahmen},
  title        = {Formalized Class Group Computations and Integral Points on Mordell
                  Elliptic Curves},
  journal      = {CoRR},
  volume       = {abs/2209.15492},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.15492},
  doi          = {10.48550/ARXIV.2209.15492},
  eprinttype    = {arXiv},
  eprint       = {2209.15492},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-15492.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/BaanenDNC21,
  author       = {Anne Baanen and
                  Sander R. Dahmen and
                  Ashvni Narayanan and
                  Filippo A. E. Nuccio Mortarino Majno di Capriglio},
  editor       = {Liron Cohen and
                  Cezary Kaliszyk},
  title        = {A Formalization of Dedekind Domains and Class Groups of Global Fields},
  booktitle    = {12th International Conference on Interactive Theorem Proving, {ITP}
                  2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {193},
  pages        = {5:1--5:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2021.5},
  doi          = {10.4230/LIPICS.ITP.2021.5},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BaanenDNC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2102-02600,
  author       = {Anne Baanen and
                  Sander R. Dahmen and
                  Ashvni Narayanan and
                  Filippo A. E. Nuccio},
  title        = {A formalization of Dedekind domains and class groups of global fields},
  journal      = {CoRR},
  volume       = {abs/2102.02600},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.02600},
  eprinttype    = {arXiv},
  eprint       = {2102.02600},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-02600.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Baanen20,
  author       = {Anne Baanen},
  editor       = {Nicolas Peltier and
                  Viorica Sofronie{-}Stokkermans},
  title        = {A Lean Tactic for Normalising Ring Expressions with Exponents (Short
                  Paper)},
  booktitle    = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
                  2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12167},
  pages        = {21--27},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51054-1\_2},
  doi          = {10.1007/978-3-030-51054-1\_2},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Baanen20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-00197,
  author       = {Anne Baanen and
                  Wouter Swierstra},
  editor       = {Max S. New and
                  Sam Lindley},
  title        = {Combining predicate transformer semantics for effects: a case study
                  in parsing regular languages},
  booktitle    = {Proceedings Eighth Workshop on Mathematically Structured Functional
                  Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020},
  series       = {{EPTCS}},
  volume       = {317},
  pages        = {39--56},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.317.3},
  doi          = {10.4204/EPTCS.317.3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00197.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.