ijcai15.bib

@article{gondran1984,
  author = "Michel Gondran and Michel Minoux",
  title = "Linear Algebra in Dioids: A Survey of Recent Results",
  year = "1984",
  pages = "147--164",
  journal = "Annals of Discrete Mathematics",
  volume = "19"
}

@incollection{griffin2008,
  author={Griffin, Timothy G. and Gurney, Alexander J. T.},
  title={Increasing Bisemigroups and Algebraic Routing},
  year={2008},
  isbn={978-3-540-78912-3},
  booktitle={Relations and Kleene Algebra in Computer Science},
  volume={4988},
  series={Lecture Notes in Computer Science},
  editor={Berghammer, Rudolf and Möller, Bernhard and Struth, Georg},
  doi={10.1007/978-3-540-78913-0_11},
  url={http://dx.doi.org/10.1007/978-3-540-78913-0_11},
  publisher={Springer Berlin Heidelberg},
  pages={123-137},
  language={English}
}

@incollection{batz2010,
  author={Batz, Gernot Veit and Geisberger, Robert and Neubauer, Sabine and Sanders, Peter},
  title={Time-Dependent Contraction Hierarchies and Approximation},
  year={2010},
  booktitle={Experimental Algorithms},
  isbn={978-3-642-13192-9},
  volume={6049},
  series={Lecture Notes in Computer Science},
  editor={Festa, Paola},
  doi={10.1007/978-3-642-13193-6_15},
  url={http://dx.doi.org/10.1007/978-3-642-13193-6_15},
  publisher={Springer Berlin Heidelberg},
  pages={166-177},
  language={English}
}

@inproceedings{cousot1977,
  author = {Cousot, Patrick and Cousot, Radhia},
  title = {Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
  pages = {238--252},
  booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  address = {Los Angeles, California},
  publisher = {ACM Press, New York, NY},
  year = {1977},
}

@inproceedings{cousot1992,
  author = {Cousot, Patrick and Cousot, Radhia},
  title = {Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation},
  booktitle = {Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming},
  series = {PLILP '92},
  year = {1992},
  isbn = {3-540-55844-6},
  pages = {269--295},
  numpages = {27},
  url = {http://dl.acm.org/citation.cfm?id=646448.692441},
  acmid = {692441},
  publisher = {Springer-Verlag},
  address = {London, UK, UK},
} 

@article{sobrinho2005,
  author = {Sobrinho, Jo\~{a}o Lu\'{\i}s},
  title = {An Algebraic Theory of Dynamic Network Routing},
  journal = {IEEE/ACM Trans. Netw.},
  issue_date = {October 2005},
  volume = {13},
  number = {5},
  month = oct,
  year = {2005},
  issn = {1063-6692},
  pages = {1160--1173},
  numpages = {14},
  url = {http://dx.doi.org/10.1109/TNET.2005.857111},
  doi = {10.1109/TNET.2005.857111},
  acmid = {1103561},
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA},
  keywords = {algebra, convergence, inter-domain routing, intra-domain routing, routing protocols},
}

@inproceedings{sachenbacher2011,
  title={Efficient Energy-Optimal Routing for Electric Vehicles},
  author={Sachenbacher, Martin and Leucker, Martin and Artmeier, Andreas and Haselmayr, Julian},
  booktitle={AAAI},
  year={2011}
}

@INPROCEEDINGS{delling2009a,
  author = {Daniel Delling and Dorothea Wagner},
  title = {Time-Dependent Route Planning},
  booktitle = {Robust and Online Large-Scale Optimization, LNCS},
  year = {2009},
  publisher = {Springer}
}

@incollection{delling2009b,
  title={Engineering Route Planning Algorithms},
  author={Delling, Daniel and Sanders, Peter and Schultes, Dominik and Wagner, Dorothea},
  year={2009},
  booktitle={Algorithmics of Large and Complex Networks},
  publisher={Springer Berlin Heidelberg},
  isbn={978-3-642-02093-3},
  volume={5515},
  series={Lecture Notes in Computer Science},
  editor={Lerner, Jürgen and Wagner, Dorothea and Zweig, KatharinaA.},
  doi={10.1007/978-3-642-02094-0_7},
  url={http://dx.doi.org/10.1007/978-3-642-02094-0_7},
  pages={117-139},
  language={English}
}

@inproceedings {eisner2011,
   title = "Optimal Route Planning for Electric Vehicles in Large Networks",
   year = "2011",
   booktitle = "25th Conf. on Artificial Intelligence (AAAI)",
   author = "Eisner, Jochen and Funke, Stefan and Storandt, Sabine"
}

@techreport{bast2014,
  title={Route Planning in Transportation Networks},
  author={Bast, Hannah and Delling, Daniel and Goldberg, Andrew and M{\"u}ller-Hannemann, Matthias and Pajor, Thomas and Sanders, Peter and Wagner, Dorothea and Werneck, Renato},
  year={2014},
  institution={MSR-TR-2014-4, Microsoft Research}
}

@article{dijkstra1959,
  title={A note on two problems in connexion with graphs},
  author={Dijkstra, Edsger W},
  journal={Numerische mathematik},
  volume={1},
  number={1},
  pages={269--271},
  year={1959},
  publisher={Springer}
}

@incollection{schoenfelder2014,
  year={2014},
  isbn={978-3-319-11166-7},
  booktitle={Internet of Vehicles – Technologies and Services},
  volume={8662},
  series={Lecture Notes in Computer Science},
  editor={Hsu, RobertC.-H. and Wang, Shangguang},
  doi={10.1007/978-3-319-11167-4_3},
  title={Efficient Profile Routing for Electric Vehicles},
  url={http://dx.doi.org/10.1007/978-3-319-11167-4_3},
  publisher={Springer International Publishing},
  keywords={State-based; energy-efficient; time-dependent; flexible routing; profile search; electric vehicles},
  author={Sch\"onfelder, Ren\'e and Leucker, Martin and Walther, Sebastian},
  pages={21-30},
  language={English}
}

@book{cao1984,
  author = {Cao, Z-Q. and Roush, Fred W. and Kim, Ki Hang},
  title = {Incline Algebra and Applications},
  isbn = {0853127654 0470201169 0853128189},
  publisher = {Ellis Horwood Chichester},
  year = {1984},
  type = {Book},
  language = {English},
  subjects = {Algebra},
  life-dates = {1984},
  catalogue-url = {http://nla.gov.au/nla.cat-vn532511}
}

@incollection{hansen1980,
  year={1980},
  isbn={978-3-540-09963-5},
  booktitle={Multiple Criteria Decision Making Theory and Application},
  volume={177},
  series={Lecture Notes in Economics and Mathematical Systems},
  editor={Fandel, Günter and Gal, Tomas},
  doi={10.1007/978-3-642-48782-8_9},
  title={Bicriterion Path Problems},
  url={http://dx.doi.org/10.1007/978-3-642-48782-8_9},
  publisher={Springer Berlin Heidelberg},
  author={Hansen, Pierre},
  pages={109-127},
  language={English}
}

@article{geisberger2012,
  title={Exact Routing in Large Road Networks Using Contraction Hierarchies},
  author={Robert Geisberger and Peter Sanders and Dominik Schultes and Christian Vetter},
  year={2012},
  journal={Transportation Science}
}

@article{alshehri2012,
  title={Fuzzy Soft Incline Algebras},
  author={Alshehri, NO},
  journal={World Applied Sciences Journal},
  volume={17},
  number={12},
  pages={1783--1788},
  year={2012}
}