Thanhvu H. Nguyen

From MaRDI portal
Person:2467351

Available identifiers

zbMath Open nguyen.thanhvu-hWikidataQ102430578 ScholiaQ102430578MaRDI QIDQ2467351

List of research outcomes





PublicationDate of PublicationType
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation2020-08-05Paper
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants2013-04-16Paper
Fuzzy Logic Based UAV Allocation and Coordination2010-06-02Paper
An ant-based algorithm for coloring graphs2008-01-21Paper

Research outcomes over time

This page was built for person: Thanhvu H. Nguyen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2467351&oldid=7634757"
Powered by MediaWiki