Concepedia

Andrei Popescu

AP

Statistics

Publications

25

Citations

1K

H-Index

16

Active since

1990

Affiliations

Middlesex University(Current)

University of Bucharest

Romanian Academy

Technical University of Munich

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Andrei Popescu is an author at Middlesex University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringAutomated ReasoningFormal MethodsFormal VerificationComputer ScienceSemanticsVerificationFuzzy LogicSyntaxLanguage

Publications per year

1990–2024

25

Publications

25

Non-dual fuzzy connections

George Georgescu, Andrei Popescu · Archive for Mathematical Logic · 2004 · 198 citations

Mathematical Programming, Fuzzy Logic, Fuzzy Systems +6

Basal cell carcinoma

Tsu-Yi Chuang, Andrei Popescu, W. P. Daniel Su et al. · Journal of the American Academy of Dermatology · 1990 · 180 citations

Tumoral Pathology, Medicine, Dermatology +4

A general approach to fuzzy concepts

Andrei Popescu · Mathematical logic quarterly · 2004 · 94 citations

Non-classical Logic, Fuzzy Logic, Fuzzy Systems +14

Non-commutative fuzzy Galois connections

George Georgescu, Andrei Popescu · Soft Computing · 2003 · 76 citations

Fuzzy Mathematics, Fuzzy Logic, Universal Algebra +1

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette · 2012 · 62 citations

Engineering, Automated Reasoning, Type Theory +15

1–5 of 25