Trang chủ › Học giả › Dang Van Hung

Dang Van Hung

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

72 công bố · 522 trích dẫn · h-index 14

Thông tin

A duration calculus with infinite intervals36 trích dẫn
Lecture notes in computer science · 1995 · DOI

Duration Calculus of Weakly Monotonic Time32 trích dẫn
Lecture notes in computer science · 1998 · DOI

Checking linear duration invariants by linear programming31 trích dẫn
Lecture notes in computer science · 1996 · DOI

Probabilistic Duration Calculus for Continuous Time26 trích dẫn
Formal Aspects of Computing · 1999 · DOI

On the design of hybrid control systems using automata models24 trích dẫn
Lecture notes in computer science · 1996 · DOI

Checking hybrid automata for linear duration invariants21 trích dẫn
Lecture notes in computer science · 1997 · DOI

Completeness and Decidability of a Fragment of Duration Calculus with Iteration21 trích dẫn
Lecture notes in computer science · 1999 · DOI

Modelling with Relational Calculus of Object and Component Systems - rCOS20 trích dẫn
Lecture notes in computer science · 2008 · DOI

Prefix and Projection onto State in Duration Calculus20 trích dẫn
Electronic Notes in Theoretical Computer Science · 2002 · DOI

Verifying Linear Duration Constraints of Timed Automata19 trích dẫn
Lecture notes in computer science · 2005 · DOI

Danh sách công bố phía trên được tổng hợp từ cơ sở dữ liệu học thuật mở OpenAlex (giấy phép CC0). Đối chiếu hồ sơ gốc trên OpenAlex ↗

Dang Van HungĐại học Quốc gia TP.HCM

Hồ sơ gốc lưu tạihocthuat.vn— hai trang hiển thị cùng một cơ sở dữ liệu, xác minh ở đâu cũng đồng bộ.