Diego Garbervetsky

556 citations
49 papers · 384 · h-index 11

Impact in

  • Software top 5%
    • Software Testing and Debugging Techniques
    • Parallel Computing and Optimization Techniques
    • Real-Time Systems Scheduling
    • Embedded Systems Design Techniques

Papers in

    • Software Testing and Debugging Techniques 12
    • Logic, programming, and type systems 25
    • Advanced Software Engineering Methodologies 5

Diego Garbervetsky

45 papers receiving 373 citations

Peers

Diego Garbervetsky
Comparison fields: 5 of 18
  • Software 99
  • Hardware and Architecture 70
  • Artificial Intelligence 208
  • Computational Theory and Mathematics 86
  • Information Systems 51
Replace Alexander Konstantinovich Petrenko with:
Alexander Konstantinovich Petrenko Russia
Nancy A. Day Canada
Damien Doligez France
Miguel Gómez‐Zamalloa Spain
Ralf Steinbrüggen Germany
Ming Kawaguchi United States
César Kunz Spain
Tom Ridge United Kingdom
Jorge Sousa Pinto Portugal
A. Modet United States
Diego Garbervetsky relative to Alexander Konstantinovich Petrenko Russia Alexander Konstantinovich Petrenko's profile →
Citations per field
00.5×1.5×2×2.4×
Alexander Konstantinovich Petrenko · 1×
Citations per year

Countries citing papers authored by Diego Garbervetsky

Since Specialization
Citations

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

Fields of papers citing papers by Diego Garbervetsky

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authors

The 25 scholars most cited alongside Diego Garbervetsky, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Diego Garbervetsky Line = papers co-authored together Diego Garbervetsky links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 49 papers — load more, or switch the sort, to bring in the rest.

#Work
1 200857
2 200631
3 201031
4 201722
5 200221
6 200919
7 201318
8 200515
9 200914
10 201114
11 200511
12 201211
13 201711
14
Annotations for (more) Precise Points-to Analysis
200710
15
Synthesizing parametric specifications of dynamic memory utilization in object-oriented programs
20056
16 20056
17 20116
18 20126
19 20156
20 20166

About Diego Garbervetsky

Diego Garbervetsky is a scholar working on Software, Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture and Information Systems, having authored 49 papers that have together received 384 indexed citations. Recurring topics across this work include Logic, programming, and type systems (25 papers), Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (11 papers), Advanced Software Engineering Methodologies (5 papers), Software Engineering Research (3 papers), Real-Time Systems Scheduling (3 papers), Parallel Computing and Optimization Techniques (2 papers) and Teaching and Learning Programming (2 papers). The work is most often cited by research in Software (99 citations), Hardware and Architecture (70 citations), Artificial Intelligence (208 citations), Computational Theory and Mathematics (86 citations) and Information Systems (51 citations). Diego Garbervetsky has collaborated with scholars based in Argentina, United Kingdom and France. Frequent co-authors include Victor A. Braberman, Sergio Yovine, Sebastián Uchitel, Alfredo M. Olivero, Benjamin Livshits, Juan Pablo Galeotti, Sven Verdoolaege, Philippe Clauss, Manuel A. Fähndrich and Stefan Marr. Their work appears in journals such as ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Computer Science - Research and Development and Software Practice and Experience.

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