Luis M. Laita

33 papers and 303 indexed citations i.

Luis M. Laita has authored 33 papers that have received a total of 303 indexed citations. This includes 20 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 4 papers in Theoretical Computer Science. The topics of these papers are Logic, programming, and type systems (12 papers), Polynomial and algebraic computation (12 papers) and Formal Methods in Verification (8 papers). Luis M. Laita is often cited by papers focused on Logic, programming, and type systems (12 papers), Polynomial and algebraic computation (12 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in Spain, Puerto Rico and Norway. Luis M. Laita's co-authors include Eugenio Roanes–Lozano, Eugenio Roanes-Macı́as, Antonio Hernando, Antonio Hernando and Carlos Rodríguez-Solano and has published in prestigious journals such as Expert Systems with Applications, Artificial Intelligence and Computers & Mathematics with Applications