Min Zhang - RankMe

45 papers A* 3A 2B 3C 2Misc 8Journal 11Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Balancing Fairness and Performance Under Multiple Sensitive Attributes. PRICAI (4) Muxiang Zhang, Yifan Di, Min Zhang
2025	B	`conf`	Deep Reinforcement Learning for Autonomous Driving with Multiple Expert Demonstrations. IJCNN Chenghao Wang, Miaodi Li, Muxiang Zhang, Min Zhang
2025	—	`conf`	DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees. ICANN (1) Bingchang Yuan, Zhaohui Wang, Lingfeng Zhang, Jingran Yang, Bojie Shao, Min Zhang
2025	A*	`conf`	HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions. ICSE Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang, Jiangtao Wang
2024	A*	`conf`	FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. ASE Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu
2024	A*	`conf`	MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search. ICSE Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang
2024	A	`conf`	Making Fair Classification via Correlation Alignment. ECAI Jingran Yang, Lingfeng Zhang, Min Zhang
2023	J	`jnl`	Preface for the special issue of Theoretical Computer Science in honor of the 60 Theor. Comput. Sci. Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang
2021	A	`conf`	Efficient white-box fairness testing through gradient search. ISSTA Lingfeng Zhang, Yueling Zhang, Min Zhang
2021	B	`conf`	New Symbolic Model and Equivalences Checking for Open Automata. SMC Biyang Wang, Eric Madelaine, Min Zhang
2020	—	`conf`	A Hybrid Model with Pre-trained Entity-Aware Transformer for Relation Extraction. KSEM (1) Jinxin Yao, Min Zhang, Biyang Wang, Xianda Xu
2020	—	`conf`	A general and efficient framework for improving Balanced Failure Biasing. QRS Companion Shijian Mao, Min Zhang, Jia Yan, Yao Chen
2020	J	`jnl`	Optimizing backbone filtering. Sci. Comput. Program. Yueling Zhang, Min Zhang, Geguang Pu
2019	J	`jnl`	Generating adversarial examples for DNN using pooling layers. J. Intell. Fuzzy Syst. Yueling Zhang, Geguang Pu, Min Zhang, William Y
2019	C	`conf`	SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM Yueling Zhang, Geguang Pu, Min Zhang
2018	J	`jnl`	Towards backbone computing: A Greedy-Whitening based approach. AI Commun. Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
2017	J	`jnl`	A novel collective matrix factorization model for recommendation with fine-grained social trust prediction. Concurr. Comput. Pract. Exp. Jinkun Wang, Shasha Zhang, Xiao Liu, Yuanchun Jiang, Min Zhang
2017	J	`jnl`	On the complexity of Sci. China Inf. Sci. Yusi Lei, Fu Song, Wanwei Liu, Min Zhang
2017	Misc	`conf`	Optimizing backbone filtering. TASE Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
2016	—	`conf`	A Novel Fine-Grained User Trust Relation Prediction for Improving Recommendation Accuracy. CBD Shasha Zhang, Xiao Liu, Yuan-Chun Jiang, Min Zhang
2016	Misc	`conf`	Bayesian Statistical Model-Checking for Complex Stochastic Systems. TASE Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei
2016	—	`conf`	PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
2015	B	`conf`	On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR Fu Song, Weikai Miao, Geguang Pu, Min Zhang
2015	Misc	`conf`	Probabilistic Model Checking of Pipe protocol. TASE Kangli He, Min Zhang, Jia He, Yixiang Chen
2014	J	`jnl`	Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
2014	J	`jnl`	Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
2013	C	`conf`	A Proof System in PADS. ICTAC Xinghua Yao, Min Zhang, Yixiang Chen
2013	Misc	`conf`	On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE Hengyang Wu, Yixiang Chen, Min Zhang
2013	—	`conf`	Stability of Software Trustworthiness Measurements Models. SERE (Companion) Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang
2013	J	`jnl`	The Infinite Evolution Mechanism of ϵ-Bisimilarity. J. Comput. Sci. Technol. Yanfang Ma, Min Zhang
2012	—	`conf`	Bisimilarity for fuzzy doubly Labeled Transition Systems. QLSC Haiyu Pan, Min Zhang, Yixiang Chen
2012	Misc	`conf`	Bisimulation for Lattice-valued Transition Systems. TASE Haiyu Pan, Min Zhang, Yixiang Chen
2012	—	`conf`	Infinite Evolution Mechanism of ϵ-Bisimilarity. QLSC Yanfang Ma, Min Zhang, Liang Chen
2012	—	`conf`	Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) Haiyu Pan, Min Zhang, Yixiang Chen
2011	Misc	`conf`	Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
2011	—	`conf`	Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) Haiyu Pan, Min Zhang, Yixiang Chen
2011	J	`jnl`	Two-thirds simulation indexes and modal logic characterization. Frontiers Comput. Sci. China Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen
2009	—	`conf`	Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu
2009	—	`conf`	Infinite Evolution Mechanism of Probabilistic Processes. ICTCS Yanfang Ma, Min Zhang, Yixiang Chen
2009	—	`conf`	Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu
2009	Misc	`conf`	Parameterized Bisimulation Infinite Evolution Mechanism. TASE Yanfang Ma, Min Zhang, Yixiang Chen
2009	—	`conf`	Topological Construction of Parameterized Bisimulation Limit. ISDT Yanfang Ma, Min Zhang
2008	Misc	`conf`	A Bigraphical Model of WSBPEL. TASE Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu
2008	J	`jnl`	Computational self-assembly. Theor. Comput. Sci. Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
2007	—	`—`	Modelling and Analyzing Systems Biology Using Process Algebra. (Modélisation et analyse de processus biologiques dans des algèbres de processus). Min Zhang