Min Zhang

Available identifiers

zbMath Open zhang.min.4MaRDI QIDQ352096

List of research outcomes

Publication	Date of Publication	Type
An efficient unconditional energy-stable finite element method for the electro-hydrodynamic equations	2025-01-14	Paper
Manufacturer's decision-making and coordination strategy in an asymmetric multi-channel environment	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	2021-01-20	Paper
SMT-based generation of symbolic automata	2020-05-26	Paper
An Executable Semantics of Clock Constraint Specification Language and Its Applications	2018-10-02	Paper
From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories	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	2016-10-19	Paper
Topological Construction of Parameterized Bisimulation Limit	2016-08-01	Paper
Simulation for lattice-valued doubly labeled transition systems	2015-07-10	Paper
Quantitative Analysis of Lattice-valued Kripke Structures	2015-06-26	Paper
The infinite evolution mechanism of \(\epsilon\)-bisimilarity	2014-10-07	Paper
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method	2014-03-25	Paper
A Proof System in PADS	2013-10-04	Paper
Constructor-Based Inductive Theorem Prover	2013-09-13	Paper
Two-thirds simulation indexes and modal logic characterization	2013-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4926926	2013-06-20	Paper
Computational self-assembly	2008-11-06	Paper

Research outcomes over time

This page was built for person: Min Zhang