Roman Manevich

1.2k citations
18 papers · 593 · h-index 10

Impact in

Papers in

Roman Manevich

16 papers receiving 576 citations

Peers

Roman Manevich
Comparison fields: 5 of 40
  • Hardware and Architecture 307
  • Software 113
  • Computer Networks and Communications 325
  • Computer Vision and Pattern Recognition 188
  • Information Systems 190
Replace Mario Méndez-Lojo with:
Mario Méndez-Lojo United States
Rupesh Nasre India
Arvind K. Sujeeth United States
Dimitrios Prountzos United States
Sebastian Hack Germany
HyoukJoong Lee United States
Paruj Ratanaworabhan United States
Robert L. Bocchino United States
Todd L. Veldhuizen Canada
Tayo Oguntebi United States
Roman Manevich relative to Mario Méndez-Lojo United States Mario Méndez-Lojo's profile →
Citations per field
00.5×1.5×
Mario Méndez-Lojo · 1×
Citations per year

Countries citing papers authored by Roman Manevich

Since Specialization
Citations

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

Fields of papers citing papers by Roman Manevich

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authors

The 25 scholars most cited alongside Roman Manevich, 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 Roman Manevich Line = papers co-authored together Roman Manevich links everyone, so they are left out of the graph.

All Works

18 of 18 papers shown
#Work
1 2011208
2 2011187
3 200488
4 201222
5 200418
6 201514
7 201112
8 201110
9 201010
10 201210
11 20204
12 20123
13 20102
14
PARTIALLY DISJUNCTIVE SHAPE ANALYSIS
20092
15 20192
16 20151
17
Inferring Program Extensions from Traces.
20180
18
Abstract Counterexample-Based Refinement for Powerset Domains.
20060

About Roman Manevich

Roman Manevich is a scholar working on Computer Networks and Communications, Hardware and Architecture, Computer Vision and Pattern Recognition, Artificial Intelligence and Software, having authored 18 papers that have together received 593 indexed citations. Recurring topics across this work include Parallel Computing and Optimization Techniques (8 papers), Graph Theory and Algorithms (6 papers), Software Testing and Debugging Techniques (6 papers), Distributed systems and fault tolerance (5 papers), Logic, programming, and type systems (3 papers), Interconnection Networks and Systems (2 papers), Constraint Satisfaction and Optimization (2 papers) and Software Reliability and Analysis Research (2 papers). The work is most often cited by research in Hardware and Architecture (307 citations), Software (113 citations), Computer Networks and Communications (325 citations), Computer Vision and Pattern Recognition (188 citations) and Information Systems (190 citations). Roman Manevich has collaborated with scholars based in United States, Israel and Finland. Frequent co-authors include Dimitrios Prountzos, Keshav Pingali, Milind Kulkarni, M. Amber Hassaan, Tsung‐Hsien Lee, Martin Burtscher, Donald Nguyen, Andrew Lenharth, Xin Sui and Rashid Kaleem. Their work appears in journals such as ACM SIGPLAN Notices, ACM SIGSOFT Software Engineering Notes and HAL (Le Centre pour la Communication Scientifique Directe).

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