| 2020 | CASC | Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System. | Eugenio Roanes-Lozano |
| 2017 | ICCS | Matrix Approach to DC Railway Electrification Verification. | Eugenio Roanes-Lozano, Rubn Gonzlez-Martn |
| 2014 | AISC | A Rule-Based Expert System for Vaginal Cytology Diagnosis. | Carlos Gamallo-Chicano, Eugenio Roanes-Lozano, Carlos Gamallo-Amat |
| 2014 | AISC | A Simple GUI for Developing Applications That Use Mathematical Software Systems. | Eugenio Roanes-Lozano, Antonio Hernando |
| 2013 | CASC | A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas |
| 2010 | ISKE | An algebraic method for managing reliability in propositional logics. | Antonio Hernando, Eugenio Roanes-Lozano, Javier Montero |
| 2008 | AISC | A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas |
| 2005 | CASC | Untitled record | Eugenio Roanes-Lozano, R. Garca, Eugenio Roanes-Macas, Alfredo Aparicio Yage, Luis M. Laita |
| 2004 | AISC | An Expert System on Detection, Evaluation and Treatment of Hypertension. | Eugenio Roanes-Lozano, E. Lpez-Vidriero Jr., Luis M. Laita, E. Lpez-Vidriero, Victor Maojo, Eugenio Roanes-Macas |
| 2002 | AISC | A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. | Begoa Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Jos Crespo, Laura Laita |
| 2002 | ICCS | Geometric Determination of the Spheres Which Are Tangent to Four Given Ones. | Eugenio Roanes-Macas, Eugenio Roanes-Lozano |
| 2001 | CASC | A Method of Logic Deduction and Verification in KBS Using Positive Integers. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas, Luis M. Laita |
| 2000 | AISC | George Boole, a Forerunner of Symbolic Computation. | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori |
| 2000 | AISC | Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. | Eugenio Roanes-Macas, Eugenio Roanes-Lozano |
| 1999 | CASC | Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas, Luis M. Laita |
| 1998 | AISC | Inference and Verification in Medical Appropriateness Criteria Using Grbner Bases. | Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo |
| 1996 | AISC | An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas |
| 1994 | AISC | An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macas |