default search action
Eugenio Roanes-Lozano
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j49]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: 115130 (2023) - [j48]Eugenio Roanes-Lozano, Carmen Solano-Macías:
Bibliographic Study on the Computer Algebra System Maple. Maple Trans. 3(2) (2023) - [j47]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): 1 (2023) - [j46]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): 11 (2023) - 2022
- [j45]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): 368 (2022) - [j44]Eugenio Roanes-Lozano, Eugenio Roanes-Macías:
Maple-based introductory visual guide to Gröbner bases. Maple Trans. 2(1) (2022) - 2021
- [j43]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: 113455 (2021) - [j42]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): 689-699 (2021) - 2020
- [j41]Eugenio Roanes-Lozano, Eduardo A. Casella, Fernando Sánchez, Antonio Hernando:
Diagnosis in Tennis Serving Technique. Algorithms 13(5): 106 (2020) - [j40]Alberto Almech, Eugenio Roanes-Lozano:
Automatic Generation of Diagrammatic Subway Maps for Any Date with Maple. Math. Comput. Sci. 14(2): 193-207 (2020) - [c27]Eugenio Roanes-Lozano:
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. CASC 2020: 528-542 - [c26]Eugenio Roanes-Lozano, Eugenio Roanes-Macías:
A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children. MC 2020: 334-349
2010 – 2019
- 2019
- [j39]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): 1881-1895 (2019) - [j38]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): 417-431 (2019) - [j37]Eugenio Roanes-Lozano, Rubén González-Martín, Javier Montero:
An Algebraic Approach to DC Railway Electrification Verification. Math. Comput. Sci. 13(3): 449-457 (2019) - 2018
- [j36]Carlos Roncero-Clemente, Eugenio Roanes-Lozano:
A multi-criteria computer package for power transformer fault detection and diagnosis. Appl. Math. Comput. 319: 153-164 (2018) - [j35]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: 486-498 (2018) - 2017
- [j34]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: 615-624 (2017) - [j33]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): 26-38 (2017) - [j32]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): 439-448 (2017) - [c25]Eugenio Roanes-Lozano, Rubén González-Martín:
Matrix Approach to DC Railway Electrification Verification. ICCS 2017: 1424-1433 - 2016
- [j31]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: 113-114 (2016) - [j30]Antonio Hernando, Roberto Maestre-Martínez, Eugenio Roanes-Lozano:
A natural language for implementing algebraically Expert Systems. Math. Comput. Simul. 129: 31-49 (2016) - [j29]Roberto Maestre-Martínez, Antonio Hernando, Eugenio Roanes-Lozano:
An algebraic approach for detecting nearly dangerous situations in expert systems. Math. Comput. Simul. 129: 81-93 (2016) - 2015
- [j28]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: 758-770 (2015) - [j27]Antonio Hernando, Eugenio Roanes-Lozano:
An algebraic model for implementing expert systems based on the knowledge of different experts. Math. Comput. Simul. 107: 92-107 (2015) - 2014
- [j26]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: 294-307 (2014) - [j25]Eugenio Roanes-Lozano, José-Antonio Alonso, Antonio Hernando:
Revisiting four-valued logics from Maple using the Logics Explorer package. Math. Comput. Simul. 104: 31-42 (2014) - [c24]Carlos Gamallo-Chicano, Eugenio Roanes-Lozano, Carlos Gamallo-Amat:
A Rule-Based Expert System for Vaginal Cytology Diagnosis. AISC 2014: 34-48 - [c23]Eugenio Roanes-Lozano, Antonio Hernando:
A Simple GUI for Developing Applications That Use Mathematical Software Systems. AISC 2014: 99-119 - 2013
- [j24]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): 89-95 (2013) - [j23]Eugenio Roanes-Lozano:
The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods. Math. Comput. Sci. 7(4): 473-485 (2013) - [c22]Eugenio Roanes-Lozano, Eugenio Roanes-Macías:
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. CASC 2013: 288-300 - 2012
- [j22]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): 317-328 (2012) - [j21]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): 82-89 (2012) - 2011
- [j20]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): 205-221 (2011) - [j19]Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg:
Nonstandard applications of computer algebra. Math. Comput. Simul. 82(1): 1 (2011) - [j18]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): 15-28 (2011) - 2010
- [j17]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): 1160-1169 (2010) - [j16]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): 1145 (2010) - [j15]Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías:
Connecting the 3D DGS Calques3D with the CAS Maple. Math. Comput. Simul. 80(6): 1153-1176 (2010) - [c21]Antonio Hernando, Eugenio Roanes-Lozano, Javier Montero:
An algebraic method for managing reliability in propositional logics. ISKE 2010: 147-152
2000 – 2009
- 2009
- [j14]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): 297-311 (2009) - [j13]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): 2291-2292 (2009) - [j12]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): 2317-2332 (2009) - 2008
- [c20]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: 170-183 - 2007
- [j11]Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
3D extension of Steiner chains problem. Math. Comput. Model. 45(1-2): 137-148 (2007) - 2006
- [j10]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): 47-55 (2006) - [j9]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): 133-146 (2006) - [c19]Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. Automated Deduction in Geometry 2006: 171-188 - 2005
- [c18]Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita:
Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC 2005: 344-354 - 2004
- [j8]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): 76-79 (2004) - [j7]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
Some applications of Grobner bases. Comput. Sci. Eng. 6(3): 56-60 (2004) - [j6]Ana González-Uriel, Eugenio Roanes-Lozano:
A knowledge-based system for house layout selection. Math. Comput. Simul. 66(1): 43-54 (2004) - [j5]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): 163-172 (2004) - [c17]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: 251-264 - [c16]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: 67-78 - 2003
- [c15]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: 118-126 - 2002
- [j4]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): 183-202 (2002) - [j3]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): 203-214 (2002) - [c14]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: 38-50 - [c13]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: 52-61 - 2001
- [c12]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: 124-133 - [c11]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
A Method of Logic Deduction and Verification in KBS Using Positive Integers. CASC 2001: 461-475 - [c10]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: 146-152 - [e1]John A. Campbell, Eugenio Roanes-Lozano:
Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Lecture Notes in Computer Science 1930, Springer 2001, ISBN 3-540-42071-1 [contents] - 2000
- [c9]Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori:
George Boole, a Forerunner of Symbolic Computation. AISC 2000: 1-19 - [c8]Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. AISC 2000: 157-173 - [c7]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: 212-217
1990 – 1999
- 1999
- [j2]Michael J. Wester, Eugenio Roanes-Lozano:
IMACS Applications of Computer Algebra Conference 1999: summary. SIGSAM Bull. 33(2): 53-57 (1999) - [j1]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): 7-19 (1999) - [c6]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. CASC 1999: 349-363 - [c5]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: 53-65 - 1998
- [c4]Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo:
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. AISC 1998: 183-194 - [c3]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: 687-696 - 1996
- [c2]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: 71-86 - 1994
- [c1]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: 255-263 - 1993
- [b1]Eugenio Roanes-Lozano:
Automatización e implementación de algunos problemas algebráicos y geométricos. Technical University of Madrid, Spain, 1993
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint