Duc-Khanh Tran

Nhà nghiên cứu Hồ sơ 5/10

29 công bố · 101 trích dẫn · h-index 5

Thông tin

🏛️Nơi công tác: Bệnh viện Chợ Rẫy
🔬Lĩnh vực: Toán học
✍️Hồ sơ chưa đầy đủ — bổ sung thông tin

Chỉ số h-index 5 xếp học giả này vào lĩnh vực Toán học, thuộc nhóm 25% dẫn đầu trong 1.789 hồ sơ cùng lĩnh vực của danh bạ này.

Công bố tiêu biểu

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn20 trích dẫn
Lecture notes in computer science · 2005 · DOI

Automatic Decidability and Combinability Revisited16 trích dẫn
Lecture notes in computer science · 2007 · DOI

Automatic decidability and combinability14 trích dẫn
Information and Computation · 2011 · DOI

Automatic Combinability of Rewriting-Based Satisfiability Procedures14 trích dẫn
Lecture notes in computer science · 2006 · DOI

Combination of convex theories: Modularity, deduction completeness, and explanation11 trích dẫn
Journal of Symbolic Computation · 2009 · DOI

Theoretical Aspects of Computing – ICTAC 20055 trích dẫn
Lecture notes in computer science · 2005 · DOI

SMELS: Satisfiability Modulo Equality with Lazy Superposition4 trích dẫn
Lecture notes in computer science · 2008 · DOI

Fuzzy linguistic propositional logic based on refined hedge algebra3 trích dẫn
· 2013 · DOI

Combining Proof-Producing Decision Procedures2 trích dẫn
Lecture notes in computer science · 2007 · DOI

Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra2 trích dẫn
Communications in computer and information science · 2014 · DOI

Về lĩnh vực Toán học

1.789học giả

30.127công bố

381.053trích dẫn

4.2h-index trung bình

Hướng nghiên cứu phổ biến trong lĩnh vực:

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

Nơi có nhiều học giả lĩnh vực này nhất: