A Bigraphical Model of WSBPEL. - Min Zhang 007; Ling Shi 002; Longfei Zhu; Yifei Wang; Libo Feng; Geguang Pu (TASE, 2008)

Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. - Yixiang Chen 001; Tian-Ming Bu; Min Zhang 007; Hong Zhu 004 (Web Intelligence/IAT Workshops, 2009)

Infinite Evolution Mechanism of Probabilistic Processes. - Yanfang Ma; Min Zhang 007; Yixiang Chen 001 (ICTCS, 2009)

Average Transitive Trustworthy Degrees for Trustworthy Networks. - Yixiang Chen 001; Min Zhang 007; Hong Zhu 004; Tian-Ming Bu (RSKT, 2009)

Parameterized Bisimulation Infinite Evolution Mechanism. - Yanfang Ma; Min Zhang 007; Yixiang Chen 001 (TASE, 2009)

Topological Construction of Parameterized Bisimulation Limit. - Yanfang Ma; Min Zhang 007 (ISDT, 2009)

Approximate Simulation for Metric Hybrid Input/Output Automata. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (SSIRI (Companion), 2011)

Approximate Bisimulation for Metric Doubly Labeled Transition System. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001; Hengyang Wu (TASE, 2011)

Two-thirds simulation indexes and modal logic characterization. - Yanfang Ma; Min Zhang 007; Yixiang Chen 001; Liang Chen 005 (Frontiers Comput. Sci. China, 2011)

Infinite Evolution Mechanism of ϵ-Bisimilarity. - Yanfang Ma; Min Zhang 007; Liang Chen 005 (QLSC, 2012)

Bisimilarity for fuzzy doubly Labeled Transition Systems. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (QLSC, 2012)

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (SERE (Companion), 2012)

Bisimulation for Lattice-valued Transition Systems. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (TASE, 2012)

A Proof System in PADS. - Xinghua Yao; Min Zhang 007; Yixiang Chen 001 (ICTAC, 2013)

Stability of Software Trustworthiness Measurements Models. - Lewen Zhang; Yong Zhou; Yixiang Chen 001; Min Zhang 007; Juyang Zhang (SERE (Companion), 2013)

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. - Hengyang Wu; Yixiang Chen 001; Min Zhang 007 (TASE, 2013)

The Infinite Evolution Mechanism of ϵ-Bisimilarity. - Yanfang Ma; Min Zhang 007 (J. Comput. Sci. Technol., 2013)

Quantitative Analysis of Lattice-valued Kripke Structures. - Haiyu Pan; Min Zhang 007; Hengyang Wu; Yixiang Chen 001 (Fundam. Informaticae, 2014)

Simulation for lattice-valued doubly labeled transition systems. - Haiyu Pan; Yongzhi Cao; Min Zhang 007; Yixiang Chen 001 (Int. J. Approx. Reason., 2014)

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. - Fu Song; Weikai Miao; Geguang Pu; Min Zhang 007 (CONCUR, 2015)

Probabilistic Model Checking of Pipe protocol. - Kangli He; Min Zhang 007; Jia He; Yixiang Chen 001 (TASE, 2015)

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. - Kangli He; Yixiang Chen 001; Min Zhang 007; Yuanrui Zhang (MMB/DFT, 2016)

Bayesian Statistical Model-Checking for Complex Stochastic Systems. - Jia He; Min Zhang 007; Kangli He; Yannan Guo; Yusi Lei (TASE, 2016)

Optimizing backbone filtering. - Yueling Zhang; Jianwen Li; Min Zhang 007; Geguang Pu; Fu Song (TASE, 2017)

On the complexity of ω-pushdown automata. - Yusi Lei; Fu Song; Wanwei Liu; Min Zhang 007 (Sci. China Inf. Sci., 2017)

Towards backbone computing: A Greedy-Whitening based approach. - Yueling Zhang; Min Zhang 007; Geguang Pu; Fu Song; Jianwen Li (AI Commun., 2018)

SMTBCF: Efficient Backbone Computing for SMT Formulas. - Yueling Zhang; Geguang Pu; Min Zhang 007 (ICFEM, 2019)

Generating adversarial examples for DNN using pooling layers. - Yueling Zhang; Geguang Pu; Min Zhang 007; William Y (J. Intell. Fuzzy Syst., 2019)

Optimizing backbone filtering. - Yueling Zhang; Min Zhang 007; Geguang Pu (Sci. Comput. Program., 2020)

Efficient white-box fairness testing through gradient search. - Lingfeng Zhang; Yueling Zhang; Min Zhang 007 (ISSTA, 2021)

New Symbolic Model and Equivalences Checking for Open Automata. - Biyang Wang; Eric Madelaine; Min Zhang 007 (SMC, 2021)

Making Fair Classification via Correlation Alignment. - Jingran Yang; Lingfeng Zhang; Min Zhang 007 (ECAI, 2024)

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search. - Zhaohui Wang; Min Zhang 007; Jingran Yang; Bojie Shao; Min Zhang 002 (ICSE, 2024)

FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. - Junwei Chen; Yueling Zhang; Lingfeng Zhang; Min Zhang 007; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ASE, 2024)