Hongyan Sun

Data Structures in the Succinct Solver (V1.0)

Flemming Nielson, Hanne Riis Nielson, Hong Yan Sun, 2002 .

A Transaction Cardinality Estimation Approach for QoS-Adjustable Intelligent Blockchain Systems

Keqiu Li, Xiulong Liu, Hongyan Sun, 2022, IEEE Journal on Selected Areas in Communications.

Note on the generation of random points uniformly distributed in hyper-ellipsoids

M. Farooq, Hongyan Sun, M. Farooq, 2002, Proceedings of the Fifth International Conference on Information Fusion. FUSION 2002. (IEEE Cat.No.02EX5997).

Code Synthesis for Timed Automata

Wang Yi, Paul Pettersson, Elena Fersman, 2003 .

A novel justification of the disjunctive combination rule

Hongyan Sun, M. Farooq, M. Farooq, 2003, Sixth International Conference of Information Fusion, 2003. Proceedings of the.

Design and prototyping of real-time systems using CSP and CML

Hans Rischel, Hongyan Sun, H. Rischel, 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.

Image retrieval based on blocked histogram and Sobel edge detection algorithm

Hongyan Sun, Shuxue Tian, Hongyan Sun, 2011, 2011 International Conference on Computer Science and Service System (CSSS).