( en | de | ru )

 

Disambiguation of "Tang, Tao"

Author of the publication

copydeleteadd this publication to your clipboard
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

, , , , , , , and . Provably Correct Systems, Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tao Tang

Tao Tao

Tang Tang

Tao Huu Phung

Madelaine Taoubi

 

Other publications of authors with the same name

A 0.18µm, 0.6V, 83.5µW integer DCT processor for neural signal applications., , , and . ISIC, page 1-4. IEEE, (2016)Moving Mesh Finite Element Methods for the Incompressible Navier-Stokes Equations., , , and . SIAM J. Sci. Comput., 26 (3): 1036-1056 (2005)Time-scale sensitive sensor applications in collecting and analyzing geographic event data., and . Ann. GIS, 24 (4): 241-253 (2018)Efficient dual-association resource allocation model of train-ground communication system based on TD-LTE in urban rail transit., , , and . ITSC, page 2006-2011. IEEE, (2016)A Hybrid Learning Framework for Service Function Chaining Across Geo-Distributed Data Centers., , and . IEEE Access, (2020)Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures., , , , , and . IEEE Trans. Parallel Distributed Syst., 31 (8): 1878-1896 (2020)A Service-Oriented Energy Efficient Resource Allocation Approach for Wireless Communications of the Tunnel Construction., , , , and . IEEE Trans. Veh. Technol., 72 (4): 4948-4958 (April 2023)An integrated error-detecting method based on expert knowledge for GPS data points measured in Qinghai-Tibet Railway., , , and . Expert Syst. Appl., 39 (2): 2220-2226 (2012)An operation level based train regulation model for a metro line., , , , , and . ITSC, page 2920-2925. IEEE, (2019)Performance Improved Methods for Communication-Based Train Control Systems With Random Packet Drops., , and . IEEE Trans. Intell. Transp. Syst., 15 (3): 1179-1192 (2014)