Xiaodong Jia

According to our database1, Xiaodong Jia authored at least 19 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Meet-continuity and locally compact sober dcpos.
PhD thesis, 2018

Fuzzing: State of the Art.
IEEE Trans. Reliability, 2018

Assessment of Data Suitability for Machine Prognosis Using Maximum Mean Discrepancy.
IEEE Trans. Industrial Electronics, 2018

θ-continuity and D θ-completion of posets.
Mathematical Structures in Computer Science, 2018

A Hybrid 2D and 3D Convolution Based Recurrent Network for Video-Based Person Re-identification.
Proceedings of the Neural Information Processing - 25th International Conference, 2018

2017
A geometrical investigation on the generalized lp/lq norm for blind deconvolution.
Signal Processing, 2017

Cartesian Closed Extensions of Subcategories of CONT.
Order, 2017

vmOS: A virtualization-based, secure desktop system.
Computers & Security, 2017

Handwritten Yi Character Recognition with Density-Based Clustering Algorithm and Convolutional Neural Network.
Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

2016
Verifying RTuinOS using VCC: From approach to practice.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

A Correctness Verification Method for C Programs Based on VCC.
Proceedings of the 3rd IEEE International Conference on Cyber Security and Cloud Computing, 2016

2015
All cartesian closed categories of quasicontinuous domains consist of domains.
Theor. Comput. Sci., 2015

Impact of shape representation schemes used in discrete element modelling of particle packing.
Computers & Chemical Engineering, 2015

2014
On the order-theoretic properties of lower concept formula systems.
Soft Comput., 2014

Studies for the development of a virtual permeameter.
Computers & Chemical Engineering, 2014

2011
A sub-pathway-based approach for identifying drug response principal network.
Bioinformatics, 2011

2009
Digital predictions of complex cylinder packed columns.
Computers & Chemical Engineering, 2009

2007
An investigation of sphere packed shell-side columns using a digital packing algorithm.
Computers & Chemical Engineering, 2007

2006
An investigation of packed columns using a digital packing algorithm.
Computers & Chemical Engineering, 2006


  Loading...