Yao Sun

IACR Trans. Symmetric Cryptol., 2022

Fine-Grained Human-Centric Tracklet Segmentation with Single Frame Supervision.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2022

2021

Automatic Search of Cubes for Attacking Stream Ciphers.

[BibT_eX]

[DOI]

IACR Trans. Symmetric Cryptol., 2021

Algorithms for computing greatest common divisors of parametric multivariate polynomials.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

On the efficiency of solving Boolean polynomial systems with the characteristic set method.

[BibT_eX]

[DOI]

Zhenyu Huang

J. Symb. Comput., 2021

Analyzing Boolean Functions via Solving Parametric Polynomial Systems.

[BibT_eX]

[DOI]

Zhenyu Huang

J. Syst. Sci. Complex., 2021

Towards the Least Inequalities for Describing a Subset in Z2n.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Cube Attack against 843-Round Trivium.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

2020

Differential Attacks on CRAFT Exploiting the Involutory S-boxes and Tweak Additions.

[BibT_eX]

[DOI]

IACR Trans. Symmetric Cryptol., 2020

On the Construction of Involutory MDS Matrices over \(\mathbb{F}_{2^{m}}\).

[BibT_eX]

[DOI]

Jian Bai

J. Syst. Sci. Complex., 2020

2019

Accurate Facial Image Parsing at Real-Time Speed.

[BibT_eX]

[DOI]

IEEE Trans. Image Process., 2019

A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases.

[BibT_eX]

[DOI]

Dong Lu

J. Syst. Sci. Complex., 2019

Speeding Up the GVW Algorithm via a Substituting Method.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

Applying Horner's Rule to Optimize Lightweight MDS Matrices.

[BibT_eX]

[DOI]

Int. J. Digit. Crime Forensics, 2019

GPS: Group People Segmentation with Detailed Part Inference.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2019

Preimage Attacks on Round-Reduced Keccak-224/256 via an Allocating Approach.

[BibT_eX]

[DOI]

Ting Li

Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

Building Detail-Sensitive Semantic Segmentation Networks With Polynomial Pooling.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Composing Semantic Collage for Image Retargeting.

[BibT_eX]

[DOI]

IEEE Trans. Image Process., 2018

A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials.

[BibT_eX]

[DOI]

Dong Lu

J. Syst. Sci. Complex., 2018

Learning adaptive receptive fields for deep image parsing networks.

[BibT_eX]

[DOI]

Comput. Vis. Media, 2018

The lightest 4 × 4 MDS matrices over GL(4, 𝔽2).

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

Cross-Domain Human Parsing via Adversarial Feature and Label Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Preimage Attacks on the Round-reduced Keccak with Cross-linear Structures.

[BibT_eX]

[DOI]

IACR Trans. Symmetric Cryptol., 2017

A weakly supervised method for makeup-invariant face verification.

[BibT_eX]

[DOI]

Pattern Recognit., 2017

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method.

[BibT_eX]

[DOI]

Jie Zhou

J. Autom. Reason., 2017

RSVP: A Real-Time Surveillance Video Parsing System with Single Frame Supervision.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Multimedia Conference, 2017

Time Traveler: A Real-time Face Aging System.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Multimedia Conference, 2017

Face Aging with Contextual Generative Adversarial Nets.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Multimedia Conference, 2017

On Checking Linear Dependence of Parametric Vectors.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing Theories and Application, 2017

Learning Adaptive Receptive Fields for Deep Image Parsing Network.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

Surveillance Video Parsing with Single Frame Supervision.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

2016

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2016

An improvement over the GVW algorithm for inhomogeneous polynomial systems.

[BibT_eX]

[DOI]

Finite Fields Their Appl., 2016

2015

On implementing signature-based Gröbner basis algorithms using linear algebraic routines from M4RI.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2015

2014

A Monomial-Oriented GVW for Computing Gröbner Bases.

[BibT_eX]

[DOI]

CoRR, 2014

An Improvement over the GVW Algorithm for Inhomogeneous Polynomial Systems.

[BibT_eX]

[DOI]

CoRR, 2014

New constructions of APN polynomial functions in odd characteristic.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2014

2013

An efficient method for computing comprehensive Gröbner bases.

[BibT_eX]

[DOI]

J. Symb. Comput., 2013

An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system.

[BibT_eX]

[DOI]

J. Symb. Comput., 2013

Signature-Based Gröbner Basis Algorithms - Extended MMM Algorithm for computing Gröbner bases.

[BibT_eX]

[DOI]

CoRR, 2013

2012

A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

The F5 algorithm in Buchberger's style.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2011

Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms

[BibT_eX]

[DOI]

CoRR, 2011

A Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases

[BibT_eX]

[DOI]

CoRR, 2011

A generalized criterion for signature related Gröbner basis algorithms.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

On Computing Groebner Basis in the Rings of Differential Operators

[BibT_eX]

[DOI]

Xiaodong Ma

CoRR, 2010

A New Proof of the F5 Algorithm

[BibT_eX]

[DOI]

CoRR, 2010

A new algorithm for computing comprehensive Gröbner systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009

An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field

[BibT_eX]

[DOI]

CoRR, 2009

The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings.

[BibT_eX]

[DOI]