Luís Cruz-Filipe
About
Luís Cruz-Filipe has authored 28 papers that have received a total of 117 indexed citations.
This includes 24 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (15 papers), Logic, programming, and type systems (9 papers) and Formal Methods in Verification (7 papers). Luís Cruz-Filipe is often cited by papers focused on Logic, Reasoning, and Knowledge (15 papers), Logic, programming, and type systems (9 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Denmark, Portugal and Israel. Luís Cruz-Filipe's co-authors include Michael Codish, Peter Schneider–Kamp, Fabrizio Montesi, Bart Bogaerts and Amı́lcar Sernadas and has published in prestigious journals such as Artificial Intelligence, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Paul Tucker are published in Top journals papers by Rebecca L. Copeland are published in Top journals papers by Michael A. Napolitano are published in Top fields papers by Rahul K. Arora are about Top fields papers by Nick Rushby are about Top fields papers by Samuel Suhard are about Top countries impacted by papers by José M. Badía Top fields papers by Anderson Carvalho are about