An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Eugenio Roanes-Macías (AISMC, 1994)

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (AISMC, 1996)

An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (IEA/AIE (Vol. 2), 1998)

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (CASC, 1999)

Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (AISC, 2000)

A Method of Logic Deduction and Verification in KBS Using Positive Integers. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (CASC, 2001)

Geometric Determination of the Spheres Which Are Tangent to Four Given Ones. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (International Conference on Computational Science (2), 2002)

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Math. Comput. Simul., 2002)

An Expert System on Detection, Evaluation and Treatment of Hypertension. - Eugenio Roanes-Lozano; E. López-Vidriero Jr.; Luis M. Laita; E. López-Vidriero; Victor Maojo; Eugenio Roanes-Macías (AISC, 2004)

The geometry of algebraic systems and their exact solving using Grobner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Comput. Sci. Eng., 2004)

Some applications of Grobner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Comput. Sci. Eng., 2004)

An accelerated-time simulation of departing passengers' flow in airport terminals. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (Math. Comput. Simul., 2004)

Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. - Eugenio Roanes-Lozano; R. García; Eugenio Roanes-Macías; Alfredo Aparicio Yagüe; Luis M. Laita (CASC, 2005)

A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (Automated Deduction in Geometry, 2006)

An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation. - Eugenio Roanes-Lozano; Alfonso González-Bermejo; Eugenio Roanes-Macías; Justo Cabezas (SIAM Rev., 2006)

3D extension of Steiner chains problem. - Eugenio Roanes-Macías; Eugenio Roanes-Lozano (Math. Comput. Model., 2007)

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (AISC/MKM/Calculemus, 2008)

A Groebner bases-based approach to backward reasoning in rule based expert systems. - Eugenio Roanes-Lozano; Antonio Hernando; Luis M. Laita; Eugenio Roanes-Macías (Ann. Math. Artif. Intell., 2009)

Evolution of railway network flexibility: The Spanish broad gauge case. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías; Michael J. Wester; José Luis Ruiz-Lozano; Carlos Roncero (Math. Comput. Simul., 2009)

Connecting the 3D DGS Calques3D with the CAS Maple. - Eugenio Roanes-Lozano; Nicolas van Labeke; Eugenio Roanes-Macías (Math. Comput. Simul., 2010)

A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías (CASC, 2013)

A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package Suitable for Children. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías (MC, 2020)

Maple-based introductory visual guide to Gröbner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías (Maple Trans., 2022)