doc/isl.bib

   1 @inproceedings{Kelly1996closure,
   2   author    = {Wayne Kelly and
   3                William Pugh and
   4                Evan Rosser and
   5                Tatiana Shpeisman},
   6   title     = {Transitive Closure of Infinite Graphs and Its Applications},
   7   pages     = {126-140},
   8   editor    = {Chua-Huang Huang and
   9                P. Sadayappan and
  10                Utpal Banerjee and
  11                David Gelernter and
  12                Alexandru Nicolau and
  13                David A. Padua},
  14   booktitle = {Languages and Compilers for Parallel Computing, 8th International
  15                Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995,
  16                Proceedings},
  17   publisher = {Springer},
  18   series    = {Lecture Notes in Computer Science},
  19   volume    = {1033},
  20   year      = {1996},
  21   isbn      = {3-540-60765-X},
  22 }
  23
  24 @inproceedings{Beletska2009,
  25   author = {Beletska, Anna and Barthou, Denis and Bielecki, Wlodzimierz and Cohen, Albert},
  26   title = {Computing the Transitive Closure of a Union of Affine Integer Tuple Relations},
  27   booktitle = {COCOA '09: Proceedings of the 3rd International Conference on Combinatorial Optimization and Applications},
  28   year = {2009},
  29   isbn = {978-3-642-02025-4},
  30   pages = {98--109},
  31   location = {Huangshan, China},
  32   doi = {10.1007/978-3-642-02026-1_9},
  33   publisher = {Springer-Verlag},
  34   address = {Berlin, Heidelberg},
  35 }
  36
  37 @book{Schrijver1986,
  38     author  =   "Schrijver, Alexander",
  39     title   =   "Theory of Linear and Integer Programming",
  40     publisher   =   "John Wiley \& Sons",
  41     year    =   1986
  42 }
  43
  44 @article{Tarjan1972,
  45     author = {Tarjan, Robert},
  46     journal = {SIAM Journal on Computing},
  47     number = {2},
  48     pages = {146--160},
  49     publisher = {SIAM},
  50     title = {Depth-First Search and Linear Graph Algorithms},
  51     volume = {1},
  52     year = {1972}
  53 }
  54
  55 @TechReport{ Omega_calc,
  56     author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott",
  57     title = "The {Omega} Calculator and Library",
  58     month = nov,
  59     institution = "University of Maryland",
  60     year = 1996
  61 }
  62
  63 @TechReport{ Omega_lib,
  64     author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott",
  65     title = "The {Omega} Library",
  66     month = nov,
  67     institution = "University of Maryland",
  68     year = 1996
  69 }
  70
  71 @unpublished{Verdoolaege2009isl,
  72   author = "Verdoolaege, Sven",
  73   title = "An integer set library for program analysis",
  74   note = "Advances in the Theory of Integer Linear Optimization and its Extensions,AMS 2009 Spring Western Section Meeting, San Francisco, California, 25-26 April 2009",
  75   month = Apr,
  76   year = "2009",
  77   url = "https://lirias.kuleuven.be/handle/123456789/228373",
  78 }
  79
  80 @article{Barthou2000MSE,
  81   author = {Barthou, Denis and Cohen, Albert and Collard, Jean-Fran\c{c}ois},
  82   title = {Maximal Static Expansion},
  83   journal = {Int. J. Parallel Program.},
  84   volume = {28},
  85   number = {3},
  86   year = {2000},
  87   issn = {0885-7458},
  88   pages = {213--243},
  89   doi = {10.1023/A:1007500431910},
  90   publisher = {Kluwer Academic Publishers},
  91   address = {Norwell, MA, USA},
  92 }
  93