From 7cf372af65ee1110e43a2c0be38df9f5f2ec97c6 Mon Sep 17 00:00:00 2001
From: Lukas Armborst <61826806+ArmborstL@users.noreply.github.com>
Date: Tue, 19 Dec 2023 15:50:48 +0100
Subject: [PATCH 1/3] add link to PDF for RBTree paper

---
 static/references.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/references.bib b/static/references.bib
index ea69c77..f798954 100644
--- a/static/references.bib
+++ b/static/references.bib
@@ -235,7 +235,7 @@ @InProceedings {Armborst2021
 pages = {111-123},
 keywords = {tree data structures;annotations;merging;tools;software;ip networks;arrays},
 doi = {10.1109/FormaliSE52586.2021.00017},
-url = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE52586.2021.00017},
+url = {https://research.utwente.nl/files/253558432/Permission_Based_Verification_of_Red_Black_Trees_and_Their_Merging.pdf},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA},
 month = {may}

From 55ca48db2eadd4fd08d5ff504397511e45959dc9 Mon Sep 17 00:00:00 2001
From: Lukas Armborst <61826806+ArmborstL@users.noreply.github.com>
Date: Tue, 19 Dec 2023 15:52:25 +0100
Subject: [PATCH 2/3] Add ref to iFM2023 paper

---
 static/references.bib | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/static/references.bib b/static/references.bib
index f798954..278d509 100644
--- a/static/references.bib
+++ b/static/references.bib
@@ -1,3 +1,22 @@
+@inproceedings{DBLP:conf/ifm/ArmborstLH23,
+  author       = {Lukas Armborst and
+                  Sophie Lathouwers and
+                  Marieke Huisman},
+  editor       = {Paula Herber and
+                  Anton Wijs},
+  title        = {Joining Forces! Reusing Contracts for Deductive Verifiers Through
+                  Automatic Translation},
+  booktitle    = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
+                  November 13-15, 2023, Proceedings},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {14300},
+  pages        = {153--171},
+  publisher    = {Springer},
+  year         = {2023},
+  url          = {https://doi.org/10.1007/978-3-031-47705-8\_9},
+  doi          = {10.1007/978-3-031-47705-8\_9}
+}
+
 @inproceedings{Bliudze2023,
 AUTHOR = {Bliudze, Simon and van den Bos, Petra and Huisman, Marieke and Rubbens, Robert and Safina, Larisa},
 TITLE = {{JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java}},

From 00f6cf8a0889cbfa9403fc7c5d7d7f4a08110c6a Mon Sep 17 00:00:00 2001
From: Lukas Armborst <61826806+ArmborstL@users.noreply.github.com>
Date: Tue, 19 Dec 2023 16:05:30 +0100
Subject: [PATCH 3/3] add Sophie thesis to publications

---
 static/references.bib | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/static/references.bib b/static/references.bib
index 278d509..e1561e3 100644
--- a/static/references.bib
+++ b/static/references.bib
@@ -1,4 +1,21 @@
-@inproceedings{DBLP:conf/ifm/ArmborstLH23,
+
+@phdthesis{Lathouwers23,
+  title = "Exploring annotations for deductive verification",
+  author = "Sophie Lathouwers",
+  year = "2023",
+  month = oct,
+  day = "17",
+  doi = "10.3990/1.9789036558464",
+  isbn = "978-90-365-5845-7",
+  series = "DSI Ph.D. Thesis Series",
+  publisher = "University of Twente",
+  number = "23-009",
+  address = "Netherlands",
+  school = "University of Twente",
+  url={https://research.utwente.nl/files/320453422/Dissertation-Lathouwers-with-cover-and-clickable-links.pdf}
+}
+
+@inproceedings{ArmborstH23,
   author       = {Lukas Armborst and
                   Sophie Lathouwers and
                   Marieke Huisman},