Andrei Popescu

1.7k total citations
65 papers, 651 citations indexed

About

Andrei Popescu is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Andrei Popescu has authored 65 papers receiving a total of 651 indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Artificial Intelligence, 39 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. Recurrent topics in Andrei Popescu's work include Logic, programming, and type systems (31 papers), Logic, Reasoning, and Knowledge (30 papers) and Advanced Algebra and Logic (18 papers). Andrei Popescu is often cited by papers focused on Logic, programming, and type systems (31 papers), Logic, Reasoning, and Knowledge (30 papers) and Advanced Algebra and Logic (18 papers). Andrei Popescu collaborates with scholars based in Romania, United Kingdom and Germany. Andrei Popescu's co-authors include George Georgescu, Christopher G. Chute, W. P. Daniel Su, Jasmin Christian Blanchette, Dmitriy Traytel, Elsa L. Gunter, Rodica Maricela Anghel, Franco Raimondi, Grigore Roşu and Nicholas Smallbone and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the American Academy of Dermatology and Fuzzy Sets and Systems.

In The Last Decade

Andrei Popescu

56 papers receiving 632 citations

Peers

Andrei Popescu

CTM

MSOR

EPIDE

DERMA

Turki Turki Saudi Arabia

Ergin Soysal United States

Anoop Kumar Tiwari India

Stuart Bailey United States

Jan G. Bazan Poland

Daniel Le United States

Karl Wolff Germany

Ali Ahmed Sudan

David A. Mix Barrington United States

Jelena Ignjatović Serbia

Turki Turki Saudi Arabia

Andrei Popescu

110 ×0.3

CTM

175 ×0.7

3 ×0.0

MSOR

29 ×0.2

EPIDE

9 ×0.1

DERMA

Citations per year, relative to Andrei Popescu Andrei Popescu (= 1×) peers Turki Turki

Countries citing papers authored by Andrei Popescu

Since Specialization

Citations

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

Fields of papers citing papers by Andrei Popescu

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Andrei Popescu

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

Iliescu, Mădălina Gabriela, et al.. (2025). Comparative study of outcomes with total knee arthroplasty: medial pivot prosthesis vs posterior stabilized implant. Prospective randomized control. International Orthopaedics. 49(3). 629–639. 2 indexed citations

McKinna, James, et al.. (2025). Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings. Proceedings of the ACM on Programming Languages. 9(POPL). 1687–1718.

Iliescu, Mădălina Gabriela, et al.. (2024). Clinical outcomes of total hip arthroplasty after femoral neck fractures vs. osteoarthritis at one year follow up—A comparative, retrospective study. International Orthopaedics. 48(9). 2301–2310. 7 indexed citations

Czakon, M., Zahari Kassabov, Alexander Mitov, René Poncelet, & Andrei Popescu. (2024). HighTEA: high energy theory event analyser. Journal of Physics G Nuclear and Particle Physics. 51(11). 115002–115002. 4 indexed citations

Şerban, Dragoş, Corneliu Tudor, Florin Bobîrcă, et al.. (2024). Enhanced Recovery After Surgery in Laparoscopic Cholecystectomy - A Systematic Review. Chirurgia. 119(3). 318–318. 1 indexed citations

Popescu, Andrei. (2023). Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. Journal of Automated Reasoning. 67(3). 1 indexed citations

Popescu, Andrei & Dmitriy Traytel. (2020). An Abstract Formalization of Gödel's Incompleteness Theorems.. 2020.

Popescu, Andrei & Dmitriy Traytel. (2020). Syntax-Independent Logic Infrastructure.. 2020.

Popescu, Andrei & Dmitriy Traytel. (2020). From Abstract to Concrete Gödel's Incompleteness Theorems - Part II.. 2020.

10.

Blanchette, Jasmin Christian, et al.. (2019). Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages. 3(POPL). 1–34. 7 indexed citations

11.

Popescu, Andrei, et al.. (2018). Safety and Conservativity of Definitions in HOL and Isabelle/HOL. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 3 indexed citations

12.

Avigad, Jeremy, Jasmin Christian Blanchette, Gerwin Klein, et al.. (2018). Introduction to Milestones in Interactive Theorem Proving. Journal of Automated Reasoning. 61(1-4). 1–8. 1 indexed citations

13.

Blanchette, Jasmin Christian, et al.. (2017). Foundational nonuniform (co)datatypes for higher-order logic. 1–12. 3 indexed citations

14.

Popescu, Andrei, et al.. (2017). Treating malignant melanoma when a rare BRAF V600M mutation is present: case report and literature review. Romanian Journal of Internal Medicine. 56(2). 122–126. 8 indexed citations

15.

Popescu, Andrei & Grigore Roşu. (2015). Term-generic logic. Theoretical Computer Science. 577. 1–24. 3 indexed citations

16.

Popescu, Andrei & Peter Lammich. (2014). Bounded-Deducibility Security.. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 2014. 1 indexed citations

17.

Rabe, Markus N., Peter Lammich, & Andrei Popescu. (2014). A shallow embedding of HyperCTL.. 2014. 2 indexed citations

18.

Popescu, Andrei, Johannes Hölzl, & Tobias Nipkow. (2013). Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. Middlesex University Research Repository (Middlesex University Of London). 236–252. 2 indexed citations

19.

Popescu, Andrei. (2010). The Isabelle formalization of a general theory of syntax with bindings. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 1 indexed citations

20.

Popescu, Andrei, et al.. (1990). Basal cell carcinoma. Journal of the American Academy of Dermatology. 22(3). 413–417. 143 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