Automatización e implementación de algunos problemas algebráicos y geométricos. - Eugenio Roanes-Lozano (1993)

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Eugenio Roanes-Macías (AISMC, 1994)

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (AISMC, 1996)

Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. - Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo (AISC, 1998)

An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (IEA/AIE (Vol. 2), 1998)

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (CASC, 1999)

Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. - Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma (EUROVAV, 1999)

IMACS Applications of Computer Algebra Conference 1999: summary. - Michael J. Wester; Eugenio Roanes-Lozano (SIGSAM Bull., 1999)

A computer algebra approach to verification and deduction in many-valued knowledge systems. - Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; José-Antonio Alonso (Soft Comput., 1999)

George Boole, a Forerunner of Symbolic Computation. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Alberto Brunori (AISC, 2000)

Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (AISC, 2000)

A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria. - Victor Maojo; Luis M. Laita; Eugenio Roanes-Lozano; José Crespo; Juan Rodríguez-Pedrosa (ISMDA, 2000)

A Computer Algebra Approach to Relational Systems Using Gröbner Bases. - Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; Tomasa Calvo; León González-Sotos (RelMiCS, 2001)

A Method of Logic Deduction and Verification in KBS Using Positive Integers. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (CASC, 2001)

A Methodology for Constructing Expert Systems for Medical Diagnosis. - Luis M. Laita; G. González-Páez; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma; Laura Laita (ISMDA, 2001)

A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. - Begoña Herrero; Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma; José Crespo; Laura Laita (AISC, 2002)

Geometric Determination of the Spheres Which Are Tangent to Four Given Ones. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (International Conference on Computational Science (2), 2002)

A logic and computer algebra-based expert system for diagnosis of anorexia. - Cristina Pérez-Carretero; Luis M. Laita; Eugenio Roanes-Lozano; Luis Lázaro; Jesús González-Cajal; Laura Laita (Math. Comput. Simul., 2002)

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Math. Comput. Simul., 2002)

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. - I. Rodríguez-Daza; Luis M. Laita; Eugenio Roanes-Lozano; A. M. Crespo-Alonso; Victor Maojo; Luis de Ledesma; Laura Laita (ISMDA, 2003)

An Expert System on Detection, Evaluation and Treatment of Hypertension. - Eugenio Roanes-Lozano; E. López-Vidriero Jr.; Luis M. Laita; E. López-Vidriero; Victor Maojo; Eugenio Roanes-Macías (AISC, 2004)

A Rule-Based Knowledge System for Diagnosis of Mental Retardation. - R. Sánchez-Morgado; Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; Laura Laita (ISBMDA, 2004)

The geometry of algebraic systems and their exact solving using Grobner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Comput. Sci. Eng., 2004)

Some applications of Grobner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Comput. Sci. Eng., 2004)

A knowledge-based system for house layout selection. - Ana González-Uriel; Eugenio Roanes-Lozano (Math. Comput. Simul., 2004)

An accelerated-time simulation of departing passengers' flow in airport terminals. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (Math. Comput. Simul., 2004)

Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. - Eugenio Roanes-Lozano; R. García; Eugenio Roanes-Macías; Alfredo Aparicio Yagüe; Luis M. Laita (CASC, 2005)

A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (Automated Deduction in Geometry, 2006)

A computational system for diagnosis of depressive situations. - Carlos Rodríguez-Solano; Luis M. Laita; Eugenio Roanes-Lozano; Luis López-Corral; Laura Laita (Expert Syst. Appl., 2006)

An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation. - Eugenio Roanes-Lozano; Alfonso González-Bermejo; Eugenio Roanes-Macías; Justo Cabezas (SIAM Rev., 2006)

3D extension of Steiner chains problem. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (Math. Comput. Model., 2007)

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (AISC/MKM/Calculemus, 2008)

A Groebner bases-based approach to backward reasoning in rule based expert systems. - Eugenio Roanes-Lozano; Antonio Hernando; Luis M. Laita; Eugenio Roanes-Macías (Ann. Math. Artif. Intell., 2009)

Evolution of railway network flexibility: The Spanish broad gauge case. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías; Michael J. Wester; José Luis Ruiz-Lozano; Carlos Roncero (Math. Comput. Simul., 2009)

An algebraic method for managing reliability in propositional logics. - Antonio Hernando; Eugenio Roanes-Lozano; Javier Montero (ISKE, 2010)

An accelerated-time microscopic simulation of a dedicated freight double-track railway line. - Antonio Hernando; Eugenio Roanes-Lozano; Alberto García-Álvarez (Math. Comput. Model., 2010)

Connecting the 3D DGS Calques3D with the CAS Maple. - Eugenio Roanes-Lozano; Nicolas van Labeke; Eugenio Roanes-Macías (Math. Comput. Simul., 2010)

Foreword to the special issue on "Nonstandard Applications of Computer Algebra". - Eugenio Roanes-Lozano; Michael J. Wester; Stanly L. Steinberg (Math. Comput. Simul., 2010)

A Polynomial Model for Logics with a Prime Power Number of Truth Values. - Antonio Hernando; Eugenio Roanes-Lozano; Luis M. Laita (J. Autom. Reason., 2011)

A logic approach to decision taking in a railway interlocking system using Maple. - Eugenio Roanes-Lozano; Antonio Hernando; José-Antonio Alonso; Luis M. Laita (Math. Comput. Simul., 2011)

Nonstandard applications of computer algebra. - Eugenio Roanes-Lozano; Michael J. Wester; Stanly L. Steinberg (Math. Comput. Simul., 2011)

A logic-algebraic approach to decision taking in a railway interlocking system. - Antonio Hernando; Eugenio Roanes-Lozano; Roberto Maestre-Martínez; Jorge Tejedor (Ann. Math. Artif. Intell., 2012)

Optimal Route Finding and Rolling-Stock Selection for the Spanish Railways. - Luis Eduardo Mesa; Ignacio Gonzalez-Franco; Antonio Hernando; Alberto García-Álvarez; Eugenio Roanes-Lozano (Comput. Sci. Eng., 2012)

A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías (CASC, 2013)

Calculating the Exploitation Costs of Trains in the Spanish Railways. - Eugenio Roanes-Lozano; Antonio Hernando; Alberto García-Álvarez; Luis Eduardo Mesa; Ignacio Gonzalez-Franco (Comput. Sci. Eng., 2013)

The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods. - Eugenio Roanes-Lozano (Math. Comput. Sci., 2013)

A Rule-Based Expert System for Vaginal Cytology Diagnosis. - Carlos Gamallo-Chicano; Eugenio Roanes-Lozano; Carlos Gamallo-Amat (AISC, 2014)

A Simple GUI for Developing Applications That Use Mathematical Software Systems. - Eugenio Roanes-Lozano; Antonio Hernando (AISC, 2014)

Estimating radial railway network improvement with a CAS. - Eugenio Roanes-Lozano; José Luis Galán García; Alberto García-Álvarez; Luis Eduardo Mesa (J. Comput. Appl. Math., 2014)

Revisiting four-valued logics from Maple using the Logics Explorer package. - Eugenio Roanes-Lozano; José-Antonio Alonso; Antonio Hernando (Math. Comput. Simul., 2014)

A portable knowledge-based system for car breakdown evaluation. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (Appl. Math. Comput., 2015)

An algebraic model for implementing expert systems based on the knowledge of different experts. - Antonio Hernando; Eugenio Roanes-Lozano (Math. Comput. Simul., 2015)

Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)". - Francisco Botana; Antonio Hernando; Eugenio Roanes-Lozano; Michael J. Wester (Math. Comput. Simul., 2016)

A natural language for implementing algebraically Expert Systems. - Antonio Hernando; Roberto Maestre-Martínez; Eugenio Roanes-Lozano (Math. Comput. Simul., 2016)

An algebraic approach for detecting nearly dangerous situations in expert systems. - Roberto Maestre-Martínez; Antonio Hernando; Eugenio Roanes-Lozano (Math. Comput. Simul., 2016)

Matrix Approach to DC Railway Electrification Verification. - Eugenio Roanes-Lozano; Rubén González-Martín (ICCS, 2017)

A prototype of a RBES for personalized menus generation. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (Appl. Math. Comput., 2017)

A constructive approach to the quadrics of revolution using 3D dynamic geometry systems with algebraic capabilities. - Eugenio Roanes-Lozano (Comput. Appl. Eng. Educ., 2017)

A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry. - Eugenio Roanes-Lozano (Math. Comput. Sci., 2017)

A recommender system for train routing: When concatenating two minimum length paths is not the minimum length path. - Antonio Hernando; Eugenio Roanes-Lozano; Alberto García-Álvarez (Appl. Math. Comput., 2018)

A multi-criteria computer package for power transformer fault detection and diagnosis. - Carlos Roncero-Clemente; Eugenio Roanes-Lozano (Appl. Math. Comput., 2018)

A prototype of a functional approach to personalized menus generation using set operations. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (Adv. Comput. Math., 2019)

An Algebraic Approach to DC Railway Electrification Verification. - Eugenio Roanes-Lozano; Rubén González-Martín; Javier Montero (Math. Comput. Sci., 2019)

Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective. - Eugenio Roanes-Lozano; José Luis Galán García; Carmen Solano-Macías (Math. Comput. Sci., 2019)

Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. - Eugenio Roanes-Lozano (CASC, 2020)

A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías (MC, 2020)

Diagnosis in Tennis Serving Technique. - Eugenio Roanes-Lozano; Eduardo A. Casella; Fernando Sánchez; Antonio Hernando (Algorithms, 2020)

Automatic Generation of Diagrammatic Subway Maps for Any Date with Maple. - Alberto Almech; Eugenio Roanes-Lozano (Math. Comput. Sci., 2020)

A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (J. Comput. Appl. Math., 2021)

Using Fractals and Turtle Geometry to Visually Explain the Spread of a Virus to Kids: A STEM Multitarget Activity. - Eugenio Roanes-Lozano; Carmen Solano-Macías (Math. Comput. Sci., 2021)

A Computational Approach to Overtaking Station Track Layout Design Using Graphs: An Extension That Supports Special Turnouts - An Improved Alternative Track Layout Proposal. - Eugenio Roanes-Lozano (Algorithms, 2022)

Maple-based introductory visual guide to Gröbner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías (Maple Trans., 2022)

Bibliographic Study on the Computer Algebra System Maple. - Eugenio Roanes-Lozano; Carmen Solano-Macías (Maple Trans., 2023)

Can I Bring My Calculator to the Exam? Some Reflections on the Abstraction Level of Computer Algebra Systems. - Eugenio Roanes-Lozano (Math. Comput. Sci., 2023)

Some Reflections About the Success and Bibliographic Impact of the Dynamic Geometry System GeoGebra. - Eugenio Roanes-Lozano; Carmen Solano-Macías (Math. Comput. Sci., 2023)

A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules. - Gabriel Aguilera Venegas; Eugenio Roanes-Lozano; Gemma Rojo-Martínez; José Luis Galán García (J. Comput. Appl. Math., 2023)