Sérgio Campos
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Hardware and Architecture top 10%
- Real-Time Systems Scheduling
Papers in
-
- Formal Methods in Verification 21
-
- Caching and Content Delivery 13
- Peer-to-Peer Network Technologies 13
- Co-authors
- Jussara M. Almeida (7 shared papers)Marius Minea (7 shared papers)Edmund M. Clarke (5 shared papers)E. M. Clarke (5 shared papers)L.M. Fonseca (3 shared papers)W. Marrero (3 shared papers)Ronnie Alves (1 shared paper)Ítalo Cunha (6 shared papers)
- Journals
- BMC Genomics (3 papers)Science of Computer Programming (3 papers)IEEE/ACM Transactions on Computational Biology and Bioinformatics (2 papers)ACM SIGPLAN Notices (2 papers)Theriogenology (1 paper)
- Partner nations
- BrazilUnited StatesArgentina
In The Last Decade
Sérgio Campos
55 papers receiving 418 citations
Peers
Comparison fields: 5 of 89
- Software 64
- Hardware and Architecture 55
- Computational Theory and Mathematics 110
- Analytical Chemistry 55
- Computer Networks and Communications 118
Countries citing papers authored by Sérgio Campos
This map shows the geographic impact of Sérgio Campos'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 Sérgio Campos with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sérgio Campos more than expected).
Fields of papers citing papers by Sérgio Campos
This network shows the impact of papers produced by Sérgio Campos. 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 Sérgio Campos. The network helps show where Sérgio Campos may publish in the future.
Co-authors
The 25 scholars most cited alongside Sérgio Campos, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 57 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2019 | 64 | |
| 2 | 2005 | 31 | |
| 3 | 1995 | 26 | |
| 4 | 2010 | 21 | |
| 5 | 2012 | 20 | |
| 6 | 2022 | 19 | |
| 7 | 2000 | 19 | |
| 8 | 2008 | 18 | |
| 9 | 2016 | 18 | |
| 10 | 2016 | 17 | |
| 11 | 1995 | 17 | |
| 12 | A quantitative approach to the formal verification of real-time systems | 1996 | 17 |
| 13 | 2023 | 15 | |
| 14 | 2002 | 14 | |
| 15 | 2013 | 9 | |
| 16 | 2012 | 9 | |
| 17 | 2011 | 9 | |
| 18 | 2009 | 7 | |
| 19 | 2002 | 6 | |
| 20 | 2025 | 6 |
About Sérgio Campos
Sérgio Campos is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications, Hardware and Architecture, Software and Molecular Biology, having authored 57 papers that have together received 450 indexed citations. Recurring topics across this work include Formal Methods in Verification (21 papers), Caching and Content Delivery (13 papers), Peer-to-Peer Network Technologies (13 papers), Real-Time Systems Scheduling (9 papers), Embedded Systems Design Techniques (8 papers), Software Reliability and Analysis Research (6 papers), Software Testing and Debugging Techniques (5 papers) and Multimedia Communication and Technology (4 papers). The work is most often cited by research in Software (64 citations), Hardware and Architecture (55 citations), Computational Theory and Mathematics (110 citations), Analytical Chemistry (55 citations) and Computer Networks and Communications (118 citations). Sérgio Campos has collaborated with scholars based in Brazil, United States and Argentina. Frequent co-authors include Jussara M. Almeida, Marius Minea, Edmund M. Clarke, E. M. Clarke, L.M. Fonseca, W. Marrero, Ronnie Alves, Ítalo Cunha, Alex Borges Vieira and Marcelo de Almeida Maia. Their work appears in journals such as BMC Genomics, Science of Computer Programming, IEEE/ACM Transactions on Computational Biology and Bioinformatics, ACM SIGPLAN Notices and Theriogenology.
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.