Publicaciones en colaboración con investigadores/as de Universidad de Sevilla (3)

2014

  1. Revisiting four-valued logics from Maple using the Logics Explorer package

    Mathematics and Computers in Simulation, Vol. 104, pp. 31-42

2011

  1. A logic approach to decision taking in a railway interlocking system using Maple

    Mathematics and Computers in Simulation

2009

  1. Evolution of railway network flexibility: The Spanish broad gauge case

    Mathematics and Computers in Simulation, Vol. 79, Núm. 8, pp. 2317-2332