Jinjin Zhang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
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 \(\lambda\)-bisimilarity Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Linear time logic control of linear systems with disturbances	2012-12-29	Paper
Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity Information and Computation	2009-03-04	Paper

Research outcomes over time

This page was built for person: Jinjin Zhang