From 9bae273e10f9567191277642f2fdb0853fadd1eb Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 19 Apr 2016 11:24:22 +0200
Subject: [PATCH] doc: add DOIs to some more bibtex entries

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 doc/isl.bib | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/doc/isl.bib b/doc/isl.bib
index ca4ffb1b..c3b79c2a 100644
--- a/doc/isl.bib
+++ b/doc/isl.bib
@@ -19,6 +19,7 @@
   volume    = {1033},
   year      = {1996},
   isbn      = {3-540-60765-X},
+	doi = "10.1007/BFb0014196",
 }
 
 @inproceedings{Beletska2009,
@@ -49,7 +50,8 @@
     publisher = {SIAM},
     title = {Depth-First Search and Linear Graph Algorithms},
     volume = {1},
-    year = {1972}
+    year = {1972},
+    doi = "10.1137/0201010",
 }
 
 @TechReport{ Omega_calc,
@@ -113,6 +115,7 @@
   pages =        {23--53},
   OPTnote =      {},
   OPTannote =    {},
+	doi = "10.1007/BF01407931",
 }
 
 @INPROCEEDINGS{BouletRe98,
@@ -140,6 +143,7 @@
   the data movements its program generates and thus find a good data
   distribution. Our method is based on parametric polyhedral
   computations. It can be applied to a large class of regular codes.},
+    doi = "10.1007/BFb0057861",
 }
 
 @INPROCEEDINGS {Verdoolaege2005experiences,
@@ -188,6 +192,7 @@
     title = {{Short rational generating functions for lattice point
         problems}},
     author = {Alexander Barvinok and Kevin Woods},
+    doi = "10.1090/S0894-0347-03-00428-4",
 }
 
 @misc{barvinok-0.22,
@@ -206,6 +211,7 @@
     series = "Lecture Notes in Computer Science",
     Volume = 3064,
     Pages = "244-255",
+    doi = "10.1007/978-3-540-25960-2_19",
 }
 
 @TechReport{Feautrier02,
@@ -225,6 +231,7 @@
     year = "1992",
     month = dec,
     url = "citeseer.nj.nec.com/article/feautrier92some.html",
+	doi = "10.1007/BF01379404",
 }
 
 @misc{Bygde2010licentiate,
@@ -288,6 +295,7 @@ pages={133-151},
 year={1976},
 publisher={Springer-Verlag},
 ignore={ },
+	doi = "10.1007/BF00268497",
 }
 
 @PhdThesis{Verhaegh1995PhD,
@@ -302,7 +310,8 @@ ignore={ },
   TITLE = {Memory Optimization by Counting Points in Integer Transformations of Parametric Polytopes},
   BOOKTITLE = {{P}roceedings of the {I}nternational {C}onference on {C}ompilers, {A}rchitectures, and {S}ynthesis for {E}mbedded Systems, CASES 2006, {S}eoul, {K}orea},
   month = oct,
-  YEAR = {2006}
+  YEAR = {2006},
+  doi = {10.1145/1176760.1176771},
 }
 
 @misc{DeSmet2010personal,
-- 
2.11.4.GIT