{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:33:59Z","timestamp":1725914039201},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319684987"},{"type":"electronic","value":"9783319684994"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68499-4_15","type":"book-chapter","created":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T10:35:37Z","timestamp":1508322937000},"page":"221-237","source":"Crossref","is-referenced-by-count":2,"title":["Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,19]]},"reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1080\/03155986.1983.11731905","volume":"21","author":"A Assad","year":"1983","unstructured":"Assad, A.: Analysis of rail classification policies. INFOR: Inf. Syst. Oper. Res. 21(4), 293\u2013314 (1983). doi: 10.1080\/03155986.1983.11731905","journal-title":"INFOR: Inf. Syst. Oper. Res."},{"issue":"1","key":"15_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0191-2615(80)90037-5","volume":"14","author":"LD Bodin","year":"1980","unstructured":"Bodin, L.D., Golden, B.L., Schuster, A.D., Romig, W.: A model for the blocking of trains. Transp. Res. Part B: Methodol. 14(1), 115\u2013120 (1980). http:\/\/www.sciencedirect.com\/science\/article\/pii\/0191261580900375","journal-title":"Transp. Res. Part B: Methodol."},{"issue":"2","key":"15_CR3","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1287\/trsc.2015.0656","volume":"50","author":"R Bornd\u00f6rfer","year":"2016","unstructured":"Bornd\u00f6rfer, R., Klug, T., Schlechte, T., F\u00fcgenschuh, A., Schang, T., Sch\u00fclldorf, H.: The freight train routing problem for congested railway networks with mixed traffic. Transp. Sci. 50(2), 408\u2013423 (2016)","journal-title":"Transp. Sci."},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1287\/mnsc.6.1.80","volume":"6","author":"GB Dantzig","year":"1959","unstructured":"Dantzig, G.B., Ramser, J.H.: The truck dispatching problem. Manage. Sci. 6, 80\u201391 (1959)","journal-title":"Manage. Sci."},{"issue":"1","key":"15_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1287\/opre.4.1.61","volume":"4","author":"MM Flood","year":"1956","unstructured":"Flood, M.M.: The traveling-salesman problem. Oper. Res. 4(1), 61\u201375 (1956)","journal-title":"Oper. Res."},{"key":"15_CR6","volume-title":"Flows in Networks","author":"DR Ford","year":"2010","unstructured":"Ford, D.R., Fulkerson, D.R.: Flows in Networks. Princeton University Press, Princeton (2010)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Ford, L.R., Fulkerson, D.R.: A simple algorithm for finding maximal network flows and an application to the hitchcock problem. Canadian J. Mathe, 210\u2013218 (1957)","DOI":"10.4153\/CJM-1957-024-0"},{"key":"15_CR8","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: a mathematical programming language. AT & T Bell Laboratories Murray Hill (1987)"},{"issue":"1","key":"15_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0377-2217(02)00915-3","volume":"151","author":"G Ghiani","year":"2003","unstructured":"Ghiani, G., Guerriero, F., Laporte, G., Musmanno, R.: Real-time vehicle routing: solution concepts, algorithms and parallel computing strategies. Eur. J. Oper. Res. 151(1), 1\u201311 (2003)","journal-title":"Eur. J. Oper. Res."},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/978-3-540-68279-0_15","volume-title":"50 Years of Integer Programming 1958\u20132008","author":"R Hemmecke","year":"2010","unstructured":"Hemmecke, R., Koppe, M., Lee, J., Weismantel, R.: Nonlinear integer programming. In: Junger, M., Liebling, T.M., Naddef, D., Nemhauser, G.L., Pulleyblank, W.R., Reinelt, G., Rinaldi, G., Wolsey, L.A. (eds.) 50 Years of Integer Programming 1958\u20132008, pp. 561\u2013618. Springer, Heidelberg (2010)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Klein, M.: A primal method for minimal cost flows, with applications to the assignment and transportation problems (1967)","DOI":"10.1287\/mnsc.14.3.205"},{"issue":"10","key":"15_CR12","doi-asserted-by":"crossref","first-page":"1008","DOI":"10.1016\/j.trb.2008.03.003","volume":"42","author":"F Li","year":"2008","unstructured":"Li, F., Gao, Z., Li, K., Yang, L.: Efficient scheduling of railway traffic based on global information of train. Transp. Res. Part B Methodol. 42(10), 1008\u20131030 (2008). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0191261508000337","journal-title":"Transp. Res. Part B Methodol."},{"issue":"1","key":"15_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0968-090X(95)00019-F","volume":"4","author":"DR Martinelli","year":"1996","unstructured":"Martinelli, D.R., Teng, H.: Optimization of railway operations using neural networks. Transp. Res. Part C Emerg. Technol. 4(1), 33\u201349 (1996). http:\/\/www.sciencedirect.com\/science\/article\/pii\/0968090X9500019F","journal-title":"Transp. Res. Part C Emerg. Technol."},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-319-47169-3_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"F Mazzanti","year":"2016","unstructured":"Mazzanti, F., Ferrari, A., Spagnolo, G.O.: Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 297\u2013314. Springer, Cham (2016). doi: 10.1007\/978-3-319-47169-3_22"},{"issue":"1","key":"15_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ejor.2012.08.015","volume":"225","author":"V Pillac","year":"2013","unstructured":"Pillac, V., Gendreau, M., Gu\u00e9ret, C., Medaglia, A.L.: A review of dynamic vehicle routing problems. Eur. J. Oper. Res. 225(1), 1\u201311 (2013)","journal-title":"Eur. J. Oper. Res."},{"issue":"1","key":"15_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/net.21628","volume":"67","author":"HN Psaraftis","year":"2016","unstructured":"Psaraftis, H.N., Wen, M., Kontovas, C.A.: Dynamic vehicle routing problems: three decades and counting. Netw. 67(1), 3\u201331 (2016)","journal-title":"Netw."},{"key":"15_CR17","unstructured":"Schoitsch, E.: Introduction to the special theme - autonomous vehicles. ERCIM News 2017 (109) (2017)"},{"key":"15_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.trc.2014.02.023","volume":"44","author":"Y Sun","year":"2014","unstructured":"Sun, Y., Cao, C., Wu, C.: Multi-objective optimization of train routing problem combined with train scheduling on a high-speed railway network. Transp. Res. Part C Emerg. Technol. 44, 1\u201320 (2014). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0968090X14000655","journal-title":"Transp. Res. Part C Emerg. Technol."},{"volume-title":"Algorithms and Model Formulations in Mathematical Programming","year":"1989","key":"15_CR19","unstructured":"Wallace, S.W. (ed.): Algorithms and Model Formulations in Mathematical Programming. Springer, New York (1989)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Yanfeng, L., Ziyou, G., Jun, L.: Vehicle routing problem in dynamic urban traffic network. In: ICSSSM 2011, pp. 1\u20136 (2011)","DOI":"10.1109\/ICSSSM.2011.5959534"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68499-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T20:45:58Z","timestamp":1570221958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68499-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319684987","9783319684994"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68499-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}