| Publication | Date of Publication | Type |
|---|
Reachability analysis of linear systems
Acta Informatica | 2024-08-24 | Paper |
Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis
| 2024-04-19 | Paper |
An instance-oriented performance measure for classification
Information Sciences | 2024-01-10 | Paper |
scientific article; zbMATH DE number 7651977 (Why is no real title available?)
| 2023-02-09 | Paper |
scientific article; zbMATH DE number 7652153 (Why is no real title available?)
| 2023-02-09 | Paper |
scientific article; zbMATH DE number 7652381 (Why is no real title available?)
| 2023-02-09 | Paper |
scientific article; zbMATH DE number 7478037 (Why is no real title available?)
| 2022-02-22 | Paper |
A solution to an open problem for Wilker-type inequalities
Journal of Mathematical Inequalities | 2021-06-09 | Paper |
Examine manipulated datasets with topology data analysis: a case study
| 2021-01-18 | Paper |
Automated proof of mixed trigonometric-polynomial inequalities
Journal of Symbolic Computation | 2020-06-15 | Paper |
Automated proving for a class of transcendental-polynomial inequalities
| 2020-01-22 | Paper |
A novel perceptual hash algorithm for multispectral image authentication
Algorithms | 2019-05-08 | Paper |
Automated proving of exponent polynomial inequalities
| 2018-07-18 | Paper |
An Application-Level Data Transparent Authentication Scheme without Communication Overhead
IEEE Transactions on Computers | 2017-07-27 | Paper |
scientific article; zbMATH DE number 6719570 (Why is no real title available?)
| 2017-05-17 | Paper |
Fast finite difference approximation for identifying parameters in a two-dimensional space-fractional nonlocal model with variable diffusivity coefficients
SIAM Journal on Numerical Analysis | 2016-03-30 | Paper |
scientific article; zbMATH DE number 5989044 (Why is no real title available?)
| 2011-12-18 | Paper |
Numerical simulation for a one-dimensional fractional percolation equation
| 2011-09-29 | Paper |
Boundary value problems for the second order impulsive functional differential equations
| 2011-08-16 | Paper |
A novel implicit finite difference method for the one-dimensional fractional percolation equation
Numerical Algorithms | 2011-04-08 | Paper |
Secure and conditional resource coordination for successful collaborations
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering | 2010-03-04 | Paper |
A contract language for service-oriented dynamic collaborations
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering | 2010-03-04 | Paper |
Using Gini measures to evaluate and optimize structure of cluster's nodes
Journal of Computer Applications | 2010-02-01 | Paper |
Assisted interest-based method for searching shared files in P2P network
Journal of Computer Applications | 2009-10-12 | Paper |
ADI-Euler and extrapolation methods for the two-dimensional fractional advection-dispersion equation
Journal of Applied Mathematics and Computing | 2008-10-21 | Paper |
A method for any-source capacity-constrained overlay multicast
| 2007-05-22 | Paper |
Parallel transports associated to stochastic holonomies
Science in China. Series A | 2006-09-22 | Paper |
Three-dimensional asymptotic equations of orthotropic plates
| 2006-07-14 | Paper |
The simplification of logic functions based on integer lists forms
| 2006-02-21 | Paper |
3-partitioning problems for maximizing the minimum load
Journal of Combinatorial Optimization | 2005-01-17 | Paper |
The solution to the SK-model
Acta Mathematica Scientia. Series B. (English Edition) | 2002-11-28 | Paper |
Pricing and hedging option under portfolio constrained
Acta Mathematica Scientia. Series B. (English Edition) | 2002-09-25 | Paper |
The liquidity discount
Natural Science Journal of Xiangtan University | 2002-06-05 | Paper |
scientific article; zbMATH DE number 1375193 (Why is no real title available?)
| 2001-10-04 | Paper |
A class of high accuracy explicit difference schemes for solving parabolic equations of higher dimension
Journal of Zhangzhou Teachers College. Natural Science | 2001-09-24 | Paper |
scientific article; zbMATH DE number 1559075 (Why is no real title available?)
| 2001-01-31 | Paper |
scientific article; zbMATH DE number 1475019 (Why is no real title available?)
| 2000-07-11 | Paper |
scientific article; zbMATH DE number 1159381 (Why is no real title available?)
| 1999-02-16 | Paper |
scientific article; zbMATH DE number 1160638 (Why is no real title available?)
| 1998-08-02 | Paper |
Three-partitioning containing kernels: Complexity and heuristic
Computing | 1997-02-23 | Paper |
scientific article; zbMATH DE number 465315 (Why is no real title available?)
| 1994-04-17 | Paper |
