| Publication | Date of Publication | Type |
|---|
Towards an induction principle for nested data types
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
Mass concentration phenomenon in the 3D bipolar compressible Navier-Stokes-Poisson system
Journal of Pseudo-Differential Operators and Applications | 2024-02-21 | Paper |
Some results on four-manifolds with nonnegative biorthogonal curvature
Bulletin des Sciences Mathématiques | 2024-01-10 | Paper |
The global solvability of the non-conservative viscous compressible two-fluid model with capillarity effects for some large initial data
Journal of Mathematical Fluid Mechanics | 2023-06-19 | Paper |
The global solvability of the Cauchy problem for a multi-dimensional chemotaxis-Navier–Stokes system modeling coral fertilization
Journal of Mathematical Physics | 2023-03-17 | Paper |
Linear dependent type theory for quantum programming languages
Logical Methods in Computer Science | 2022-10-06 | Paper |
Global well-posedness and analyticity for the three-dimensional incompressible nematic liquid crystal flows in scaling invariant spaces
Advances in Mathematical Physics | 2022-08-24 | Paper |
A blowup criterion of the nonhomogeneous incompressible asymmetric fluids in weak \(L^p\)-spaces
Acta Applicandae Mathematicae | 2022-08-02 | Paper |
| On the Lambek embedding and the category of product-preserving presheaves | 2022-05-12 | Paper |
| A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting | 2022-04-27 | Paper |
| Proto-Quipper with dynamic lifting | 2022-04-27 | Paper |
Estimating the nonlinear effects of an ecological system driven by Ornstein-Uhlenbeck noise
Chaos, Solitons and Fractals | 2022-04-01 | Paper |
Global well-posedness of 3-D nonhomogeneous incompressible MHD equations with bounded nonnegative density
Journal of Mathematical Analysis and Applications | 2022-03-23 | Paper |
The global solvability of 3-d inhomogeneous viscous incompressible magnetohydrodynamic equations with bounded density
Journal of Mathematical Fluid Mechanics | 2021-11-12 | Paper |
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
(available as arXiv preprint) | 2021-07-05 | Paper |
| Irrelevance, heterogeneous equality, and call-by-value dependent type systems | 2021-03-17 | Paper |
Irrelevance, heterogeneous equality, and call-by-value dependent type systems
(available as arXiv preprint) | 2021-03-17 | Paper |
Linear dependent type theory for quantum programming languages: extended abstract
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Design and analysis of \textit{SEIQR} worm propagation model in mobile internet
Communications in Nonlinear Science and Numerical Simulation | 2020-10-07 | Paper |
Multi-layer graph constraints for interactive image segmentation via game theory
Pattern Recognition | 2019-05-27 | Paper |
Efficiency of lambda-encodings in total type theory
Journal of Functional Programming | 2017-10-23 | Paper |
Operational semantics of resolution and productivity in Horn clause logic
Formal Aspects of Computing | 2017-06-01 | Paper |
Proof relevant corecursive resolution
Functional and Logic Programming | 2016-04-04 | Paper |
Proof relevant corecursive resolution
Functional and Logic Programming | 2016-04-04 | Paper |
A type-theoretic approach to resolution
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Self types for dependently typed lambda encodings
Lecture Notes in Computer Science | 2014-07-24 | Paper |
| The \(I\)-chain extensions of bicyclic semigroup. | 2010-07-08 | Paper |
Fourier regularization method for solving the surface heat flux from interior observations
Mathematical and Computer Modelling | 2006-02-16 | Paper |
Optimal Tikhonov approximation for a sideways parabolic equation
International Journal of Mathematics and Mathematical Sciences | 2005-12-07 | Paper |
Advances in Neural Networks – ISNN 2005
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Advances in Neural Networks – ISNN 2005
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Two regularization methods and the order optimal error estimates for a sideways parabolic equation
Computers & Mathematics with Applications | 2005-08-05 | Paper |
