Eugenio Roanes-Lozano
Orcid: 0000-0002-0880-6610
According to our database1,
Eugenio Roanes-Lozano
authored at least 76 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on ucm.es
On csauthors.net:
Bibliography
2023
A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules.
J. Comput. Appl. Math., August, 2023
Some Reflections About the Success and Bibliographic Impact of the Dynamic Geometry System GeoGebra.
Math. Comput. Sci., June, 2023
Can I Bring My Calculator to the Exam? Some Reflections on the Abstraction Level of Computer Algebra Systems.
Math. Comput. Sci., March, 2023
2022
A Computational Approach to Overtaking Station Track Layout Design Using Graphs: An Extension That Supports Special Turnouts - An Improved Alternative Track Layout Proposal.
Algorithms, 2022
2021
Using Fractals and Turtle Geometry to Visually Explain the Spread of a Virus to Kids: A STEM Multitarget Activity.
Math. Comput. Sci., 2021
A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations.
J. Comput. Appl. Math., 2021
2020
Math. Comput. Sci., 2020
A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020
Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System.
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020
2019
Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective.
Math. Comput. Sci., 2019
Math. Comput. Sci., 2019
A prototype of a functional approach to personalized menus generation using set operations.
Adv. Comput. Math., 2019
2018
A multi-criteria computer package for power transformer fault detection and diagnosis.
Appl. Math. Comput., 2018
A recommender system for train routing: When concatenating two minimum length paths is not the minimum length path.
Appl. Math. Comput., 2018
2017
A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry.
Math. Comput. Sci., 2017
A constructive approach to the quadrics of revolution using 3D dynamic geometry systems with algebraic capabilities.
Comput. Appl. Eng. Educ., 2017
Proceedings of the International Conference on Computational Science, 2017
2016
Math. Comput. Simul., 2016
Math. Comput. Simul., 2016
Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)".
Math. Comput. Simul., 2016
2015
An algebraic model for implementing expert systems based on the knowledge of different experts.
Math. Comput. Simul., 2015
Appl. Math. Comput., 2015
2014
Math. Comput. Simul., 2014
J. Comput. Appl. Math., 2014
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014
2013
The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods.
Math. Comput. Sci., 2013
Comput. Sci. Eng., 2013
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry.
Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013
2012
Comput. Sci. Eng., 2012
Ann. Math. Artif. Intell., 2012
2011
Math. Comput. Simul., 2011
J. Autom. Reason., 2011
2010
Math. Comput. Simul., 2010
An accelerated-time microscopic simulation of a dedicated freight double-track railway line.
Math. Comput. Model., 2010
Proceedings of the 2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2010
2009
Math. Comput. Simul., 2009
Ann. Math. Artif. Intell., 2009
2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2007
2006
SIAM Rev., 2006
Expert Syst. Appl., 2006
Proceedings of the Automated Deduction in Geometry, 2006
2005
<i>Meta-Petro</i>: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.
Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005
2004
Math. Comput. Simul., 2004
Comput. Sci. Eng., 2004
Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2003
An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma.
Proceedings of the Medical Data Analysis, 4th International Symposium, 2003
2002
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking.
Math. Comput. Simul., 2002
Math. Comput. Simul., 2002
Proceedings of the Computational Science - ICCS 2002, 2002
Proceedings of the Artificial Intelligence, 2002
2001
Proceedings of the Medical Data Analysis, Second International Symposium, 2001
Proceedings of the Computer Algebra in Scientific Computing, 2001
Proceedings of the Relational Methods in Computer Science, 2001
2000
A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria.
Proceedings of the Medical Data Analysis, First International Symposium, 2000
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000
1999
A computer algebra approach to verification and deduction in many-valued knowledge systems.
Soft Comput., 1999
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.
Proceedings of the Validation and Verification of Knowledge Based Systems, 1999
Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999
1998
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra.
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998
1996
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996
1994
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994
1993
PhD thesis, 1993