- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j18 |      | 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) |
| j17 | | 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. Computing in Science and Engineering 14(4): 82-89 (2012) |
| 2011 | ||
| j16 | | Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita: A Polynomial Model for Logics with a Prime Power Number of Truth Values. J. Autom. Reasoning 46(2): 205-221 (2011) |
| j15 | | Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg: Nonstandard applications of computer algebra. Mathematics and Computers in Simulation 82(1): 1 (2011) |
| j14 | | Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita: A logic approach to decision taking in a railway interlocking system using Maple. Mathematics and Computers in Simulation 82(1): 15-28 (2011) |
| 2010 | ||
| j13 | | Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez: An accelerated-time microscopic simulation of a dedicated freight double-track railway line. Mathematical and Computer Modelling 51(9-10): 1160-1169 (2010) |
| j12 | | Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg: Foreword to the special issue on "Nonstandard Applications of Computer Algebra". Mathematics and Computers in Simulation 80(6): 1145 (2010) |
| j11 | | Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías: Connecting the 3D DGS Calques3D with the CAS Maple. Mathematics and Computers in Simulation 80(6): 1153-1176 (2010) |
| 2009 | ||
| j10 | | 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) |
| j9 | | Michael J. Wester, Stanly L. Steinberg, Eugenio Roanes-Lozano: Foreword to the special issue on "Nonstandard applications of computer algebra". Mathematics and Computers in Simulation 79(8): 2291-2292 (2009) |
| j8 | | 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. Mathematics and Computers in Simulation 79(8): 2317-2332 (2009) |
| 2008 | ||
| c18 | | 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 | ||
| j7 | | Eugenio Roanes-Macías, Eugenio Roanes-Lozano: 3D extension of Steiner chains problem. Mathematical and Computer Modelling 45(1-2): 137-148 (2007) |
| 2006 | ||
| j6 | | 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) |
| c17 | | 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 | ||
| c16 | | Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita: Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC 2005: 344-354 |
| 2004 | ||
| j5 | | Ana González-Uriel, Eugenio Roanes-Lozano: A knowledge-based system for house layout selection. Mathematics and Computers in Simulation 66(1): 43-54 (2004) |
| j4 | | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías: An accelerated-time simulation of departing passengers' flow in airport terminals. Mathematics and Computers in Simulation 67(1-2): 163-172 (2004) |
| c15 | | 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 |
| c14 | | 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 | ||
| c13 | | 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 | ||
| j3 | | 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. Mathematics and Computers in Simulation 58(3): 183-202 (2002) |
| j2 | | 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. Mathematics and Computers in Simulation 58(3): 203-214 (2002) |
| c12 | | 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 |
| c11 | | 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 | ||
| c10 | | 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 |
| c9 | | 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 (Eds.): 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 |
| 2000 | ||
| c8 | | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori: George Boole, a Forerunner of Symbolic Computation. AISC 2000: 1-19 |
| c7 | | Eugenio Roanes-Macías, Eugenio Roanes-Lozano: Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. AISC 2000: 157-173 |
| c6 | | 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 |
| 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) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page