Luís Pinto
About
Luís Pinto has authored 18 papers that have received a total of 110 indexed citations.
This includes 16 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 1 paper in Management Information Systems. The topics of these papers are Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (8 papers). Luís Pinto is often cited by papers focused on Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in Portugal, France and United Kingdom. Luís Pinto's co-authors include Roy Dyckhoff, Ralph Matthes, Tarmo Uustalu, Sérgio Sousa and Gilles Barthe and has published in prestigious journals such as Theoretical Computer Science, Annals of Pure and Applied Logic and Procedia Manufacturing
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Mark Bickford are published in Top journals papers by R. A. Rosenbaum are published in Top fields papers by Fabio Leonardo Meza‐Joya are about Top journals papers by John Malcolm Russell are published in Top fields papers by Gabriel Costa Queiroz are about Top countries impacted by papers by Nobunaga Okada Top fields papers by Laurie Maguire are about Top fields papers by Katharina Kohl are about