update kosaian publications

Author: kcordwel

_bibliography/papers.bib

@@ -2,6 +2,47 @@ @Comment{
 ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
 }
 
+@inproceedings{DBLP:conf/mkm/KosaianWSR25,
+  author       = {Katherine Kosaian and
+                  Zili Wang and
+                  Elizabeth Sloan and
+                  Kristin Yvonne Rozier},
+  editor       = {Valeria de Paiva and
+                  Peter Koepke},
+  title        = {Formalizing {MLTL} Formula Progression in Isabelle/HOL},
+  booktitle    = {CICM},
+  series       = {LNCS},
+  volume       = {16136},
+  pages        = {371--391},
+  publisher    = {Springer},
+  year         = {2025},
+  url          = {https://doi.org/10.1007/978-3-032-07021-0\_21},
+  doi          = {10.1007/978-3-032-07021-0\_21},
+  timestamp    = {Thu, 30 Oct 2025 11:29:44 +0100},
+  biburl       = {https://dblp.org/rec/conf/mkm/KosaianWSR25.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}
+
+@inproceedings{DBLP:conf/itp/BinderRK25,
+  author       = {Sage Binder and
+                  Eric Ren and
+                  Katherine Kosaian},
+  editor       = {Yannick Forster and
+                  Chantal Keller},
+  title        = {Formalizing the Hidden Number Problem in Isabelle/HOL},
+  booktitle    = {ITP},
+  series       = {LIPIcs},
+  volume       = {352},
+  pages        = {23:1--23:19},
+  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
+  year         = {2025},
+  url          = {https://doi.org/10.4230/LIPIcs.ITP.2025.23},
+  doi          = {10.4230/LIPICS.ITP.2025.23},
+  timestamp    = {Wed, 24 Sep 2025 17:45:28 +0200},
+  biburl       = {https://dblp.org/rec/conf/itp/BinderRK25.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}
+
 @inproceedings{DBLP:conf/nfm/RosentraterWKR25,
   author       = {Alec Rosentrater and
                   Zili Wang and
@@ -11,9 +52,8 @@ @inproceedings{DBLP:conf/nfm/RosentraterWKR25
                   Laura R. Humphrey and
                   Laura Titolo},
   title        = {Language Partitioning for Mission-Time Linear Temporal Logic},
-  booktitle    = {{NASA} Formal Methods - 17th International Symposium, {NFM} 2025,
-                  Williamsburg, VA, USA, June 11-13, 2025, Proceedings},
-  series       = {Lecture Notes in Computer Science},
+  booktitle    = {NFM},
+  series       = {LNCS},
   volume       = {15682},
   pages        = {313--332},
   publisher    = {Springer},
@@ -33,12 +73,8 @@ @inproceedings{DBLP:conf/tacas/WangKR25
                   Marijn Heule},
   title        = {Formally Verifying a Transformation from {MLTL} Formulas to Regular
                   Expressions},
-  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
-                  - 31st International Conference, {TACAS} 2025, Held as Part of the
-                  International Joint Conferences on Theory and Practice of Software,
-                  {ETAPS} 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part
-                  {I}},
-  series       = {Lecture Notes in Computer Science},
+  booktitle    = {TACAS},
+  series       = {LNCS},
   volume       = {15696},
   pages        = {254--275},
   publisher    = {Springer},
@@ -51,18 +87,23 @@ @inproceedings{DBLP:conf/tacas/WangKR25
 }
 
 
-@InProceedings{BinderCICM24,
-author="Binder, Sage
-and Kosaian, Katherine",
-editor="Kohlhase, Andrea
-and Kov{\'a}cs, Laura",
-title="Formalizing {P}ick's Theorem in {I}sabelle/{HOL}",
-booktitle="Intelligent Computer Mathematics",
-year="2024",
-publisher="Springer Nature Switzerland",
-address="Cham",
-pages="109--126",
-isbn="978-3-031-66997-2"
+@inproceedings{DBLP:conf/mkm/BinderK24,
+  author       = {Sage Binder and
+                  Katherine Kosaian},
+  editor       = {Andrea Kohlhase and
+                  Laura Kov{\'{a}}cs},
+  title        = {Formalizing Pick's Theorem in Isabelle/HOL},
+  booktitle    = {CICM},
+  series       = {LNCS},
+  volume       = {14960},
+  pages        = {109--126},
+  publisher    = {Springer},
+  year         = {2024},
+  url          = {https://doi.org/10.1007/978-3-031-66997-2\_7},
+  doi          = {10.1007/978-3-031-66997-2\_7},
+  timestamp    = {Fri, 20 Sep 2024 14:01:19 +0200},
+  biburl       = {https://dblp.org/rec/conf/mkm/BinderK24.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
 }
 
 @article{TangHLM24,