| Publication | Date of Publication | Type |
|---|
Traveling waves for a nonlocal delayed reaction-diffusion SIR epidemic model with demography effects
Dynamical Systems | 2024-12-20 | Paper |
Mixed virtual element methods for the poro-elastodynamics model on polygonal grids
Computers & Mathematics with Applications | 2024-12-03 | Paper |
First order Büchi automata and their application to verification of LTL specifications
Journal of Logical and Algebraic Methods in Programming | 2024-11-26 | Paper |
Ding projective modules and dimensions over formal triangular matrix rings
Journal of Mathematical Research with Applications | 2024-09-13 | Paper |
A phase velocity preserving fourth-order finite difference scheme for the Helmholtz equation with variable wavenumber
Applied Mathematics Letters | 2024-07-10 | Paper |
Traveling wave solutions in a nonlocal dispersal SIR epidemic model with nonlocal time-delay and general nonlinear incidences
International Journal of Biomathematics | 2024-06-10 | Paper |
Characterization and verification of stuttering equivalence
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Optimality of the rescaled pure greedy learning algorithms
International Journal of Wavelets, Multiresolution and Information Processing | 2023-03-03 | Paper |
Unified error estimate for weak biorthogonal greedy algorithms
International Journal of Wavelets, Multiresolution and Information Processing | 2022-09-01 | Paper |
\((p,q)\)-gamma operators which preserve \(x^2\)
Journal of Inequalities and Applications | 2022-01-19 | Paper |
On Stancu-type generalization of modified \((p,q)\)-Szász-Mirakjan-Kantorovich operators
Journal of Function Spaces | 2021-08-25 | Paper |
Continuous-domain ant colony optimization algorithm based on reinforcement learning
International Journal of Wavelets, Multiresolution and Information Processing | 2021-08-24 | Paper |
| \(n\)-Gorenstein modules with respect to semidualizing modules | 2021-04-26 | Paper |
| Gorenstein \({\mathrm{FP}}_n\) flat modules and strongly Gorenstein \({\mathrm{FP}}_n\) flat modules | 2021-04-26 | Paper |
| scientific article; zbMATH DE number 7339000 (Why is no real title available?) | 2021-04-26 | Paper |
| Gorenstein IFP-平坦模 | 2020-10-27 | Paper |
| Uniform and hollow modules over rings of Morita contexts | 2020-01-22 | Paper |
Static optimal scheduling for synchronous data flow graphs with model checking
FM 2015: Formal Methods | 2019-12-19 | Paper |
Approximation properties of \((p,q)\)-gamma operators
Journal of Mathematical Inequalities | 2019-11-20 | Paper |
| n-Ding投射模和n-Ding内射模 | 2019-10-02 | Paper |
On \((p, q)\)-analogue of gamma operators
Journal of Function Spaces | 2019-06-18 | Paper |
| Tate homological properties based on the Tate flat resolution | 2018-10-22 | Paper |
Efficient local level set method without reinitialization and its appliance to topology optimization
Mathematical Problems in Engineering | 2018-10-12 | Paper |
| Stability of Gorenstein \(\mathscr{X}\)-flat modules with respect to a semidualizing module | 2018-07-18 | Paper |
| Logics for bisimulation and divergence | 2018-07-17 | Paper |
| Stability of \(\mathcal W\)-Gorenstein flat module class | 2018-05-25 | Paper |
Analyzing divergence in bisimulation semantics
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Linear templates of ACTL formulas with an application to SAT-based verification
Information Processing Letters | 2017-08-16 | Paper |
| On \({G_C}\)-flat dimension | 2017-07-14 | Paper |
| \(\mathcal{W}\)-Gorenstein flat dimension | 2017-07-14 | Paper |
Completeness of Hoare logic relative to the standard model
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
| The uniqueness of the decomposition of Poisson algebra | 2017-01-06 | Paper |
| scientific article; zbMATH DE number 6611723 (Why is no real title available?) | 2016-08-10 | Paper |
| Hom-Novikov-Poisson superalgebras | 2016-08-10 | Paper |
Erratum to: ``Approximation of a kind of new type Bézier operators
Journal of Inequalities and Applications | 2016-02-29 | Paper |
| \((n,m)\)-strongly Ding projective modules. | 2016-01-15 | Paper |
Completeness of Hoare logic with inputs over the standard model
Theoretical Computer Science | 2015-12-15 | Paper |
| Strongly maximum flat modules and homological dimensions. | 2015-06-29 | Paper |
| scientific article; zbMATH DE number 6452963 (Why is no real title available?) | 2015-06-29 | Paper |
Bounded semantics
Theoretical Computer Science | 2014-12-16 | Paper |
QBF Encoding of Temporal Properties and QBF-Based Verification
Automated Reasoning | 2014-09-26 | Paper |
| On the use of Powell's restart strategy to conjugate gradient methods | 2014-03-14 | Paper |
Neural integrated control for a free-floating space robot with suddenly changing parameters
Science China Information Sciences | 2013-07-03 | Paper |
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | 2012-07-16 | Paper |
Proving liveness property under strengthened compassion requirements
Lecture Notes in Computer Science | 2012-07-16 | Paper |
Principal quasi-Baerness of formal power series rings.
Acta Mathematica Sinica, English Series | 2011-03-02 | Paper |
Auxiliary constructs for proving liveness in compassion discrete systems
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
A direct construction of polynomial-size OBDD proof of pigeon hole problem
Information Processing Letters | 2010-08-16 | Paper |
| Intuitionistic linear-time \(\mu\)-calculus | 2010-02-12 | Paper |
| A note on quasi-Armendariz rings. | 2010-02-05 | Paper |
| PS and CESS property of formal triangular matrix rings. | 2009-11-11 | Paper |
| The complexity of dual models problem of propositional linear temporal logics | 2009-03-06 | Paper |
Efficient State Space Reduction for Automata by Fair Simulation
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Quasi-Armendariz Rings Relative to a Monoid
Communications in Algebra | 2008-06-26 | Paper |
| A software design method based on supervisory control theories: method of changing state properties | 2008-04-04 | Paper |
Combining search space partition and abstraction for LTL model checking
Science in China. Series F | 2008-01-07 | Paper |
Enhancing Simulation for Checking Language Containment
Lecture Notes in Computer Science | 2007-11-13 | Paper |
A polynomial dynamic system approach to software design for attractivity requirement
Information Sciences | 2007-05-18 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
| Efficient translation from transition-based generalized Büchi automata to Büchi automata | 2006-10-10 | Paper |
| scientific article; zbMATH DE number 5033231 (Why is no real title available?) | 2006-06-16 | Paper |
Structure of proofs and the complexity of cut elimination
Theoretical Computer Science | 2006-04-28 | Paper |
Combining static analysis and case-based search space partitioning for reducing peak memory in model checking
Journal of Computer Science and Technology | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2086959 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1929156 (Why is no real title available?) | 2003-06-17 | Paper |
| scientific article; zbMATH DE number 1728528 (Why is no real title available?) | 2002-04-15 | Paper |
Number of models and satisfiability of sets of clauses
Theoretical Computer Science | 1997-02-27 | Paper |
Depth of proofs, depth of cut-formulas and complexity of cut formulas
Theoretical Computer Science | 1994-07-31 | Paper |
Cut formulas in propositional logic
Theoretical Computer Science | 1993-12-20 | Paper |
Cut elimination and automatic proof procedures
Theoretical Computer Science | 1992-06-28 | Paper |
