| Publication | Date of Publication | Type |
|---|
Single-peak solution for a fractional slightly subcritical problem with non-power nonlinearity
Mathematische Nachrichten | 2024-12-06 | Paper |
Multi-peak solutions to a biharmonic elliptic problem with non-power nonlinearity
Analysis and Applications (Singapore) | 2024-12-06 | Paper |
Distributed bandit online optimisation for energy management in smart grids
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2024-02-09 | Paper |
| Multiple blowing-up solutions for a slightly critical Lane-Emden system with non-power nonlinearity | 2023-11-08 | Paper |
On a biharmonic elliptic problem with slightly subcritical non-power nonlinearity
Journal of Fixed Point Theory and Applications | 2023-11-03 | Paper |
| Sign changing bubble tower solutions to a slightly subcritical elliptic problem with non-power nonlinearity | 2023-06-05 | Paper |
Multiple solutions for a singular nonhomogenous biharmonic equation in Heisenberg group
Communications on Pure and Applied Analysis | 2023-04-19 | Paper |
Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states
Quantum Information Processing | 2023-03-17 | Paper |
Dynamics of a plant-herbivore model with a chemically-mediated numerical response
Mathematics in Applied Sciences and Engineering | 2022-10-11 | Paper |
| A Kirchhoff problem with singular exponential critical growth in \(\mathbb{R}^N\) | 2022-09-29 | Paper |
Compressive strength test of recycled concrete based on multi - constrained mathematical model
Journal of Discrete Mathematical Sciences and Cryptography | 2022-04-19 | Paper |
On a nonhomogeneous Kirchhoff-type elliptic problem with critical exponential in dimension two
Applicable Analysis | 2022-03-22 | Paper |
Efficient mediated semi-quantum key distribution
Physica A | 2022-03-01 | Paper |
Transient spatio-temporal dynamics of a diffusive plant-herbivore system with Neumann boundary conditions
Journal of Biological Dynamics | 2020-08-03 | Paper |
On a fractional Kirchhoff type problem with critical exponential growth nonlinearity
Applied Mathematics Letters | 2020-04-07 | Paper |
The efficient computation of aircraft range problem
Acta Mathematicae Applicatae Sinica. English Series | 2020-02-27 | Paper |
Local well-posedness and blow-up phenomenon for a generalization two-component Camassa-Holm system
Journal of Evolution Equations | 2020-01-08 | Paper |
String Analysis via Automata Manipulation with Logic Circuit Representation
Computer Aided Verification | 2019-05-03 | Paper |
Research on the efficient computation mechanism -- in the case of \(N\)-vehicle exploration problem
Acta Mathematicae Applicatae Sinica. English Series | 2018-09-18 | Paper |
Application of blind quantum computation to two-party quantum computation
International Journal of Theoretical Physics | 2018-08-02 | Paper |
A geometrical model for diffusion of hydrophilic compounds in human stratum corneum
Mathematical Biosciences | 2018-06-22 | Paper |
| scientific article; zbMATH DE number 6719855 (Why is no real title available?) | 2017-05-17 | Paper |
Multiple-server flexible blind quantum computation in networks
International Journal of Theoretical Physics | 2016-07-05 | Paper |
Continuous Riemann solvers for traffic flow at a junction
Discrete and Continuous Dynamical Systems | 2016-03-09 | Paper |
| Structurally stable singularities for a nonlinear wave equation | 2016-01-07 | Paper |
Structurally stable singularities for a nonlinear wave equation
(available as arXiv preprint) | 2016-01-07 | Paper |
Bifurcation analysis and transient spatio-temporal dynamics for a diffusive plant-herbivore system with Dirichlet boundary conditions
Mathematical Biosciences and Engineering | 2015-11-02 | Paper |
Structural stability of supersonic contact discontinuities in three-dimensional compressible steady flows
SIAM Journal on Mathematical Analysis | 2015-05-26 | Paper |
On modeling repeated binary responses and time-dependent missing covariates
Journal of Agricultural, Biological and Environmental Statistics | 2015-03-05 | Paper |
Nonlinear geometric optics for contact discontinuities in three dimensional compressible isentropic steady flows
Journal of Mathematical Physics | 2014-10-20 | Paper |
Automata-based symbolic string analysis for vulnerability detection
Formal Methods in System Design | 2014-06-30 | Paper |
Thermodynamical behaviors of nonflat Brans-Dicke gravity with interacting new agegraphic dark energy
International Journal of Modern Physics D | 2014-04-10 | Paper |
Security problems in the quantum signature scheme with a weak arbitrator
International Journal of Theoretical Physics | 2014-04-08 | Paper |
Stability of contact discontinuities in three-dimensional compressible steady flows
Journal of Differential Equations | 2014-02-04 | Paper |
Stabilization effect of magnetic fields on two-dimensional compressible current-vortex sheets
Archive for Rational Mechanics and Analysis | 2013-05-07 | Paper |
Variational analysis of Nash equilibria for a model of traffic flow
Quarterly of Applied Mathematics | 2012-09-12 | Paper |
Relational string verification using multi-track automata
International Journal of Foundations of Computer Science | 2012-03-13 | Paper |
A Temporal Logic for the Interaction of Strategies
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| Exponential stability of multitime scale competitive neural networks with time-varying and distributed delays | 2011-07-19 | Paper |
Bayesian hierarchical modeling and selection of differentially expressed genes for the EST data
Biometrics | 2011-06-22 | Paper |
Relational string verification using multi-track automata
Implementation and Application of Automata | 2011-02-11 | Paper |
Numerical coverage estimation for the symbolic simulation of real-time systems
Lecture Notes in Computer Science | 2010-05-26 | Paper |
TCTL inevitability analysis of dense-time systems
Implementation and Application of Automata | 2010-05-07 | Paper |
Symbolic String Verification: Combining String Analysis and Size Analysis
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Designing an Efficient Hardware Implication Accelerator for SAT Solving
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
| Detecting differentially expressed genes using calibrated Bayes factors | 2008-05-23 | Paper |
On spiking neural P systems and partially blind counter machines
Natural Computing | 2008-05-20 | Paper |
On Spiking Neural P Systems and Partially Blind Counter Machines
Lecture Notes in Computer Science | 2007-11-29 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
SAT-BASED MODEL CHECKING FOR REGION AUTOMATA
International Journal of Foundations of Computer Science | 2006-08-21 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2036426 (Why is no real title available?) | 2004-02-02 | Paper |
Effective discovery of exception class association rules
Journal of Computer Science and Technology | 2002-08-28 | Paper |
