×
作者ID: nguyen.thanhvu-h最近由“Nguyen,Thanhvu H.”撰写的zbMATH文章
发布日期: Nguyen,Thanhvu H。;Nguyen、Thanhvu;阮,ThanhVu
已编制索引的文档: 8出版物自1990年以来
合著者: 11位合著者具有4联合出版物
193位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物被引用13中的次13文件 引用人 年份
具有间断系数的奇摄动线性二次最优控制问题的渐近解。 Zbl 1274.49050号
G.A.库里纳。;Nguyen,T.H。
10
2012
一种基于蚂蚁的图着色算法。 Zbl 1130.05054号
Bui,Thang北。;Nguyen,Thanhvu H。;帕特尔,Chirag M。;Phan,Kim-Anh T。
9
2008
重力微生物悬浮液中热生物对流的数值研究。 Zbl 1124.80303号
阿洛伊,Z。;Nguyen,T.H。;比尔根,E。
6
2007
利用样条函数对水平圆柱体自然对流流动进行数值计算。 Zbl 0703.76070号
Wang,P。;卡哈维塔,R。;Nguyen,T.H。
6
1990
自动生成八角不变量和max-plus不变量的几何量词消除启发式。 Zbl 1385.68013号
迪帕克·卡普尔;张志海;马提亚斯·霍巴赫;赵恒军;鲁,齐;阮,ThanhVu
2013
连接程序合成和可达性:使用测试输入生成的自动程序修复。 Zbl 1452.68052号
Nguyen、Thanhvu;韦斯特利·威默;迪帕克·卡普尔;斯蒂芬妮·福雷斯特
1
2017
连接程序合成和可达性:使用测试输入生成自动修复程序。 Zbl 1452.68052号
Nguyen、Thanhvu;韦斯特利·威默;迪帕克·卡普尔;斯蒂芬妮·福雷斯特
1
2017
自动生成八角不变量和max-plus不变量的几何量词消除启发式。 Zbl 1385.68013号
迪帕克·卡普尔;张志海;马提亚斯·霍巴赫;赵恒军;鲁,齐;阮,ThanhVu
2013
具有不连续系数的奇摄动线性二次型最优控制问题的渐近解。 Zbl 1274.49050号
G.A.库里纳。;Nguyen,T.H。
10
2012
一种基于蚂蚁的图着色算法。 Zbl 1130.05054号
Bui,Thang N。;Nguyen,Thanhvu H。;帕特尔,Chirag M。;Phan,Kim-Anh T。
9
2008
重力微生物悬浮液中热生物对流的数值研究。 兹比尔1124.80303
阿洛伊,Z。;Nguyen,T.H。;比尔根,E。
6
2007
利用样条函数对水平圆柱体自然对流流动进行数值计算。 Zbl 0703.76070号
王,P。;卡哈维塔,R。;Nguyen,T.H。
6
1990

按年份列出的引文