PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kong, Hui"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A New Barrier Certificate for Safety Verification of Hybrid Systems.

, , , , und . Comput. J., 57 (7): 1033-1045 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. Johan Alexander Huisman University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Computational Geometry Algorithms in TLA+2., , , , und . TASE, Seite 251-254. IEEE Computer Society, (2011)A provably good approximation algorithm for Rectangle Escape Problem with application to PCB routing., , , und . ASP-DAC, Seite 843-848. IEEE, (2011)Histograms of the Normalized Inverse Depth and Line Scanning for Urban Road Detection., , , , , und . IEEE Trans. Intelligent Transportation Systems, 20 (8): 3070-3080 (2019)Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller., , , , , , und . IEEE Trans. Intelligent Transportation Systems, 19 (10): 3320-3333 (2018)Segmentation of cytoplasm and nuclei of abnormal cells in cervical cytology using global and local graph cuts., , , , , , und . Comp. Med. Imag. and Graph., 38 (5): 369-380 (2014)Detecting Abandoned Objects With a Moving Camera., , und . IEEE Trans. Image Processing, 19 (8): 2201-2210 (2010)Exploring changes in the spatial distribution of the low-to-moderate income group using transit smart card data., , , , , und . Computers, Environment and Urban Systems, (2018)Dijkstra Model for Stereo-Vision Based Road Detection: A Non-Parametric Method., , , und . ICRA, Seite 1-8. IEEE, (2018)An illumination-invariant nonparametric model for urban road detection using monocular camera and single-line lidar., , , und . ROBIO, Seite 68-73. IEEE, (2017)Detection of Road Vanishing Point by Stereo Camera., , und . ACPR, Seite 150-155. IEEE Computer Society, (2017)