Radu Grigore

481 total citations
15 papers, 153 citations indexed

About

Radu Grigore is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Radu Grigore has authored 15 papers receiving a total of 153 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 10 papers in Software and 7 papers in Computational Theory and Mathematics. Recurrent topics in Radu Grigore's work include Logic, programming, and type systems (10 papers), Software Testing and Debugging Techniques (10 papers) and Formal Methods in Verification (6 papers). Radu Grigore is often cited by papers focused on Logic, programming, and type systems (10 papers), Software Testing and Debugging Techniques (10 papers) and Formal Methods in Verification (6 papers). Radu Grigore collaborates with scholars based in United Kingdom, United States and Ireland. Radu Grigore's co-authors include Mayur Naik, Hongseok Yang, Xin Zhang, Xujie Si, Xin Zhang, Mikoláš Janota, Michał Moskal, Xin Zhang, Joseph R. Kiniry and Ke Mao and has published in prestigious journals such as ACM SIGPLAN Notices, Biomedicines and Proceedings of the ACM on Programming Languages.

In The Last Decade

Radu Grigore

13 papers receiving 146 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Radu Grigore United Kingdom	7	95	85	71	44	39	15	153
Boris Yakobowski France	2	79 0.8×	78 0.9×	40 0.6×	39 0.9×	55 1.4×	4	152
Valentin Wüstholz Germany	9	132 1.4×	79 0.9×	69 1.0×	57 1.3×	42 1.1×	17	206
Subhajit Roy India	9	152 1.6×	121 1.4×	125 1.8×	45 1.0×	42 1.1×	40	265
Xujie Si United States	9	95 1.0×	97 1.1×	106 1.5×	43 1.0×	21 0.5×	13	179
Vijayaraghavan Murali United States	10	123 1.3×	79 0.9×	162 2.3×	33 0.8×	14 0.4×	19	221
Bernhard Schaetz Germany	6	143 1.5×	98 1.2×	107 1.5×	12 0.3×	40 1.0×	14	196
Giles Reger United Kingdom	7	70 0.7×	79 0.9×	40 0.6×	17 0.4×	52 1.3×	32	151
Richard Bubel Germany	6	93 1.0×	138 1.6×	61 0.9×	23 0.5×	68 1.7×	22	191
Xianghua Deng United States	7	130 1.4×	75 0.9×	71 1.0×	19 0.4×	69 1.8×	13	203
Ulf Norell Sweden	6	81 0.9×	148 1.7×	37 0.5×	15 0.3×	94 2.4×	14	217

Countries citing papers authored by Radu Grigore

Since Specialization

Citations

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

Fields of papers citing papers by Radu Grigore

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Radu Grigore

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

All Works

Sort: Min cites: Since: Top N: Style:

15 of 15 papers shown

1.

Mao, Ke, et al.. (2024). PrivacyCAT: Privacy-Aware Code Analysis at Scale. 106–117. 2 indexed citations

2.

Distefano, Dino, et al.. (2024). Enhancing Compositional Static Analysis with Dynamic Analysis. 2121–2129.

3.

Dobrin, Romeo, et al.. (2024). Predictive Value of Inflammatory Biomarkers in Assessing Major Depression in Adults. Biomedicines. 12(11). 2501–2501. 2 indexed citations

4.

Mao, Ke, et al.. (2022). InfERL: scalable and extensible Erlang static analysis. 33–39. 4 indexed citations

5.

Zhang, Xin, Radu Grigore, Xujie Si, & Mayur Naik. (2017). Effective interactive resolution of static analysis alarms. Proceedings of the ACM on Programming Languages. 1(OOPSLA). 1–30. 19 indexed citations

6.

Grigore, Radu & Nikos Tzevelekos. (2016). History-Register Automata. Logical Methods in Computer Science. Volume 12, Issue 1.

7.

Grigore, Radu & Hongseok Yang. (2016). Abstraction refinement guided by a learnt probabilistic model. ACM SIGPLAN Notices. 51(1). 485–498. 1 indexed citations

8.

Grigore, Radu. (2016). Java generics are turing complete. Kent Academic Repository (University of Kent). 73–85. 20 indexed citations

9.

Zhang, Xin, et al.. (2014). On abstraction refinement for program analyses in Datalog. Kent Academic Repository (University of Kent). 239–248. 57 indexed citations

10.

Zhang, Xin, et al.. (2014). On abstraction refinement for program analyses in Datalog. ACM SIGPLAN Notices. 49(6). 239–248. 12 indexed citations

11.

Grigore, Radu. (2011). coreStar : the Core of jStar. 9 indexed citations

12.

Distefano, Dino, et al.. (2011). jStar-eclipse. 428–431. 2 indexed citations

13.

Grigore, Radu, et al.. (2009). Strongest postcondition of unstructured programs. 1–7. 6 indexed citations

14.

Janota, Mikoláš, Radu Grigore, & Michał Moskal. (2007). Reachability analysis for annotated code. 23–30. 10 indexed citations

15.

Grigore, Radu. (2005). CONSTRUCTING CHECKERS FROM PSL PROPERTIES. 2. 9 indexed citations

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