Eugenio Roanes-Lozano

77 papers B 4Misc 11Journal 49Unranked 12

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