Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hoang D. T. Nguyen
Path Exploration Based on Symbolic Output
ACM Transactions on Software Engineering and Methodology
Software
Related publications
Based on the “Internet Plus” Era of Enterprise Management Innovation Path Exploration
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Symbolic Simulation on Complicated Loops for WCET Path Analysis
Path Dependence in Aggregate Output
Exploration on the Implementation Path of “Course-Based Ideological and Political Education” in College English
Test Generation Based on Symbolic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Computations Based on Grid Services
International Journal of Computers, Communications and Control
Mathematics
Computer Networks
Computer Science Applications
Computational Theory
Communications
Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Sleep Electroencephalogram Analysis Based on Symbolic Transfer Entropy
Path Planning Based on Parametric Curves
