Eugenio Roanes-Lozano

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 26

Top Topics

Fault Detection

Computer Algebra

Automated Theorem Provers

Top Venues

Math. Comput. Sci.

Math. Comput. Simul.

Appl. Math. Comput.

J. Comput. Appl. Math.

Publications

Gabriel Aguilera Venegas, Eugenio Roanes-Lozano, Gemma Rojo-Martínez, José Luis Galán García
A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules. J. Comput. Appl. Math. 427 (2023)
Eugenio Roanes-Lozano, Carmen Solano-Macías
Some Reflections About the Success and Bibliographic Impact of the Dynamic Geometry System GeoGebra. Math. Comput. Sci. 17 (2) (2023)
Eugenio Roanes-Lozano
Can I Bring My Calculator to the Exam? Some Reflections on the Abstraction Level of Computer Algebra Systems. Math. Comput. Sci. 17 (1) (2023)
Eugenio Roanes-Lozano, Carmen Solano-Macías
Bibliographic Study on the Computer Algebra System Maple. Maple Trans. 3 (2) (2023)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías
Maple-based introductory visual guide to Gröbner bases. Maple Trans. 2 (1) (2022)
Eugenio Roanes-Lozano
A Computational Approach to Overtaking Station Track Layout Design Using Graphs: An Extension That Supports Special Turnouts - An Improved Alternative Track Layout Proposal. Algorithms 15 (10) (2022)
Eugenio Roanes-Lozano, Carmen Solano-Macías
Using Fractals and Turtle Geometry to Visually Explain the Spread of a Virus to Kids: A STEM Multitarget Activity. Math. Comput. Sci. 15 (4) (2021)
Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas
A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations. J. Comput. Appl. Math. 391 (2021)
Alberto Almech, Eugenio Roanes-Lozano
Automatic Generation of Diagrammatic Subway Maps for Any Date with Maple. Math. Comput. Sci. 14 (2) (2020)
Eugenio Roanes-Lozano
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. CASC (2020)
Eugenio Roanes-Lozano, Eduardo A. Casella, Fernando Sánchez, Antonio Hernando
Diagnosis in Tennis Serving Technique. Algorithms 13 (5) (2020)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías
A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children. MC (2020)
Eugenio Roanes-Lozano, José Luis Galán García, Carmen Solano-Macías
Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective. Math. Comput. Sci. 13 (3) (2019)
Eugenio Roanes-Lozano, Rubén González-Martín, Javier Montero
An Algebraic Approach to DC Railway Electrification Verification. Math. Comput. Sci. 13 (3) (2019)
Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas
A prototype of a functional approach to personalized menus generation using set operations. Adv. Comput. Math. 45 (4) (2019)
Carlos Roncero-Clemente, Eugenio Roanes-Lozano
A multi-criteria computer package for power transformer fault detection and diagnosis. Appl. Math. Comput. 319 (2018)
Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez
A recommender system for train routing: When concatenating two minimum length paths is not the minimum length path. Appl. Math. Comput. 319 (2018)
Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas
A prototype of a RBES for personalized menus generation. Appl. Math. Comput. 315 (2017)
Eugenio Roanes-Lozano
A constructive approach to the quadrics of revolution using 3D dynamic geometry systems with algebraic capabilities. Comput. Appl. Eng. Educ. 25 (1) (2017)
Eugenio Roanes-Lozano
A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry. Math. Comput. Sci. 11 (3-4) (2017)
Eugenio Roanes-Lozano, Rubén González-Martín
Matrix Approach to DC Railway Electrification Verification. ICCS (2017)
Francisco Botana, Antonio Hernando, Eugenio Roanes-Lozano, Michael J. Wester
Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)". Math. Comput. Simul. 125 (2016)
Roberto Maestre-Martínez, Antonio Hernando, Eugenio Roanes-Lozano
An algebraic approach for detecting nearly dangerous situations in expert systems. Math. Comput. Simul. 129 (2016)
Antonio Hernando, Roberto Maestre-Martínez, Eugenio Roanes-Lozano
A natural language for implementing algebraically Expert Systems. Math. Comput. Simul. 129 (2016)
Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas
A portable knowledge-based system for car breakdown evaluation. Appl. Math. Comput. 267 (2015)
Antonio Hernando, Eugenio Roanes-Lozano
An algebraic model for implementing expert systems based on the knowledge of different experts. Math. Comput. Simul. 107 (2015)
Carlos Gamallo-Chicano, Eugenio Roanes-Lozano, Carlos Gamallo-Amat
A Rule-Based Expert System for Vaginal Cytology Diagnosis. AISC (2014)
Eugenio Roanes-Lozano, José-Antonio Alonso, Antonio Hernando
Revisiting four-valued logics from Maple using the Logics Explorer package. Math. Comput. Simul. 104 (2014)
Eugenio Roanes-Lozano, Antonio Hernando
A Simple GUI for Developing Applications That Use Mathematical Software Systems. AISC (2014)
Eugenio Roanes-Lozano, José Luis Galán García, Alberto García-Álvarez, Luis Eduardo Mesa
Estimating radial railway network improvement with a CAS. J. Comput. Appl. Math. 270 (2014)
Eugenio Roanes-Lozano, Antonio Hernando, Alberto García-Álvarez, Luis Eduardo Mesa, Ignacio Gonzalez-Franco
Calculating the Exploitation Costs of Trains in the Spanish Railways. Comput. Sci. Eng. 15 (3) (2013)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. CASC (2013)
Eugenio Roanes-Lozano
The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods. Math. Comput. Sci. 7 (4) (2013)
Antonio Hernando, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, Jorge Tejedor
A logic-algebraic approach to decision taking in a railway interlocking system. Ann. Math. Artif. Intell. 65 (4) (2012)
Luis Eduardo Mesa, Ignacio Gonzalez-Franco, Antonio Hernando, Alberto García-Álvarez, Eugenio Roanes-Lozano
Optimal Route Finding and Rolling-Stock Selection for the Spanish Railways. Comput. Sci. Eng. 14 (4) (2012)
Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg
Nonstandard applications of computer algebra. Math. Comput. Simul. 82 (1) (2011)
Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita
A logic approach to decision taking in a railway interlocking system using Maple. Math. Comput. Simul. 82 (1) (2011)
Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita
A Polynomial Model for Logics with a Prime Power Number of Truth Values. J. Autom. Reason. 46 (2) (2011)
Antonio Hernando, Eugenio Roanes-Lozano, Javier Montero
An algebraic method for managing reliability in propositional logics. ISKE (2010)
Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías
Connecting the 3D DGS Calques3D with the CAS Maple. Math. Comput. Simul. 80 (6) (2010)
Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg
Foreword to the special issue on "Nonstandard Applications of Computer Algebra". Math. Comput. Simul. 80 (6) (2010)
Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez
An accelerated-time microscopic simulation of a dedicated freight double-track railway line. Math. Comput. Model. 51 (9-10) (2010)
Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías
A Groebner bases-based approach to backward reasoning in rule based expert systems. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías, Michael J. Wester, José Luis Ruiz-Lozano, Carlos Roncero
Evolution of railway network flexibility: The Spanish broad gauge case. Math. Comput. Simul. 79 (8) (2009)
Michael J. Wester, Stanly L. Steinberg, Eugenio Roanes-Lozano
Foreword to the special issue on "Nonstandard applications of computer algebra". Math. Comput. Simul. 79 (8) (2009)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. AISC/MKM/Calculemus (2008)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
3D extension of Steiner chains problem. Math. Comput. Model. 45 (1-2) (2007)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. Automated Deduction in Geometry (2006)
Eugenio Roanes-Lozano, Alfonso González-Bermejo, Eugenio Roanes-Macías, Justo Cabezas
An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation. SIAM Rev. 48 (1) (2006)
Carlos Rodríguez-Solano, Luis M. Laita, Eugenio Roanes-Lozano, Luis López-Corral, Laura Laita
A computational system for diagnosis of depressive situations. Expert Syst. Appl. 31 (1) (2006)
Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita
: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC (2005)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
Some applications of Grobner bases. Comput. Sci. Eng. 6 (3) (2004)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An accelerated-time simulation of departing passengers' flow in airport terminals. Math. Comput. Simul. 67 (1-2) (2004)
Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías
An Expert System on Detection, Evaluation and Treatment of Hypertension. AISC (2004)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
The geometry of algebraic systems and their exact solving using Grobner bases. Comput. Sci. Eng. 6 (2) (2004)
R. Sánchez-Morgado, Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Laura Laita
A Rule-Based Knowledge System for Diagnosis of Mental Retardation. ISBMDA (2004)
Ana González-Uriel, Eugenio Roanes-Lozano
A knowledge-based system for house layout selection. Math. Comput. Simul. 66 (1) (2004)
I. Rodríguez-Daza, Luis M. Laita, Eugenio Roanes-Lozano, A. M. Crespo-Alonso, Victor Maojo, Luis de Ledesma, Laura Laita
An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. ISMDA (2003)
Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. AISC (2002)
Cristina Pérez-Carretero, Luis M. Laita, Eugenio Roanes-Lozano, Luis Lázaro, Jesús González-Cajal, Laura Laita
A logic and computer algebra-based expert system for diagnosis of anorexia. Math. Comput. Simul. 58 (3) (2002)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
Geometric Determination of the Spheres Which Are Tangent to Four Given Ones. International Conference on Computational Science (2) (2002)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. Math. Comput. Simul. 58 (3) (2002)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
A Method of Logic Deduction and Verification in KBS Using Positive Integers. CASC (2001)
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. RelMiCS (2001)
Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita
A Methodology for Constructing Expert Systems for Medical Diagnosis. ISMDA (2001)
Eugenio Roanes-Macías, Eugenio Roanes-Lozano
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. AISC (2000)
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
George Boole, a Forerunner of Symbolic Computation. AISC (2000)
Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, José Crespo, Juan Rodríguez-Pedrosa
A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria. ISMDA (2000)
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso
A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Comput. 3 (1) (1999)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. CASC (1999)
Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. EUROVAV (1999)
Michael J. Wester, Eugenio Roanes-Lozano
IMACS Applications of Computer Algebra Conference 1999: summary. SIGSAM Bull. 33 (2) (1999)
Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. AISC (1998)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. IEA/AIE (Vol. 2) (1998)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. AISMC (1996)
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. AISMC (1994)