According to our database1, Xiaodong Jia authored at least 19 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
A geometrical investigation on the generalized lp/lq norm for blind deconvolution.
Signal Processing, 2017
Cartesian Closed Extensions of Subcategories of CONT.
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
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
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
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
A sub-pathway-based approach for identifying drug response principal network.
Digital predictions of complex cylinder packed columns.
Computers & Chemical Engineering, 2009
An investigation of sphere packed shell-side columns using a digital packing algorithm.
Computers & Chemical Engineering, 2007
An investigation of packed columns using a digital packing algorithm.
Computers & Chemical Engineering, 2006