Huimin Lin - RankMe

60 papers A* 2A 2B 7C 8Misc 2Journal 27Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Correlation Routing Network for Explainable Lesion Classification in Multi-Parametric Liver MRI. Medical Image Anal. Fakai Wang, Zhehan Shen, Huimin Lin, Fuhua Yan
2025	J	`jnl`	Serving Large Language Models on Huawei CloudMatrix384. CoRR Pengfei Zuo, Huimin Lin, Junbo Deng, Nan Zou, Xingkun Yang, Yingyu Diao, Weifeng Gao, Ke Xu, Zhangyu Chen, Shirui Lu, Zhao Qiu, Peiyang Li, Xianyu Chang, Zhengzhong Yu, Fangzheng Miao, Jia Zheng, Ying Li, Yuan Feng, Bei Wang, Zaijian Zong, Mosong Zhou, Wenli Zhou, Houjiang Chen, Xingyu Liao, Yipeng Li, Wenxiao Zhang, Ping Zhu, Yinggang Wang, Chuanjie Xiao, Depeng Liang, Dong Cao, Juncheng Liu, Yongqiang Yang, Xiaolong Bai, Yi Li, Huaguo Xie, Huatao Wu, Zhibin Yu, Lv Chen, Hu Liu, Yujun Ding, Haipei Zhu, Jing Xia, Yi Xiong, Zhou Yu, Heng Liao
2024	J	`jnl`	P/D-Serve: Serving Disaggregated Large Language Model at Scale. CoRR Yibo Jin, Tao Wang, Huimin Lin, Mingyang Song, Peiyang Li, Yipeng Ma, Yicheng Shan, Zhengfan Yuan, Cailong Li, Yajing Sun, Tiandeng Wu, Xing Chu, Ruizhi Huan, Li Ma, Xiao You, Wenting Zhou, Yunpeng Ye, Wen Liu, Xiangkun Xu, Yongsheng Zhang, Tiantian Dong, Jiawei Zhu, Zhe Wang, Xijian Ju, Jianxun Song, Haoliang Cheng, Xiaojing Li, Jiandong Ding, Hefei Guo, Zhengyong Zhang
2022	C	`conf`	Convolutional neural network for automatic classification of copper alloy metallographs. CIS Xueyu Huang, Huimin Lin, Huaiyu He
2022	—	`conf`	V2P Protection Based on Multi-Sensor Fusion in Foggy Scene. ICCDA Jianming Wei, Shumin Liu, Qiuming Liu, Huimin Lin
2021	J	`jnl`	GTree: an Open-source Tool for Dense Reconstruction of Brain-wide Neuronal Population. Neuroinformatics Hang Zhou, Shiwei Li, Anan Li, Qing Huang, Feng Xiong, Ning Li, Jiacheng Han, Hongtao Kang, Yijun Chen, Yun Li, Huimin Lin, Yu-Hui Zhang, Xiaohua Lv, Xiuli Liu, Hui Gong, Qingming Luo, Shaoqun Zeng, Tingwei Quan
2018	A	`conf`	Branching Bisimulation and Concurrent Object Verification. DSN Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu
2017	J	`jnl`	Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. CoRR Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu
2016	J	`jnl`	Proving Linearizability via Branching Bisimulation. CoRR Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu
2014	J	`jnl`	Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media. J. Comput. Phys. Huimin Lin, Huazhong Tang, Wei Cai
2014	C	`conf`	Metrics for Differential Privacy in Concurrent Systems. FORTE Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin
2012	J	`jnl`	A complete symbolic bisimulation for full applied pi calculus. Theor. Comput. Sci. Jia Liu, Huimin Lin
2012	J	`jnl`	Image Approximations to Electrostatic Potentials in Layered Electrolytes/Dielectrics and an Ion-Channel Model. J. Sci. Comput. Huimin Lin, Zhenli Xu, Huazhong Tang, Wei Cai
2011	J	`jnl`	Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. Int. J. Softw. Eng. Knowl. Eng. Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen
2010	B	`conf`	A Complete Symbolic Bisimulation for Full Applied Pi Calculus. SOFSEM Jia Liu, Huimin Lin
2010	—	`conf`	Proof System for Applied Pi Calculus. IFIP TCS Jia Liu, Huimin Lin
2009	Misc	`conf`	Environment Abstraction with State Clustering and Parameter Truncating. TASE Hong Pan, Yi Lv, Huimin Lin
2009	—	`conf`	On the integration of metamorphic testing and model checking. IADIS AC (2) Huai Liu, Daoming Wang, Huimin Lin, Tsong Yueh Chen
2008	Misc	`conf`	Specifying Properties for Modular Pi-Calculus. TASE Takashi Kitamura, Huimin Lin
2008	B	`conf`	Stratifying Winning Positions in Parity Games. Petri Nets Huimin Lin
2008	C	`conf`	Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. SEKE Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang
2007	C	`conf`	Computing Invariants for Parameter Abstraction. MEMOCODE Yi Lv, Huimin Lin, Hong Pan
2007	C	`conf`	Controlling Process Modularity in Mobile Computing. ICTAC Takashi Kitamura, Huimin Lin
2007	—	`conf`	Symbolic Bisimulations for Probabilistic Systems. QEST Peng Wu, Catuscia Palamidessi, Huimin Lin
2007	—	`conf`	Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems Daguang Liu, Peng Wu, Huimin Lin
2006	J	`jnl`	Model Checking Data Consistency for Cache Coherence Protocols. J. Comput. Sci. Technol. Hong Pan, Huimin Lin, Yi Lv
2006	J	`jnl`	Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. Int. J. Softw. Eng. Knowl. Eng. Peng Wu, Huimin Lin
2005	—	`conf`	Extended Symbolic Transition Graphs with Assignment. COMPSAC (1) Weijia Deng, Huimin Lin
2005	—	`conf`	Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC Peng Wu, Huimin Lin
2005	J	`jnl`	Predicate µ-Calculus for Mobile Ambients. J. Comput. Sci. Technol. Huimin Lin
2004	C	`conf`	A Predicate Spatial Logic and Model Checking for Mobile Processes. ICTAC Huimin Lin
2004	J	`jnl`	A predicate spatial logic for mobile processes. Sci. China Ser. F Inf. Sci. Huimin Lin
2004	J	`jnl`	Editorial. Inf. Softw. Technol. Huimin Lin, Hans-Dieter Ehrich, T. H. Tse
2004	B	`conf`	Formal Methods for Trustworthy Mobile Computing. COMPSAC Huimin Lin
2003	J	`jnl`	Complete inference systems for weak bisimulation equivalences in the pi-calculus. Inf. Comput. Huimin Lin
2003	J	`jnl`	On decidability and model checking for a first order modal logic for value-passing processes. Sci. China Ser. F Inf. Sci. Rui Xue, Huimin Lin
2002	J	`jnl`	A Graphical mu-Calculus and Local Model Checking. J. Comput. Sci. Technol. Huimin Lin
2002	J	`jnl`	Axiomatising timed automata. Acta Informatica Huimin Lin, Wang Yi
2002	—	`conf`	Making Timed Automata Communicate. 10th Anniversary Colloquium of UNU/IIST Jing Chen, Huimin Lin
2001	—	`ch.`	A Symbolic Approach to Value-Passing Processes. Handbook of Process Algebra Anna Ingólfsdóttir, Huimin Lin
2001	C	`conf`	Model Checking Value-Passing Processes. APSEC Huimin Lin
2001	J	`jnl`	Unique fixpoint induction for message-passing process calculi. Sci. Comput. Program. Matthew Hennessy, Huimin Lin, Julian Rathke
2000	—	`conf`	A Complete Axiomatisation for Timed Automata. FSTTCS Huimin Lin, Wang Yi
2000	B	`conf`	A Proof System for Timed Automata. FoSSaCS Huimin Lin, Wang Yi
2000	J	`jnl`	Computing Bisimulations for Finite-Control pi-Calculus. J. Comput. Sci. Technol. Huimin Lin
1998	C	`conf`	"On-the-fly Instantiation" of Value-passing Processes. FORTE Huimin Lin
1998	A*	`conf`	Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. ICALP Huimin Lin
1998	J	`jnl`	Preface. J. Comput. Sci. Technol. Pierre-Louis Curien, Matthew Hennessy, Huimin Lin
1996	J	`jnl`	Proof Systems for Message-Passing Process Algebras. Formal Aspects Comput. Matthew Hennessy, Huimin Lin
1996	B	`conf`	Symbolic Transition Graph with Assignment. CONCUR Huimin Lin
1995	—	`conf`	Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. TAPSOFT Huimin Lin
1995	J	`jnl`	PAM: A Process Algebra Manipulator. Formal Methods Syst. Des. Huimin Lin
1995	J	`jnl`	Symbolic Bisimulations. Theor. Comput. Sci. Matthew Hennessy, Huimin Lin
1995	B	`conf`	Unique Fixpoint Induction for Mobile Processes. CONCUR Huimin Lin
1993	—	`conf`	A Verification Tool for Value-Passing Processes. PSTV Huimin Lin
1993	J	`jnl`	Procedural Implementation of Algebraic Specification. ACM Trans. Program. Lang. Syst. Huimin Lin
1993	B	`conf`	Proof Systems for Message-Passing Process Algebras. CONCUR Matthew Hennessy, Huimin Lin
1992	A	`conf`	An Interactive Proof Tool for Process Algebras. STACS Huimin Lin
1991	A*	`conf`	PAM: A Process Algebra Manipulator. CAV Huimin Lin
1990	J	`jnl`	Modelling Multiple Inheritance with Colimits. Formal Aspects Comput. Huimin Lin, Man-Chi Pong