FESK.COMYour global study desk
Email us
Home › Scholar › Dang Van Hung
COMPILEDopen profilenot managed by this scholar
D

Dang Van Hung

Researcher Profile 5/10
Vietnam National University Ho Chi Minh City
72 publications · 522 citations · h-index 14
This is my profile

Information

Featured publications

A duration calculus with infinite intervals36 citations
Lecture notes in computer science · 1995 · DOI
Duration Calculus of Weakly Monotonic Time32 citations
Lecture notes in computer science · 1998 · DOI
Checking linear duration invariants by linear programming31 citations
Lecture notes in computer science · 1996 · DOI
Probabilistic Duration Calculus for Continuous Time26 citations
Formal Aspects of Computing · 1999 · DOI
On the design of hybrid control systems using automata models24 citations
Lecture notes in computer science · 1996 · DOI
Checking hybrid automata for linear duration invariants21 citations
Lecture notes in computer science · 1997 · DOI
Completeness and Decidability of a Fragment of Duration Calculus with Iteration21 citations
Lecture notes in computer science · 1999 · DOI
Modelling with Relational Calculus of Object and Component Systems - rCOS20 citations
Lecture notes in computer science · 2008 · DOI
Prefix and Projection onto State in Duration Calculus20 citations
Electronic Notes in Theoretical Computer Science · 2002 · DOI
Verifying Linear Duration Constraints of Timed Automata19 citations
Lecture notes in computer science · 2005 · DOI

Same institution — Vietnam National University Ho Chi Minh City

H
Hoa Cong Vu
Metallurgy
P
Phuong Phong Nguyen Thi
Chemistry
N
Nguyen Thuy Diem Thao
Chemistry
M
My Nga Truong
Chemistry
H
Hoang-Quynh Le
Information Technology
H
Ho Thi Ngan Ha
Pharmacy
Verify at: ORCID Find works on Google Scholar ↗ Search Google ↗
The publication list above is compiled from the open academic database OpenAlex (CC0 licence). Compare with the source record on OpenAlex ↗

Suggest / Claim this profile

  
Profile aggregated from public sources. We respect scholars' rights to edit and remove information — all requests are processed promptly.
Dang Van HungVietnam National University Ho Chi Minh City
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.