The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings. - Yao Sun 004; Dingkang Wang (ASCM, 2009)

An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field - Dingkang Wang; Yao Sun 004 (CoRR, 2009)

A new algorithm for computing comprehensive Gröbner systems. - Deepak Kapur; Yao Sun 004; Dingkang Wang (ISSAC, 2010)

A New Proof of the F5 Algorithm - Yao Sun 004; Dingkang Wang (CoRR, 2010)

On Computing Groebner Basis in the Rings of Differential Operators - Yao Sun 004; Xiaodong Ma; Dingkang Wang (CoRR, 2010)

Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. - Deepak Kapur; Yao Sun 004; Dingkang Wang (ISSAC, 2011)

A generalized criterion for signature related Gröbner basis algorithms. - Yao Sun 004; Dingkang Wang (ISSAC, 2011)

A Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases - Yao Sun 004; Dingkang Wang (CoRR, 2011)

Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms - Yao Sun 004; Dingkang Wang (CoRR, 2011)

The F5 algorithm in Buchberger's style. - Yao Sun 004; Dingkang Wang (J. Syst. Sci. Complex., 2011)

A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras. - Yao Sun 004; Dingkang Wang; Xiaodong Ma; Yang Zhang (ISSAC, 2012)

Signature-Based Gröbner Basis Algorithms - Extended MMM Algorithm for computing Gröbner bases. - Yao Sun 004 (CoRR, 2013)

An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system. - Deepak Kapur; Yao Sun 004; Dingkang Wang (J. Symb. Comput., 2013)

An efficient method for computing comprehensive Gröbner bases. - Deepak Kapur; Yao Sun 004; Dingkang Wang (J. Symb. Comput., 2013)

New constructions of APN polynomial functions in odd characteristic. - Zhengbang Zha; Lei Hu 003; Siwei Sun; Yao Sun 004 (Appl. Algebra Eng. Commun. Comput., 2014)

An Improvement over the GVW Algorithm for Inhomogeneous Polynomial Systems. - Yao Sun 004; Dongdai Lin; Dingkang Wang (CoRR, 2014)

A Monomial-Oriented GVW for Computing Gröbner Bases. - Yao Sun 004; Dingkang Wang; Zhenyu Huang 004; Dongdai Lin (CoRR, 2014)

On implementing signature-based Gröbner basis algorithms using linear algebraic routines from M4RI. - Yao Sun 004; Dongdai Lin; Dingkang Wang (ACM Commun. Comput. Algebra, 2015)

An improvement over the GVW algorithm for inhomogeneous polynomial systems. - Yao Sun 004; Zhenyu Huang 004; Dingkang Wang; Dongdai Lin (Finite Fields Their Appl., 2016)

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra. - Yao Sun 004; Zhenyu Huang 004; Dongdai Lin; Dingkang Wang (J. Syst. Sci. Complex., 2016)

Surveillance Video Parsing with Single Frame Supervision. - Si Liu 001; Changhu Wang; Ruihe Qian; Han Yu; Renda Bao; Yao Sun 004 (CVPR, 2017)

Learning Adaptive Receptive Fields for Deep Image Parsing Network. - Zhen Wei; Yao Sun 004; Jinqiao Wang; Hanjiang Lai; Si Liu 001 (CVPR, 2017)

On Checking Linear Dependence of Parametric Vectors. - Xiaodong Ma; Yao Sun 004; Dingkang Wang; Yushan Xue (ICIC (2), 2017)

Face Aging with Contextual Generative Adversarial Nets. - Si Liu 001; Yao Sun 004; Defa Zhu; Renda Bao; Wei Wang 108; Xiangbo Shu; Shuicheng Yan (ACM Multimedia, 2017)

Time Traveler: A Real-time Face Aging System. - Lejian Ren; Si Liu 001; Yao Sun 004; Jian Dong; Luoqi Liu; Shuicheng Yan (ACM Multimedia, 2017)

RSVP: A Real-Time Surveillance Video Parsing System with Single Frame Supervision. - Han Yu; Guanghui Ren; Ruihe Qian; Yao Sun 004; Changhu Wang; Hanqing Lu; Si Liu 001 (ACM Multimedia, 2017)

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method. - Jie Zhou; Dingkang Wang; Yao Sun 004 (J. Autom. Reason., 2017)

A weakly supervised method for makeup-invariant face verification. - Yao Sun 004; Lejian Ren; Zhen Wei; Bin Liu 014; Yanlong Zhai; Si Liu 001 (Pattern Recognit., 2017)

Preimage Attacks on the Round-reduced Keccak with Cross-linear Structures. - Ting Li 023; Yao Sun 004; Maodong Liao; Dingkang Wang (IACR Trans. Symmetric Cryptol., 2017)

Cross-Domain Human Parsing via Adversarial Feature and Label Adaptation. - Si Liu 001; Yao Sun 004; Defa Zhu; Guanghui Ren; Yu Chen; Jiashi Feng; Jizhong Han (AAAI, 2018)

An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD. - Deepak Kapur; Dong Lu; Michael B. Monagan; Yao Sun 004; Dingkang Wang (ISSAC, 2018)

The lightest 4 × 4 MDS matrices over GL(4, 𝔽2). - Jian Bai; Ting Li 023; Yao Sun 004; Dingkang Wang; Dongdai Lin (Sci. China Inf. Sci., 2018)

Learning adaptive receptive fields for deep image parsing networks. - Zhen Wei; Yao Sun 004; Junyu Lin; Si Liu 001 (Comput. Vis. Media, 2018)

A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials. - Dong Lu; Yao Sun 004; Dingkang Wang (J. Syst. Sci. Complex., 2018)

Composing Semantic Collage for Image Retargeting. - Si Liu 001; Zhen Wei; Yao Sun 004; Xinyu Ou; Junyu Lin; Bin Liu 014; Ming-Hsuan Yang 001 (IEEE Trans. Image Process., 2018)

Building Detail-Sensitive Semantic Segmentation Networks With Polynomial Pooling. - Zhen Wei; Jingyi Zhang 005; Li Liu 004; Fan Zhu 001; Fumin Shen; Yi Zhou 007; Si Liu 001; Yao Sun 004; Ling Shao 001 (CVPR, 2019)

Preimage Attacks on Round-Reduced Keccak-224/256 via an Allocating Approach. - Ting Li 023; Yao Sun 004 (EUROCRYPT (3), 2019)

GPS: Group People Segmentation with Detailed Part Inference. - Yue Liao; Si Liu 001; Tianrui Hui; Chen Gao 005; Yao Sun 004; Hefei Ling; Bo Li 006 (ICME, 2019)

Applying Horner's Rule to Optimize Lightweight MDS Matrices. - Jian Bai; Yao Sun 004; Ting Li 023; Dingkang Wang (Int. J. Digit. Crime Forensics, 2019)

Speeding Up the GVW Algorithm via a Substituting Method. - Ting Li 023; Yao Sun 004; Zhenyu Huang 004; Dingkang Wang; Dongdai Lin (J. Syst. Sci. Complex., 2019)

A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases. - Dong Lu; Yao Sun 004; Dingkang Wang (J. Syst. Sci. Complex., 2019)

Accurate Facial Image Parsing at Real-Time Speed. - Zhen Wei; Si Liu 001; Yao Sun 004; Hefei Ling (IEEE Trans. Image Process., 2019)

On the Construction of Involutory MDS Matrices over ( mathbb{F}_{2^{m}} ). - Jian Bai; Yao Sun 004; Dingkang Wang (J. Syst. Sci. Complex., 2020)

Differential Attacks on CRAFT Exploiting the Involutory S-boxes and Tweak Additions. - Hao Guo; Siwei Sun; Danping Shi; Ling Sun 001; Yao Sun 004; Lei Hu 003; Meiqin Wang (IACR Trans. Symmetric Cryptol., 2020)

Cube Attack against 843-Round Trivium. - Yao Sun 004 (IACR Cryptol. ePrint Arch., 2021)

Towards the Least Inequalities for Describing a Subset in Z2n. - Yao Sun 004 (IACR Cryptol. ePrint Arch., 2021)

Analyzing Boolean Functions via Solving Parametric Polynomial Systems. - Zhenyu Huang 004; Yao Sun 004; Dongdai Lin (J. Syst. Sci. Complex., 2021)

On the efficiency of solving Boolean polynomial systems with the characteristic set method. - Zhenyu Huang 004; Yao Sun 004; Dongdai Lin (J. Symb. Comput., 2021)

Algorithms for computing greatest common divisors of parametric multivariate polynomials. - Deepak Kapur; Dong Lu; Michael B. Monagan; Yao Sun 004; Dingkang Wang (J. Symb. Comput., 2021)

Automatic Search of Cubes for Attacking Stream Ciphers. - Yao Sun 004 (IACR Trans. Symmetric Cryptol., 2021)

Fine-Grained Human-Centric Tracklet Segmentation with Single Frame Supervision. - Si Liu 001; Guanghui Ren; Yao Sun 004; Jinqiao Wang; Changhu Wang; Bo Li 006; Shuicheng Yan (IEEE Trans. Pattern Anal. Mach. Intell., 2022)

SuperBall: A New Approach for MILP Modelings of Boolean Functions. - Ting Li 023; Yao Sun 004 (IACR Trans. Symmetric Cryptol., 2022)

Simultaneous Retrieval Algorithm of Water Cloud Optical and Microphysical Properties by High-Spectral-Resolution Lidar. - Kai Zhang; Lingyun Wu; Daniel Rosenfeld; Detlef Müller; Chengcai Li; Chuanfeng Zhao; Eduardo Landulfo; Cristofer Jimenez; Shuaibo Wang; Xianzhe Hu; Weize Li; Xiaotao Li; et al. (IEEE Trans. Geosci. Remote. Sens., 2024)