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