Nguyen Van Tang
According to our database1,
Nguyen Van Tang
authored at least 12 papers
between 2006 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
J. Appl. Math., 2014
Formal Aspects Comput., 2014
2013
Proceedings of the 4th International Symposium on Information and Communication Technology, 2013
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012
Proceedings of the Language and Automata Theory and Applications, 2012
2011
Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011
2009
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
2008
Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata.
Inf. Media Technol., 2008
2006
Proceedings of the Advances in Computer Science, 2006