Hui Kong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes Computer Aided Verification	2023-05-26	Paper
When Dijkstra Meets Vanishing Point: A Stereo Vision Approach for Road Detection IEEE Transactions on Image Processing	2019-02-06	Paper
Conic abstractions for hybrid systems	2017-12-01	Paper
Detecting Abandoned Objects With a Moving Camera IEEE Transactions on Image Processing	2017-10-09	Paper
General Road Detection From a Single Image IEEE Transactions on Image Processing	2017-10-09	Paper
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems Computer Aided Verification	2013-11-26	Paper
Efficient semantics-based compliance checking using LTL formulae and unfolding Journal of Applied Mathematics	2013-09-09	Paper
An inverse voter model for co-evolutionary networks: Stationary efficiency and phase transitions Physics Letters. A	2012-07-04	Paper
Linear time construction of 5-phylogenetic roots for tree chordal graphs Journal of Combinatorial Optimization	2010-03-09	Paper

Research outcomes over time

This page was built for person: Hui Kong