Luis M. Laita

647 total citations
38 papers, 322 citations indexed

About

Luis M. Laita is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science. According to data from OpenAlex, Luis M. Laita has authored 38 papers receiving a total of 322 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 4 papers in Theoretical Computer Science. Recurrent topics in Luis M. Laita's work include Logic, programming, and type systems (14 papers), Polynomial and algebraic computation (12 papers) and Logic, Reasoning, and Knowledge (11 papers). Luis M. Laita is often cited by papers focused on Logic, programming, and type systems (14 papers), Polynomial and algebraic computation (12 papers) and Logic, Reasoning, and Knowledge (11 papers). Luis M. Laita collaborates with scholars based in Spain, Puerto Rico and France. Luis M. Laita's co-authors include Eugenio Roanes–Lozano, Antonio Hernando, Antonio Hernando, Carlos Rodríguez-Solano, Víctor Maojo, Carlos Roncero‐Clemente, Michael J. Wester, Robin Boswell, Júlia Couto and Frans Coenen and has published in prestigious journals such as Expert Systems with Applications, Artificial Intelligence and Computers & Mathematics with Applications.

In The Last Decade

Luis M. Laita

34 papers receiving 299 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Luis M. Laita Spain 12 163 135 41 33 21 38 322
Gary Cornell United States 9 49 0.3× 94 0.7× 15 0.4× 67 2.0× 12 0.6× 41 410
Leliane Nunes de Barros Brazil 10 49 0.3× 177 1.3× 36 0.9× 43 1.3× 8 0.4× 43 238
Pierre Flener Sweden 11 94 0.6× 159 1.2× 58 1.4× 143 4.3× 10 0.5× 74 360
Alexey Ignatiev Australia 12 93 0.6× 368 2.7× 53 1.3× 55 1.7× 9 0.4× 38 433
Dilsun Kaynar United States 12 211 1.3× 197 1.5× 78 1.9× 129 3.9× 13 0.6× 24 429
Ewald Speckenmeyer Germany 8 341 2.1× 129 1.0× 17 0.4× 199 6.0× 32 1.5× 26 446
Bořivoj Melichar Czechia 6 56 0.3× 119 0.9× 17 0.4× 45 1.4× 10 0.5× 32 200
Kevin Wayne United States 8 83 0.5× 33 0.2× 10 0.2× 66 2.0× 31 1.5× 18 205
Belaïd Benhamou France 9 50 0.3× 100 0.7× 18 0.4× 99 3.0× 12 0.6× 45 249
Zongtian Liu China 11 114 0.7× 195 1.4× 12 0.3× 37 1.1× 9 0.4× 77 325

Countries citing papers authored by Luis M. Laita

Since Specialization
Citations

This map shows the geographic impact of Luis M. Laita's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Luis M. Laita with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luis M. Laita more than expected).

Fields of papers citing papers by Luis M. Laita

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luis M. Laita. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Luis M. Laita. The network helps show where Luis M. Laita may publish in the future.

Co-authorship network of co-authors of Luis M. Laita

This figure shows the co-authorship network connecting the top 25 collaborators of Luis M. Laita. A scholar is included among the top collaborators of Luis M. Laita based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Luis M. Laita. Luis M. Laita is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Laita, Luis M., et al.. (2012). A Gröbner bases-based rule based expert system for fibromyalgia diagnosis. Revista de la Real Academia de Ciencias Exactas Físicas y Naturales Serie A Matemáticas. 106(2). 443–456. 9 indexed citations
2.
Hernando, Antonio, Eugenio Roanes–Lozano, & Luis M. Laita. (2010). A Polynomial Model for Logics with a Prime Power Number of Truth Values. Journal of Automated Reasoning. 46(2). 205–221. 6 indexed citations
3.
Laita, Luis M., et al.. (2007). What machines can and cannot do. Hispana. 101(2). 133–157. 1 indexed citations
4.
García-Remesal, Miguel, et al.. (2007). An Algebraic Approach to Detect Logical Inconsistencies in Medical Appropriateness Criteria. Conference proceedings. 12. 5148–5151. 2 indexed citations
5.
Roanes–Lozano, Eugenio, et al.. (2004). An accelerated-time simulation of departing passengers’ flow in airport terminals. Mathematics and Computers in Simulation. 67(1-2). 163–172. 25 indexed citations
6.
Roanes–Lozano, Eugenio, et al.. (2004). The geometry of algebraic systems and their exact solving using Grobner bases. Computing in Science & Engineering. 6(2). 76–79. 8 indexed citations
7.
Roanes–Lozano, Eugenio, et al.. (2003). Cálculos efectivos en lógica proposicional booleana interpretada como un anillo de clases residuales (polinomial) sobre Z2. 17–42. 1 indexed citations
8.
Laita, Luis M., et al.. (2001). An expert system for managing medical appropriateness criteria based on computer algebra techniques. Computers & Mathematics with Applications. 42(12). 1505–1522. 17 indexed citations
9.
Laita, Luis M., et al.. (2000). Boole’s logic revisited from computer algebra. Mathematics and Computers in Simulation. 51(5). 419–439. 1 indexed citations
10.
Coenen, Frans, Trevor Bench‐Capon, Robin Boswell, et al.. (2000). Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15(2). 187–196. 10 indexed citations
11.
Laita, Luis M., et al.. (1999). A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Computing. 3(1). 7–19. 19 indexed citations
12.
Laita, Luis M., Eugenio Roanes–Lozano, Víctor Maojo, & Antonio Rodríguez-Díaz. (1998). A Logic and computer algebra approach to a decision-making problem in medicine. 92(4). 299–306. 1 indexed citations
13.
Roanes–Lozano, Eugenio & Luis M. Laita. (1998). An applicable topology-independent model for railway interlocking systems. Mathematics and Computers in Simulation. 45(1-2). 175–183. 24 indexed citations
14.
Borrajo, Daniel, et al.. (1997). A computational approach to George Boole's discovery of mathematical logic. Artificial Intelligence. 91(2). 281–307. 5 indexed citations
15.
Laita, Luis M., et al.. (1995). A formal model for verification of dynamic consistency of KBSs. Computers & Mathematics with Applications. 29(5). 81–96. 1 indexed citations
16.
Laita, Luis M., et al.. (1994). A formal model for knowledge-based systems verification. International Journal of Intelligent Systems. 9(9). 769–786. 2 indexed citations
17.
Laita, Luis M., et al.. (1987). Abraham Robinson's Meta‐Algebra Revisited. Mathematical logic quarterly. 33(6). 497–505. 1 indexed citations
18.
Laita, Luis M.. (1980). Boolean algebra and its extra-logical sources: the testimony of mary everest boole. History and Philosophy of Logic. 1(1-2). 37–60. 11 indexed citations
19.
Laita, Luis M.. (1977). The influence of Boole's search for a universal method in analysis on the creation of his logic. Annals of Science. 34(2). 163–176. 9 indexed citations
20.
Laita, Luis M.. (1976). A study of algebraic logic from the point of view of category theory.. Notre Dame Journal of Formal Logic. 17(1). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026