Concepedia

Denisa Diaconescu

DD

Statistics

Publications

4

Citations

95

H-Index

4

Active since

2007

Affiliations

University of Bucharest(Current)

Denisa Diaconescu is an author at University of Bucharest specializing in representation theory, automated reasoning, and engineering.

ORCID

Top concepts

Publications per year

2007–2020

4

Publications

4

Tense Operators on MV-Algebras and Łukasiewicz-Moisil Algebras

Denisa Diaconescu, George Georgescu · Fundamenta Informaticae · 2007 · 57 citations

, , +10

Lexicographic MV-algebras and lexicographic states

Denisa Diaconescu, Tommaso Flaminio, Ioana Leuştean · Fuzzy Sets and Systems · 2014 · 15 citations

, , +3

Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations

Denisa Diaconescu · Fundamenta Informaticae · 2020 · 12 citations

, , +11

Formalizing Correct-by-Construction Casper in Coq

Elaine Li, Traian Florin Şerbănuţă, Denisa Diaconescu et al. · 2020 · 11 citations

1–4 of 4