| Publication | Date of Publication | Type |
|---|
Targeted digital twin via flow map learning and its application to fluid dynamics
Journal of Computational Physics | 2026-07-21 | Paper |
Convergence analysis of a balancing domain decomposition method for an elliptic optimal control problem with hdg discretizations
European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis | 2026-04-20 | Paper |
Asymptotic behavior of finite-time ruin probabilities in a bidimensional compound risk model
Statistics & Probability Letters | 2025-12-18 | Paper |
SVR-based method for fixed effects interval-valued panel models
Communications in Statistics. Theory and Methods | 2025-09-18 | Paper |
Spatial autoregressive model for interval-valued data and applications
Statistics and Computing | 2025-08-05 | Paper |
Bivariate Bayesian regression method for fixed effects panel interval-valued data models
Communications in Statistics. Theory and Methods | 2025-08-05 | Paper |
Time-varying coefficient spatial panel interval-valued models and applications
Communications in Nonlinear Science and Numerical Simulation | 2025-06-26 | Paper |
Robust estimation method for panel interval-valued data model with fixed effects
Journal of Statistical Computation and Simulation | 2025-06-26 | Paper |
An immersed finite element method for solving 1D interface problems with Robin type jumps
Mathematica Numerica Sinica | 2025-04-01 | Paper |
A balancing domain decomposition by constraints preconditioner for a hybridizable discontinuous Galerkin discretization of an elliptic optimal control problem
(available as arXiv preprint) | 2025-01-01 | Paper |
Convergence analysis of a balancing domain decomposition method for an elliptic optimal control problem with HDG discretizations
(available as arXiv preprint) | 2025-01-01 | Paper |
Stochastic BDDC algorithms
(available as arXiv preprint) | 2025-01-01 | Paper |
Overlapping domain decomposition methods for finite volume discretizations
Computers & Mathematics with Applications | 2024-12-03 | Paper |
Reduced meet over labelling-based semantics in abstract argumentation
Information Processing Letters | 2024-09-11 | Paper |
BDDC Algorithms for Oseen problems with HDG Discretizations
IMA Journal of Numerical Analysis | 2024-02-06 | Paper |
Dominant causal factors of failure performance of cross-jointed segmental lining
Communications in Nonlinear Science and Numerical Simulation | 2024-01-23 | Paper |
A general approach to extension-based semantics in abstract argumentation
Artificial Intelligence | 2023-01-04 | Paper |
Graded labellings for abstract argumentation
International Journal of Approximate Reasoning | 2022-12-08 | Paper |
Robust BDDC algorithms for the Brinkman problem with HDG discretizations
Computer Methods in Applied Mechanics and Engineering | 2022-10-10 | Paper |
| Covariant-contravariant refinement modal logic | 2022-09-28 | Paper |
Encoding safety in \(\mathrm{CLL}_R\)
Theoretical Computer Science | 2021-12-01 | Paper |
BDDC algorithms for advection-diffusion problems with HDG discretizations
Computers & Mathematics with Applications | 2021-11-02 | Paper |
Analysis of BDDC algorithms for Stokes problems with hybridizable discontinuous Galerkin discretizations
ETNA - Electronic Transactions on Numerical Analysis | 2021-01-18 | Paper |
On recursive operations over logic LTS
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
On the greatest solution of equations in \(\mathrm{CLL}_R\)
Information Processing Letters | 2015-07-15 | Paper |
A modal characterization of alternating approximate bisimilarity
Formal Methods in System Design | 2014-12-05 | Paper |
A behavioural pseudometric based on -bisimilarity
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
| Linear time logic control of linear systems with disturbances | 2012-12-29 | Paper |
Linear time logic control of linear systems with disturbances
(available as arXiv preprint) | 2012-01-01 | Paper |
Characterize branching distance in terms of ( , )-bisimilarity
Information and Computation | 2009-03-04 | Paper |
