Duc-Khanh Tran

Researcher Profile 5/10

29 publications · 101 citations · h-index 5

Information

🏛️Affiliation: Cho Ray Hospital
🔬Field: Mathematics
✍️Profile incomplete — add information

An h-index of 5 places this researcher in Mathematics, within the top 25% of 1,789 profiles in this field in our directory.

Featured publications

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn20 citations
Lecture notes in computer science · 2005 · DOI

Automatic Decidability and Combinability Revisited16 citations
Lecture notes in computer science · 2007 · DOI

Automatic decidability and combinability14 citations
Information and Computation · 2011 · DOI

Automatic Combinability of Rewriting-Based Satisfiability Procedures14 citations
Lecture notes in computer science · 2006 · DOI

Combination of convex theories: Modularity, deduction completeness, and explanation11 citations
Journal of Symbolic Computation · 2009 · DOI

Theoretical Aspects of Computing – ICTAC 20055 citations
Lecture notes in computer science · 2005 · DOI

SMELS: Satisfiability Modulo Equality with Lazy Superposition4 citations
Lecture notes in computer science · 2008 · DOI

Fuzzy linguistic propositional logic based on refined hedge algebra3 citations
· 2013 · DOI

Combining Proof-Producing Decision Procedures2 citations
Lecture notes in computer science · 2007 · DOI

Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra2 citations
Communications in computer and information science · 2014 · DOI

About the field of Mathematics

1,789researchers 30,127publications 381,053citations 4.2average h-index

Common research topics in this field:

Composite Structure Analysis and OptimizationAdvanced machining processes and optimizationAdvanced Mathematical Modeling in EngineeringOptimization and Variational AnalysisNonlinear Differential Equations AnalysisStability and Controllability of Differential Equations

Institutions with the most researchers in this field: