Corneliu Popeea

1.1k total citations
30 papers, 373 citations indexed

About

Corneliu Popeea is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Corneliu Popeea has authored 30 papers receiving a total of 373 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 12 papers in Software. Recurrent topics in Corneliu Popeea's work include Logic, programming, and type systems (13 papers), Formal Methods in Verification (13 papers) and Software Testing and Debugging Techniques (12 papers). Corneliu Popeea is often cited by papers focused on Logic, programming, and type systems (13 papers), Formal Methods in Verification (13 papers) and Software Testing and Debugging Techniques (12 papers). Corneliu Popeea collaborates with scholars based in Romania, Singapore and Germany. Corneliu Popeea's co-authors include Andrey Rybalchenko, Nuno P. Lopes, Ashutosh Gupta, Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Bogdan Dumitrescu, Swarat Chaudhuri, Siau‐Cheng Khoo and Jaakko Astola and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and Signal Processing.

In The Last Decade

Corneliu Popeea

29 papers receiving 363 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Corneliu Popeea Romania	10	263	246	179	70	45	30	373
Andy King United Kingdom	9	116 0.4×	162 0.7×	98 0.5×	58 0.8×	39 0.9×	40	273
Richard L. Schwartz United States	9	95 0.4×	196 0.8×	53 0.3×	70 1.0×	71 1.6×	27	316
César Sánchez Spain	8	130 0.5×	133 0.5×	67 0.4×	71 1.0×	59 1.3×	38	257
I. Lee United States	8	143 0.5×	83 0.3×	53 0.3×	107 1.5×	78 1.7×	12	282
Raymond Boute Belgium	9	92 0.3×	93 0.4×	57 0.3×	66 0.9×	23 0.5×	41	234
Nikolaï Kosmatov France	10	95 0.4×	147 0.6×	208 1.2×	69 1.0×	57 1.3×	39	353
Wonchan Lee United States	10	48 0.2×	131 0.5×	117 0.7×	133 1.9×	120 2.7×	23	299
Linbin Yu United States	8	44 0.2×	69 0.3×	272 1.5×	40 0.6×	49 1.1×	14	328
Azadeh Farzan Canada	12	217 0.8×	227 0.9×	221 1.2×	191 2.7×	175 3.9×	40	476
Bardh Hoxha United States	11	121 0.5×	81 0.3×	95 0.5×	38 0.5×	26 0.6×	38	253

Countries citing papers authored by Corneliu Popeea

Since Specialization

Citations

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

Fields of papers citing papers by Corneliu Popeea

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Corneliu Popeea

This figure shows the co-authorship network connecting the top 25 collaborators of Corneliu Popeea. A scholar is included among the top collaborators of Corneliu Popeea 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 Corneliu Popeea. Corneliu Popeea 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:

20 of 20 papers shown

1.

Popeea, Corneliu, et al.. (2014). Reduction for compositional verification of multi-threaded programs. 187–194. 3 indexed citations

2.

Chaudhuri, Swarat, et al.. (2014). A constraint-based approach to solving games on infinite graphs. 221–233. 28 indexed citations

3.

Gupta, Ashutosh, et al.. (2012). HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution). 549–551. 11 indexed citations

4.

Lopes, Nuno P., et al.. (2012). Synthesizing software verifiers from proof rules. 405–416. 104 indexed citations

5.

Popeea, Corneliu & Wei-Ngan Chin. (2012). Dual analysis for proving safety and finding bugs. Science of Computer Programming. 78(4). 390–411. 3 indexed citations

6.

Gupta, Ashutosh, Corneliu Popeea, & Andrey Rybalchenko. (2011). Predicate abstraction and refinement for verifying multi-threaded programs. 331–344. 37 indexed citations

7.

Popeea, Corneliu & Wei-Ngan Chin. (2010). Dual analysis for proving safety and finding bugs. National University of Singapore. 2137–2143. 2 indexed citations

8.

Chin, Wei-Ngan, Huu Hai Nguyen, Corneliu Popeea, & Shengchao Qin. (2008). Analysing memory resource bounds for low-level programs. Durham Research Online (Durham University). 151–160. 39 indexed citations

9.

Popeea, Corneliu, et al.. (2007). L2-Norm Order Reduction. 9(2). 5–10. 1 indexed citations

10.

Chin, Wei-Ngan, et al.. (2006). A flow-based approach for variant parametric types. National University of Singapore. 273–290. 6 indexed citations

11.

Chin, Wei-Ngan, et al.. (2006). A flow-based approach for variant parametric types. ACM SIGPLAN Notices. 41(10). 273–290. 4 indexed citations

12.

Popeea, Corneliu, et al.. (2003). EigenValue Optimization Techniques For Designing Optimum FIR Compaction Filters. 5(1). 3–18. 1 indexed citations

13.

Popeea, Corneliu, et al.. (2003). Optimizing the compaction gain in a class of IIR filters. 3. 528–531. 2 indexed citations

14.

Dumitrescu, Bogdan & Corneliu Popeea. (2002). Accurate computation of compaction filters with high regularity. IEEE Signal Processing Letters. 9(9). 278–281. 10 indexed citations

15.

Popeea, Corneliu, et al.. (2002). An efficient algorithm for FIR filter bank completion. 6. 3629–3632. 4 indexed citations

16.

Popeea, Corneliu, et al.. (2002). A Parallel 4SID Algorithm. 4(1). 5–18.

17.

Popeea, Corneliu, et al.. (2001). A design procedure for optimal energy compaction IIR filters. IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing. 48(7). 740–744. 2 indexed citations

18.

Popeea, Corneliu & Bogdan Dumitrescu. (2001). Optimal compaction gain by eigenvalue minimization. Signal Processing. 81(5). 1113–1116. 4 indexed citations

19.

Popeea, Corneliu, et al.. (1998). The closed‐loop implementation of the open‐loop stackelberg solution in the linear quadratic problems. ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik. 78(S3). 1097–1100. 2 indexed citations

20.

Popeea, Corneliu, et al.. (1977). Numerical stabilizability tests by a matrix sign function. IEEE Transactions on Automatic Control. 22(4). 654–656. 1 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