{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:28:20Z","timestamp":1648870100042},"reference-count":15,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematics and Computers in Simulation"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1016\/s0378-4754(01)00371-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T05:32:15Z","timestamp":1027575135000},"page":"203-214","source":"Crossref","is-referenced-by-count":7,"title":["A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking"],"prefix":"10.1016","volume":"58","author":[{"given":"Eugenio","family":"Roanes-Lozano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Roanes-Mac\u0131\u0301as","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0378-4754(01)00371-8_BIB1","doi-asserted-by":"crossref","unstructured":"D. Cox, J. Little, D. O\u2019Shea, Ideals, Varieties and Algorithms, Springer, Berlin, 1992.","DOI":"10.1007\/978-1-4757-2181-2"},{"key":"10.1016\/S0378-4754(01)00371-8_BIB2","unstructured":"A. Bor\u00e4lv, G. St\u00e5lmarck, Prover technology in railways, in: Industrial-Strength Formal Methods, Academic Press, New York, 1998."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB3","unstructured":"J. Doppelbauer, Alcatel\u2019s electronic interlocking systems, in: Proceedings of the 3rd Workshop on FMERail, Fachhochschule St. P\u00f6lten, St. P\u00f6lten, 1999."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB4","unstructured":"K.M. Hansen, Modelling railway interlocking systems, Report ID-TR: 1996-167, Technical University of Denmark, Lyngby, 1995."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB5","unstructured":"M. Losada, Curso de Ferrocarriles: Explotaci\u00f3n T\u00e9cnica, ETSI Caminos UPM, Madrid, 1991."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB6","unstructured":"M. Montigel, Modellierung und Gew\u00e4hrleistung von Abh\u00e4ngigkeiten in Eisenbahnsicherungsanlagen, Ph.D. thesis, ETH Zurich, 1994."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB7","unstructured":"S. R\u0131\u0301os-Insua, Investigaci\u00f3n Operativa. Programaci\u00f3n lineal y aplicaciones, Centro de Estudios Ram\u00f3n Areces SA, Madrid, 1996."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB8","first-page":"65","article-title":"Maple V in AI: the Boolean algebra associated to a KBS","volume":"14","author":"Roanes-Lozano","year":"1995","journal-title":"CAN. Nieuwsbrief"},{"issue":"1","key":"10.1016\/S0378-4754(01)00371-8_BIB9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0378-4754(97)00088-8","article-title":"A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra","volume":"45","author":"Roanes-Lozano","year":"1998","journal-title":"Math. Comput. Simulation"},{"issue":"1","key":"10.1016\/S0378-4754(01)00371-8_BIB10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0378-4754(97)00093-1","article-title":"An applicable topology-independent model for railway interlocking systems","volume":"45","author":"Roanes-Lozano","year":"1998","journal-title":"Math. Comput. Simulation"},{"key":"10.1016\/S0378-4754(01)00371-8_BIB11","doi-asserted-by":"crossref","unstructured":"E. Roanes-Lozano, L.M. Laita, E. Roanes-Macias, An application of an AI methodology to railway interlocking systems using computer algebra, in: A. Pasqual del Pobil, J. Mira, M. Ali (Eds.), Tasks and Methods in Applied Artificial Intelligence, Proceedings of IEA-98-AIE, Vol. II, Springer LNAI 1416, Berlin, Heidelberg, 1998, pp. 687\u2013696.","DOI":"10.1007\/3-540-64574-8_455"},{"issue":"5","key":"10.1016\/S0378-4754(01)00371-8_BIB12","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/S0378-4754(99)00137-8","article-title":"Railway interlocking systems and Gr\u00f6bner bases","volume":"51","author":"Roanes-Lozano","year":"2000","journal-title":"Math. Comput. Simulation"},{"key":"10.1016\/S0378-4754(01)00371-8_BIB13","first-page":"65","article-title":"Sistema inform\u00e1tico concebido por Renfe para dise\u00f1ar los enclavamientos","volume":"348","author":"Villamandos","year":"1993","journal-title":"V\u0131\u0301a Libre"},{"key":"10.1016\/S0378-4754(01)00371-8_BIB14","unstructured":"J. Westwood (Ed.), Trains, Octopus Books Ltd., London, 1979."},{"key":"10.1016\/S0378-4754(01)00371-8_BIB15","unstructured":"Anonymous, Proyecto y obra del enclavamiento electr\u00f3nico de la estaci\u00f3n de Madrid-Atocha. Proyecto T\u00e9cnico, Siemens, Madrid, 1988."}],"container-title":["Mathematics and Computers in Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0378475401003718?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0378475401003718?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:20:10Z","timestamp":1556922010000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0378475401003718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["S0378475401003718"],"URL":"https:\/\/doi.org\/10.1016\/s0378-4754(01)00371-8","relation":{},"ISSN":["0378-4754"],"issn-type":[{"value":"0378-4754","type":"print"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}