Min Zhang

According to our database, Min Zhang authored at least 46 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models.

Yifan Li, Qin Li, Min Zhang, Min Zhang, Peixin Wang

CoRR, November, 2025

Balancing Fairness and Performance Under Multiple Sensitive Attributes.

Muxiang Zhang, Yifan Di, Min Zhang

Proceedings of the PRICAI 2025: Trends in Artificial Intelligence, 2025

Deep Reinforcement Learning for Autonomous Driving with Multiple Expert Demonstrations.

Chenghao Wang, Miaodi Li, Muxiang Zhang, Min Zhang

Proceedings of the International Joint Conference on Neural Networks, 2025

HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions.

Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang, Jiangtao Wang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees.

Bingchang Yuan, Zhaohui Wang, Lingfeng Zhang, Jingran Yang, Bojie Shao, Min Zhang

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2025, 2025

2024

FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.

Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search.

Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Making Fair Classification via Correlation Alignment.

Jingran Yang, Lingfeng Zhang, Min Zhang

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Preface for the special issue of Theoretical Computer Science in honor of the 60^th birthday of Yuxi Fu.

Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang

Theor. Comput. Sci., February, 2023

2021

New Symbolic Model and Equivalences Checking for Open Automata.

Biyang Wang, Eric Madelaine, Min Zhang

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Efficient white-box fairness testing through gradient search.

Lingfeng Zhang, Yueling Zhang, Min Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Optimizing backbone filtering.

Yueling Zhang, Min Zhang, Geguang Pu

Sci. Comput. Program., 2020

A general and efficient framework for improving Balanced Failure Biasing.

Shijian Mao, Min Zhang, Jia Yan, Yao Chen

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

A Hybrid Model with Pre-trained Entity-Aware Transformer for Relation Extraction.

Jinxin Yao, Min Zhang, Biyang Wang, Xianda Xu

Proceedings of the Knowledge Science, Engineering and Management, 2020

2019

Generating adversarial examples for DNN using pooling layers.

Yueling Zhang, Geguang Pu, Min Zhang, William Y

J. Intell. Fuzzy Syst., 2019

SMTBCF: Efficient Backbone Computing for SMT Formulas.

Yueling Zhang, Geguang Pu, Min Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Towards backbone computing: A Greedy-Whitening based approach.

Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li

AI Commun., 2018

2017

A novel collective matrix factorization model for recommendation with fine-grained social trust prediction.

Jinkun Wang, Shasha Zhang, Xiao Liu, Yuanchun Jiang, Min Zhang

Concurr. Comput. Pract. Exp., 2017

On the complexity of <i>ω</i>-pushdown automata.

Yusi Lei, Fu Song, Wanwei Liu, Min Zhang

Sci. China Inf. Sci., 2017

Optimizing backbone filtering.

Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

Bayesian Statistical Model-Checking for Complex Stochastic Systems.

Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

A Novel Fine-Grained User Trust Relation Prediction for Improving Recommendation Accuracy.

Shasha Zhang, Xiao Liu, Yuan-Chun Jiang, Min Zhang

Proceedings of the International Conference on Advanced Cloud and Big Data, 2016

2015

Probabilistic Model Checking of Pipe protocol.

Kangli He, Min Zhang, Jia He, Yixiang Chen

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.

Fu Song, Weikai Miao, Geguang Pu, Min Zhang

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Simulation for lattice-valued doubly labeled transition systems.

Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen

Int. J. Approx. Reason., 2014

Quantitative Analysis of Lattice-valued Kripke Structures.

Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen

Fundam. Informaticae, 2014

2013

The Infinite Evolution Mechanism of ϵ-Bisimilarity.

Yanfang Ma, Min Zhang

J. Comput. Sci. Technol., 2013

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.

Hengyang Wu, Yixiang Chen, Min Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Stability of Software Trustworthiness Measurements Models.

Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

A Proof System in PADS.

Xinghua Yao, Min Zhang, Yixiang Chen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Bisimulation for Lattice-valued Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Bisimilarity for fuzzy doubly Labeled Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

Infinite Evolution Mechanism of ϵ-Bisimilarity.

Yanfang Ma, Min Zhang, Liang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

2011

Two-thirds simulation indexes and modal logic characterization.

Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen

Frontiers Comput. Sci. China, 2011

Approximate Bisimulation for Metric Doubly Labeled Transition System.

Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Approximate Simulation for Metric Hybrid Input/Output Automata.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2009

Topological Construction of Parameterized Bisimulation Limit.

Yanfang Ma, Min Zhang

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Parameterized Bisimulation Infinite Evolution Mechanism.

Yanfang Ma, Min Zhang, Yixiang Chen

Proceedings of the TASE 2009, 2009

Average Transitive Trustworthy Degrees for Trustworthy Networks.

Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu

Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009

Infinite Evolution Mechanism of Probabilistic Processes.

Yanfang Ma, Min Zhang, Yixiang Chen

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.

Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008

Computational self-assembly.

Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang

Theor. Comput. Sci., 2008

A Bigraphical Model of WSBPEL.

Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

Modelling and Analyzing Systems Biology Using Process Algebra. (Modélisation et analyse de processus biologiques dans des algèbres de processus).

Min Zhang

PhD thesis, 2007