Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (58)

2023

  1. Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials

    Electronic Research Archive, Vol. 31, Núm. 10, pp. 6160-6196

2020

  1. Diagnosis in tennis serving technique

    Algorithms, Vol. 13, Núm. 5

2019

  1. A new approach to shortest route finding in a railway network with two track gauges and gauge changeovers

    Mathematical Problems in Engineering, Vol. 2019

2018

  1. A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess

    Mathematical Problems in Engineering, Vol. 2018

  2. A recommender system for train routing: When concatenating two minimum length paths is not the minimum length path

    Applied Mathematics and Computation, Vol. 319, pp. 486-498

2017

  1. Matrix Approach to DC Railway Electrification Verification

    Procedia Computer Science

2016

  1. A natural language for implementing algebraically Expert Systems

    Mathematics and Computers in Simulation, Vol. 129, pp. 31-49

  2. An algebraic approach for detecting nearly dangerous situations in expert systems

    Mathematics and Computers in Simulation, Vol. 129, pp. 81-93

  3. Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"

    Mathematics and Computers in Simulation

2014

  1. A Rule-Based Expert System for vaginal cytology diagnosis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. A simple GUI for developing applications that use mathematical software systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Foreword to the special issue on "nonstandard applications of computer algebra"

    Mathematics and Computers in Simulation

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

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

2013

  1. Algebraic approaches to the development of rule based expert systems

    Expert System Software: Engineering, Advantages and Applications (Nova Science Publishers, Inc.), pp. 157-176

  2. Calculating the exploitation costs of trains in the spanish railways

    Computing in Science and Engineering, Vol. 15, Núm. 3, pp. 89-95

2012

  1. A logic-algebraic approach to decision taking in a railway interlocking system

    Annals of Mathematics and Artificial Intelligence, Vol. 65, Núm. 4, pp. 317-328

  2. Optimal route finding and rolling-stock selection for the Spanish railways

    Computing in Science and Engineering, Vol. 14, Núm. 4, pp. 82-89

2011

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

    Mathematics and Computers in Simulation

  2. A polynomial model for logics with a prime power number of truth values

    Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 205-221

  3. Estimación de la influencia del carácter inconexo de una red de transporte por ferrocarril

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 87, pp. 69-77