Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Thao Dang
Researcher
PaperProceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoTAuthorship / preprint / 2021PaperFalsifying Oscillation Properties of Parametric Biological ModelsAuthorship / preprint / 2013PaperProceedings Second International Workshop on Hybrid Systems and BiologyAuthorship / preprint / 2013PaperAnalysis of parametric biological models with non-linear dynamicsAuthorship / preprint / 2012PaperOccupation measure methods for modelling and analysis of biological hybrid automataAuthorship / preprint / 2018PaperTowards Efficient Active Learning of PDFAAuthorship / preprint / 2022PaperIdentifying Scenarios in Field Data to Enable Validation of Highly Automated Driving SystemsAuthorship / preprint / 2022