Marcelo d’Amorim

2.0k citations
67 papers · 1.1k indexed · h-index 20
Topics
Software Testing and Debugging Techniques (46 papers)Software Engineering Research (34 papers)Software Reliability and Analysis Research (29 papers)

In The Last Decade

Marcelo d’Amorim

60 papers receiving 1.0k citations

Peers

Marcelo d’Amorim
Comparison fields: 5 of 42
  • Software 728
  • Information Systems 619
  • Artificial Intelligence 315
  • Computer Networks and Communications 271
  • Signal Processing 215
Replace Christoph Csallner with:
Christoph Csallner United States
Giovanni Denaro Italy
Qirun Zhang United States
Cemal Yılmaz Türkiye
Raja Vallée-Rai Canada
Neha Rungta United States
Muzammil Shahbaz United Kingdom
Moonzoo Kim South Korea
Vijay Sundaresan Canada
Thomas Dillig United States
Marcelo d’Amorim relative to Christoph Csallner United States Christoph Csallner's profile →
Citations per field
00.5×
Christoph Csallner · 1×
Citations per year

Countries citing papers authored by Marcelo d’Amorim

Since Specialization
Citations

This map shows the geographic impact of Marcelo d’Amorim'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 Marcelo d’Amorim with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marcelo d’Amorim more than expected).

Fields of papers citing papers by Marcelo d’Amorim

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marcelo d’Amorim. 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 Marcelo d’Amorim. The network helps show where Marcelo d’Amorim may publish in the future.

Co-authorship network of co-authors of Marcelo d’Amorim

This figure shows the co-authorship network connecting the top 25 collaborators of Marcelo d’Amorim. A scholar is included among the top collaborators of Marcelo d’Amorim 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 Marcelo d’Amorim. Marcelo d’Amorim is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
#WorkIndexed citations
1 0
2 1
3 0
4 12
5 6
6 1
7 0
8 2
9 0
10 30
11 17
12 6
13
Optimized Execution of Deterministic Blocks in Java PathFinder
0
14
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing
3
15
Delta execution for software reliability
11
16 5
17 22
18
An Equational Specification for the Scheme Language
10
19 70
20
Automatic and Precise Dimensional Analysis
1

About Marcelo d’Amorim

Marcelo d’Amorim is a scholar working on Software, Information Systems and Signal Processing, having authored 67 papers that have together received 1.1k indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (46 papers), Software Engineering Research (34 papers) and Software Reliability and Analysis Research (29 papers). The work is most often cited by research in Software (728 citations), Information Systems (619 citations) and Signal Processing (215 citations). Marcelo d’Amorim has collaborated with scholars based in Brazil, United States and Germany. Frequent co-authors include Klaus Havelund, Darko Marinov, Rui Abreu, Alessandro Orso, Corina S. Păsăreanu, Breno Miranda, Michael D. Ernst, Grigore Roşu, Gustavo Pinto and Mattia Fazzini. Their work appears in journals such as IEEE Transactions on Software Engineering, European Radiology and IEEE Transactions on Reliability.

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.

Explore authors with similar magnitude of impact

Rankless by CCL
2026