| 2013 | CASC | A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas |
| 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 | 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 | 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 |
| 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 |