Jinjin Zhang

Available identifiers

Publication	Date of Publication	Type
Overlapping domain decomposition methods for finite volume discretizations	2024-12-03	Paper
Reduced meet over labelling-based semantics in abstract argumentation	2024-09-11	Paper
BDDC Algorithms for Oseen problems with HDG Discretizations	2024-02-06	Paper
Dominant causal factors of failure performance of cross-jointed segmental lining	2024-01-23	Paper
A general approach to extension-based semantics in abstract argumentation	2023-01-04	Paper
Graded labellings for abstract argumentation	2022-12-08	Paper
Robust BDDC algorithms for the Brinkman problem with HDG discretizations	2022-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5869591	2022-09-28	Paper
Encoding safety in \(\mathrm{CLL}_R\)	2021-12-01	Paper
BDDC algorithms for advection-diffusion problems with HDG discretizations	2021-11-02	Paper
Analysis of BDDC algorithms for Stokes problems with hybridizable discontinuous Galerkin discretizations	2021-01-18	Paper
On recursive operations over logic LTS	2016-07-27	Paper
On the greatest solution of equations in \(\mathrm{CLL}_R\)	2015-07-15	Paper
A modal characterization of alternating approximate bisimilarity	2014-12-05	Paper
A behavioural pseudometric based on \(\lambda\)-bisimilarity	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	2009-03-04	Paper

This page was built for person: Jinjin Zhang