| 2022 | CIS | Convolutional neural network for automatic classification of copper alloy metallographs. | Xueyu Huang, Huimin Lin, Huaiyu He |
| 2018 | DSN | Branching Bisimulation and Concurrent Object Verification. | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu |
| 2014 | FORTE | Metrics for Differential Privacy in Concurrent Systems. | Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin |
| 2010 | SOFSEM | A Complete Symbolic Bisimulation for Full Applied Pi Calculus. | Jia Liu, Huimin Lin |
| 2009 | TASE | Environment Abstraction with State Clustering and Parameter Truncating. | Hong Pan, Yi Lv, Huimin Lin |
| 2008 | SEKE | Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. | Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang |
| 2008 | TASE | Specifying Properties for Modular Pi-Calculus. | Takashi Kitamura, Huimin Lin |
| 2007 | ICTAC | Controlling Process Modularity in Mobile Computing. | Takashi Kitamura, Huimin Lin |
| 2007 | MEMOCODE | Computing Invariants for Parameter Abstraction. | Yi Lv, Huimin Lin, Hong Pan |
| 2005 | COMPSAC | Extended Symbolic Transition Graphs with Assignment. | Weijia Deng, Huimin Lin |
| 2004 | COMPSAC | Formal Methods for Trustworthy Mobile Computing. | Huimin Lin |
| 2004 | ICTAC | A Predicate Spatial Logic and Model Checking for Mobile Processes. | Huimin Lin |
| 2001 | APSEC | Model Checking Value-Passing Processes. | Huimin Lin |
| 2000 | FOSSACS | A Proof System for Timed Automata. | Huimin Lin, Wang Yi |
| 1998 | FORTE | "On-the-fly Instantiation" of Value-passing Processes. | Huimin Lin |
| 1998 | ICALP | Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. | Huimin Lin |
| 1996 | CONCUR | Symbolic Transition Graph with Assignment. | Huimin Lin |
| 1995 | CONCUR | Unique Fixpoint Induction for Mobile Processes. | Huimin Lin |
| 1993 | CONCUR | Proof Systems for Message-Passing Process Algebras. | Matthew Hennessy, Huimin Lin |
| 1992 | STACS | An Interactive Proof Tool for Process Algebras. | Huimin Lin |
| 1991 | CAV | PAM: A Process Algebra Manipulator. | Huimin Lin |