| Publication | Date of Publication | Type |
|---|
A thermal-mechanical coupling modeling with imperfect interfaces: transition from ballistic to diffusive heat transfer
Applied Mathematical Modelling | 2025-12-01 | Paper |
Stabilized state-based peridynamics for elasticity emanating from constrained Lagrangian
European Journal of Mechanics. A. Solids | 2024-01-02 | Paper |
Propositional forms of judgemental interpretations
Journal of Logic, Language and Information | 2023-10-24 | Paper |
Generalized Petrov-Galerkin time finite element weighted residual methodology for designing high-order unconditionally stable algorithms with controllable numerical dissipation
Journal of Computational Physics | 2022-04-11 | Paper |
Computationally efficient unitary ESPRIT algorithm in bistatic MIMO radar
Mathematical Problems in Engineering | 2022-01-24 | Paper |
A three-time-level a posteriori error estimator for GS4-2 framework: adaptive time stepping for second-order transient systems
Computer Methods in Applied Mechanics and Engineering | 2021-10-27 | Paper |
| \(k\)-tuple domination in generalized de Bruijn digraphs | 2021-09-29 | Paper |
A non-local heat transport model in solids with discontinuities via Lagrangian particle method
Applied Mathematical Modelling | 2021-09-21 | Paper |
| Protocols for secure test on relationship on number axis | 2021-04-26 | Paper |
On a generalized energy conservation/dissipation time finite element method for Hamiltonian mechanics
Computer Methods in Applied Mechanics and Engineering | 2021-04-26 | Paper |
An accurate and simple universal a posteriori error estimator for GS4-1 framework: adaptive time stepping in first-order transient systems
Computer Methods in Applied Mechanics and Engineering | 2021-04-26 | Paper |
Secure rational numbers equivalence test based on threshold cryptosystem with rational numbers
Information Sciences | 2020-09-22 | Paper |
A non-local dissipative Lagrangian modelling for generalized thermoelasticity in solids
Applied Mathematical Modelling | 2020-04-07 | Paper |
Control-oriented fault detection of solid oxide fuel cell system unknown input on fuel supply
Asian Journal of Control | 2020-02-06 | Paper |
A two-field state-based peridynamic theory for thermal contact problems
Journal of Computational Physics | 2019-07-04 | Paper |
An analysis of the stability and chattering reduction of high-order sliding mode tracking control for a hypersonic vehicle
Information Sciences | 2018-10-30 | Paper |
| Definitional extension in type theory | 2017-03-13 | Paper |
Second order accurate particle-based formulations
International Journal of Numerical Methods for Heat & Fluid Flow | 2017-02-28 | Paper |
Exponential sliding mode tracking control via back-stepping approach for a hypersonic vehicle with mismatched uncertainty
Journal of the Franklin Institute | 2016-10-20 | Paper |
Dot-types and their implementation
Logical Aspects of Computational Linguistics | 2014-06-24 | Paper |
Proof Search and Counter Model of Positive Minimal Predicate Logic
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
| scientific article; zbMATH DE number 5079421 (Why is no real title available?) | 2006-12-11 | Paper |
