Concepedia

Luis M. Laita

LM

18

Publications

437

Citations

14

H-Index

1977

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Universidad Complutense de Madrid

Universidad de Sevilla

Universidad San Pablo CEU

Luis M. Laita is an author at Universidad Politécnica de Madrid specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSystems EngineeringTransportation EngineeringIntelligent SystemsBusinessMedicineDiagnosis

Publications per year

1977–2010

18

Publications

18

A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra

Eugenio Roanes–Lozano, Luis M. Laita, Eugenio Roanes-Macı́as · Mathematics and Computers in Simulation · 1998 · 50 citations

Computational Logic, Algebraic Logic, Polynomial Model +7

An accelerated-time simulation of departing passengers’ flow in airport terminals

Eugenio Roanes–Lozano, Luis M. Laita, Eugenio Roanes-Macı́as · Mathematics and Computers in Simulation · 2004 · 38 citations

Engineering, Airport Management, Traffic Flow +8

A logic and computer algebra-based expert system for diagnosis of anorexia

Cristina Pérez-Carretero, Luis M. Laita, Eugenio Roanes–Lozano et al. · Mathematics and Computers in Simulation · 2002 · 35 citations

Artificial Intelligence, Engineering, Intelligent Diagnostics +8

A computer algebra approach to verification and deduction in many-valued knowledge systems

Luis M. Laita, Eugenio Roanes–Lozano, Luis de Ledesma et al. · Soft Computing · 1999 · 35 citations

Many-valued Knowledge Systems, Decision Procedure, Knowledge Representation +11

Railway interlocking systems and Gröbner bases

Eugenio Roanes–Lozano, Eugenio Roanes-Macı́as, Luis M. Laita · Mathematics and Computers in Simulation · 2000 · 35 citations

Railway Traffic, Engineering, Rail Transport +5

Rows per page

1–5 of 18