Truong Khanh Nguyen

Researcher Profile 4/10

My Duc Hospital · Information Technology

13 publications · 84 citations · h-index 6

Information

🏛️Affiliation: My Duc Hospital
🔬Field: Information Technology
✍️Profile incomplete — add information

An h-index of 6 places this researcher in Information Technology, within the top 25% of 2,378 profiles in this field in our directory.

Featured publications

Improved BDD-Based Discrete Analysis of Timed Systems19 citations
Lecture notes in computer science · 2012 · DOI

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions18 citations
Lecture notes in computer science · 2014 · DOI

Interpolation Guided Compositional Verification (T)14 citations
· 2015 · DOI

Regular Symmetry Patterns10 citations
Lecture notes in computer science · 2015 · DOI

Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization10 citations
Lecture notes in computer science · 2012 · DOI

A model checking framework for hierarchical systems9 citations
· 2011 · DOI

CELL: A Compositional Verification Framework2 citations
Lecture notes in computer science · 2013 · DOI

Regular Symmetry Patterns (Technical Report)1 citations
arXiv (Cornell University) · 2015 · DOI

Scaling BDD-based Timed Verification with Simulation Reduction1 citations
Lecture notes in computer science · 2016 · DOI

Recherche d'une corrélation entre les taux plasmatiques d'amiodarone, de la N-déséthylamiodarone et les hormones thyroidiennes
· 1994

About the field of Information Technology

2,378researchers 36,643publications 398,190citations 3.7average h-index

Common research topics in this field:

Topic ModelingNatural Language Processing TechniquesAdvanced Neural Network ApplicationsNetwork Security and Intrusion DetectionMultimodal Machine Learning ApplicationsAdvanced Image and Video Retrieval Techniques

Institutions with the most researchers in this field: