Eugenio Roanes-Lozano

2008
23	EE	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
2006
22	EE	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
21	EE	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)
2005
20	EE	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
19	EE	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
18	EE	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
17	EE	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)
16	EE	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)
2003
15	EE	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
14	EE	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
13	EE	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
12		John A. Campbell, Eugenio Roanes-Lozano: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers Springer 2001
11	EE	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
10	EE	Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, L. Gozález-Sotos: A Computer Algebra Approach to Relational Systems Using Gröbner Bases. RelMiCS 2001: 124-133
2000
9	EE	Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori: George Boole, a Forerunner of Symbolic Computation. AISC 2000: 1-19
8	EE	Eugenio Roanes-Macías, Eugenio Roanes-Lozano: Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. AISC 2000: 157-173
7	EE	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
6		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
5	EE	Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Jose A. Alonso: A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Comput. 3(1): 7-19 (1999)
1998
4	EE	Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo: Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. AISC 1998: 183-194
3		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
2		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
1		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

Coauthor Index

1	Jose A. Alonso	[5]
2	A. Aparicio	[20]
3	Alberto Brunori	[9]
4	Tomasa Calvo	[10]
5	John A. Campbell	[12]
6	José Crespo	[7] [14]
7	A. M. Crespo-Alonso	[15]
8	R. García	[20]
9	G. González-Páez	[11]
10	Ana González-Uriel	[17]
11	L. Gozález-Sotos	[10]
12	Begoña Herrero	[14]
13	Laura Laita	[11] [14] [15] [18] [21]
14	Luis M. Laita	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [14] [15] [16] [18] [19] [20] [21] [23]
15	Luis de Ledesma	[1] [5] [6] [9] [10] [11] [14] [15] [18]
16	Luis López-Corral	[21]
17	E. López-Vidriero	[19]
18	E. López-Vidriero Jr.	[19]
19	Victor Maojo	[4] [6] [7] [11] [14] [15] [19]
20	Eugenio Roanes-Macías	[1] [2] [3] [8] [13] [16] [19] [20] [22] [23]
21	I. Rodríguez-Daza	[15]
22	Juan Rodríguez-Pedrosa	[7]
23	Carlos Rodríguez-Solano	[21]
24	R. Sánchez-Morgado	[18]

Colors in the list of coauthors