Min Zhang

MaRDI QIDQ352096zbMATH OpenFDO

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
An efficient unconditional energy-stable finite element method for the electro-hydrodynamic equations Computers & Mathematics with Applications	2025-01-14	Paper
Manufacturer's decision-making and coordination strategy in an asymmetric multi-channel environment RAIRO. Operations Research	2024-08-27	Paper
\textsc{OccRob}: efficient SMT-based occlusion robustness verification of deep neural networks	2023-12-13	Paper
Solving polynomial variational inequality problems via Lagrange multiplier expressions and Moment-SOS relaxations	2023-03-21	Paper
Towards backbone computing: a greedy-whitening based approach AI Communications	2021-01-20	Paper
SMT-based generation of symbolic automata Acta Informatica	2020-05-26	Paper
An executable semantics of clock constraint specification language and its applications Communications in Computer and Information Science	2018-10-02	Paper
From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories Theoretical Computer Science	2018-03-12	Paper
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference	2017-09-12	Paper
A theory for the composition of concurrent processes Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Topological construction of parameterized bisimulation limit Electronic Notes in Theoretical Computer Science	2016-08-01	Paper
Simulation for lattice-valued doubly labeled transition systems International Journal of Approximate Reasoning	2015-07-10	Paper
Quantitative analysis of lattice-valued Kripke structures Fundamenta Informaticae	2015-06-26	Paper
The infinite evolution mechanism of \(\epsilon\)-bisimilarity Journal of Computer Science and Technology	2014-10-07	Paper
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method Specification, Algebra, and Software	2014-03-25	Paper
A proof system in PADS Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
Constructor-Based Inductive Theorem Prover Algebra and Coalgebra in Computer Science	2013-09-13	Paper
Two-thirds simulation indexes and modal logic characterization Frontiers of Computer Science in China	2013-07-04	Paper
Doubly labeled transition systems based on complete residuated lattices	2013-06-20	Paper
Computational self-assembly Theoretical Computer Science	2008-11-06	Paper

Research outcomes over time

This page was built for person: Min Zhang