Dang Van Hung

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the design of hybrid control systems using automata models	2024-07-05	Paper
A duration calculus with infinite intervals Fundamentals of Computation Theory	2022-12-09	Paper
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus Journal of Applied Non-Classical Logics	2009-11-11	Paper
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
Checking temporal duration properties of timed automata. Journal of Computer Science and Technology	2004-07-01	Paper
Process net reconstruction from the sequence of Petri net transition triggerings Moscow University Computational Mathematics and Cybernetics	2001-04-02	Paper
Checking timed automata for linear duration properties Journal of Computer Science and Technology	2000-11-20	Paper
Probabilistic duration calculus for continuous time Formal Aspects of Computing	2000-01-02	Paper
scientific article; zbMATH DE number 522857 (Why is no real title available?)	1994-07-19	Paper
Semi-commutations and Petri nets Theoretical Computer Science	1989-01-01	Paper
scientific article; zbMATH DE number 4056993 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4035180 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3894485 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Dang Van Hung