Lucas C. Cordeiro
- Computational Theory and Mathematics top 1%
- Software top 1%
- Artificial Intelligence top 5%
- Information Systems top 5%
- Computer Networks and Communications top 5%
- Co-authors
- Bernd FischerJoão Marques‐SilvaMohamed Amine FerragNorbert TihanyiIury BessaMérouane DebbahCelso B. CarvalhoDenis A. Nicole
- Topics
- Formal Methods in Verification (53 papers)Software Testing and Debugging Techniques (41 papers)Software Reliability and Analysis Research (21 papers)
- Partner nations
- BrazilUnited KingdomBelgium
In The Last Decade
Lucas C. Cordeiro
96 papers receiving 1.0k citations
Hit Papers
Peers
Comparison fields: 5 of 91
- Computational Theory and Mathematics 456
- Software 365
- Artificial Intelligence 302
- Information Systems 214
- Computer Networks and Communications 211
Countries citing papers authored by Lucas C. Cordeiro
This map shows the geographic impact of Lucas C. Cordeiro'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 Lucas C. Cordeiro with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Lucas C. Cordeiro more than expected).
Fields of papers citing papers by Lucas C. Cordeiro
This network shows the impact of papers produced by Lucas C. Cordeiro. 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 Lucas C. Cordeiro. The network helps show where Lucas C. Cordeiro may publish in the future.
Co-authorship network of co-authors of Lucas C. Cordeiro
This figure shows the co-authorship network connecting the top 25 collaborators of Lucas C. Cordeiro. A scholar is included among the top collaborators of Lucas C. Cordeiro 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 Lucas C. Cordeiro. Lucas C. Cordeiro is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | 0 | |
| 3 | 2 | |
| 4 | 1 | |
| 5 | 1 | |
| 6 | A comprehensive review of model compression techniques in machine learningbreakdown → | 57 |
| 7 | 8 | |
| 8 | 19 | |
| 9 | 0 | |
| 10 | 1 | |
| 11 | 1 | |
| 12 | 1 | |
| 13 | 1 | |
| 14 | 1 | |
| 15 | 4 | |
| 16 | ESBMC 1.22 - (Competition Contribution). | 10 |
| 17 | Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution) | 6 |
| 18 | 5 | |
| 19 | 17 | |
| 20 | Aplicando Padrões de Gerência de Configuração de Software em Projetos Geograficamente Distribuídos | 1 |
About Lucas C. Cordeiro
Lucas C. Cordeiro is a scholar working on Software, Hardware and Architecture and Computational Theory and Mathematics, having authored 109 papers that have together received 1.1k indexed citations. Recurring topics across this work include Formal Methods in Verification (53 papers), Software Testing and Debugging Techniques (41 papers) and Software Reliability and Analysis Research (21 papers). The work is most often cited by research in Software (365 citations), Hardware and Architecture (194 citations) and Computational Theory and Mathematics (456 citations). Lucas C. Cordeiro has collaborated with scholars based in Brazil, United Kingdom and Belgium. Frequent co-authors include Bernd Fischer, João Marques‐Silva, Mohamed Amine Ferrag, Norbert Tihanyi, Iury Bessa, Mérouane Debbah, Celso B. Carvalho, Denis A. Nicole, Thierry Lestable and Raimundo Barreto. Their work appears in journals such as Scientific Reports, IEEE Communications Surveys & Tutorials and IEEE Access.
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.