diff --git a/publications/publications.bib b/publications/publications.bib
index bcb188a89135845cd8e1aa775b4dae622c6e47d0..e7a7dca7f30e526f3a7b5dcad52c0a767b2a46f4 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -208,6 +208,7 @@ throughout the proof.}
   Author                   = {Philippa Gardner},
   Booktitle                = {Proceedings of the 2010 {EDBT/ICDT} Workshops, Lausanne, Switzerland, March 22-26, 2010},
   Year                     = {2010},
+  doi                      = {10.1145/1754239.1754261},
   
   Project                  = { web },
 
@@ -425,6 +426,8 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i
   Year                     = {2009},
   Number                   = {2},
   Volume                   = {5},
+  doi                      = {10.2168/LMCS-5(2:4)2009},
+  url                      = {https://arxiv.org/abs/0903.1032},
   
   Project                  = { concurrency },