default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHuimin Lin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i3]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:
P/D-Serve: Serving Disaggregated Large Language Model at Scale. CoRR abs/2408.08147 (2024)- 2022
- [c32]Xueyu Huang, Huimin Lin, Huaiyu He:
Convolutional neural network for automatic classification of copper alloy metallographs. CIS 2022: 59-63 - [c31]Jianming Wei, Shumin Liu, Qiuming Liu, Huimin Lin:
V2P Protection Based on Multi-Sensor Fusion in Foggy Scene. ICCDA 2022: 53-60 - 2021
- [j22]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:
GTree: an Open-source Tool for Dense Reconstruction of Brain-wide Neuronal Population. Neuroinformatics 19(2): 305-317 (2021)
2010 – 2019
- 2018
- [c30]Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu:
Branching Bisimulation and Concurrent Object Verification. DSN 2018: 267-278 - 2017
- [i2]Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu:
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. CoRR abs/1701.06104 (2017) - 2016
- [i1]Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu:
Proving Linearizability via Branching Bisimulation. CoRR abs/1609.07546 (2016) - 2014
- [j21]Huimin Lin, Huazhong Tang, Wei Cai:
Accuracy and efficiency in computing electrostatic potential for an ion channel model in layered dielectric/electrolyte media. J. Comput. Phys. 259: 488-512 (2014) - [c29]Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin:
Metrics for Differential Privacy in Concurrent Systems. FORTE 2014: 199-215 - 2012
- [j20]Huimin Lin, Zhenli Xu, Huazhong Tang, Wei Cai:
Image Approximations to Electrostatic Potentials in Layered Electrolytes/Dielectrics and an Ion-Channel Model. J. Sci. Comput. 53(2): 249-267 (2012) - [j19]Jia Liu, Huimin Lin:
A complete symbolic bisimulation for full applied pi calculus. Theor. Comput. Sci. 458: 76-112 (2012) - 2011
- [j18]Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen:
Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. Int. J. Softw. Eng. Knowl. Eng. 21(2): 289-307 (2011) - 2010
- [c28]Jia Liu, Huimin Lin:
Proof System for Applied Pi Calculus. IFIP TCS 2010: 229-243 - [c27]Jia Liu, Huimin Lin:
A Complete Symbolic Bisimulation for Full Applied Pi Calculus. SOFSEM 2010: 552-563
2000 – 2009
- 2009
- [c26]Huai Liu, Daoming Wang, Huimin Lin, Tsong Yueh Chen:
On the integration of metamorphic testing and model checking. IADIS AC (2) 2009: 299-302 - [c25]Hong Pan, Yi Lv, Huimin Lin:
Environment Abstraction with State Clustering and Parameter Truncating. TASE 2009: 73-80 - 2008
- [c24]Huimin Lin:
Stratifying Winning Positions in Parity Games. Petri Nets 2008: 9-11 - [c23]Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang:
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. SEKE 2008: 16-21 - [c22]Takashi Kitamura, Huimin Lin:
Specifying Properties for Modular Pi-Calculus. TASE 2008: 201-208 - 2007
- [c21]Daguang Liu, Peng Wu, Huimin Lin:
Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems 2007: 467-471 - [c20]Takashi Kitamura, Huimin Lin:
Controlling Process Modularity in Mobile Computing. ICTAC 2007: 246-259 - [c19]Yi Lv, Huimin Lin, Hong Pan:
Computing Invariants for Parameter Abstraction. MEMOCODE 2007: 29-38 - [c18]Peng Wu, Catuscia Palamidessi, Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems. QEST 2007: 179-188 - 2006
- [j17]Peng Wu, Huimin Lin:
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. Int. J. Softw. Eng. Knowl. Eng. 16(5): 727-746 (2006) - [j16]Hong Pan, Huimin Lin, Yi Lv:
Model Checking Data Consistency for Cache Coherence Protocols. J. Comput. Sci. Technol. 21(5): 765-775 (2006) - 2005
- [j15]Huimin Lin:
Predicate µ-Calculus for Mobile Ambients. J. Comput. Sci. Technol. 20(1): 95-104 (2005) - [c17]Weijia Deng, Huimin Lin:
Extended Symbolic Transition Graphs with Assignment. COMPSAC (1) 2005: 227-232 - [c16]Peng Wu, Huimin Lin:
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC 2005: 3-10 - 2004
- [j14]Huimin Lin:
A predicate spatial logic for mobile processes. Sci. China Ser. F Inf. Sci. 47(3): 394-408 (2004) - [j13]Huimin Lin, Hans-Dieter Ehrich, T. H. Tse:
Editorial. Inf. Softw. Technol. 46(15): 987-988 (2004) - [c15]Huimin Lin:
Formal Methods for Trustworthy Mobile Computing. COMPSAC 2004: 500 - [c14]Huimin Lin:
A Predicate Spatial Logic and Model Checking for Mobile Processes. ICTAC 2004: 36-36 - 2003
- [j12]Rui Xue, Huimin Lin:
On decidability and model checking for a first order modal logic for value-passing processes. Sci. China Ser. F Inf. Sci. 46(1): 45-59 (2003) - [j11]Huimin Lin:
Complete inference systems for weak bisimulation equivalences in the pi-calculus. Inf. Comput. 180(1): 1-29 (2003) - 2002
- [j10]Huimin Lin, Wang Yi:
Axiomatising timed automata. Acta Informatica 38(4): 277-305 (2002) - [j9]Huimin Lin:
A Graphical mu-Calculus and Local Model Checking. J. Comput. Sci. Technol. 17(6): 665-671 (2002) - [c13]Jing Chen, Huimin Lin:
Making Timed Automata Communicate. 10th Anniversary Colloquium of UNU/IIST 2002: 337-351 - 2001
- [j8]Matthew Hennessy, Huimin Lin, Julian Rathke:
Unique fixpoint induction for message-passing process calculi. Sci. Comput. Program. 41(3): 241-275 (2001) - [c12]Huimin Lin:
Model Checking Value-Passing Processes. APSEC 2001: 3- - [p1]Anna Ingólfsdóttir, Huimin Lin:
A Symbolic Approach to Value-Passing Processes. Handbook of Process Algebra 2001: 427-478 - 2000
- [j7]Huimin Lin:
Computing Bisimulations for Finite-Control pi-Calculus. J. Comput. Sci. Technol. 15(1): 1-9 (2000) - [c11]Huimin Lin, Wang Yi:
A Proof System for Timed Automata. FoSSaCS 2000: 208-222 - [c10]Huimin Lin, Wang Yi:
A Complete Axiomatisation for Timed Automata. FSTTCS 2000: 277-289
1990 – 1999
- 1998
- [j6]Pierre-Louis Curien, Matthew Hennessy, Huimin Lin:
Preface. J. Comput. Sci. Technol. 13(6): 481 (1998) - [c9]Huimin Lin:
"On-the-fly Instantiation" of Value-passing Processes. FORTE 1998: 215-230 - [c8]Huimin Lin:
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. ICALP 1998: 443-454 - 1996
- [j5]Matthew Hennessy, Huimin Lin:
Proof Systems for Message-Passing Process Algebras. Formal Aspects Comput. 8(4): 379-407 (1996) - [c7]Huimin Lin:
Symbolic Transition Graph with Assignment. CONCUR 1996: 50-65 - 1995
- [j4]Huimin Lin:
PAM: A Process Algebra Manipulator. Formal Methods Syst. Des. 7(3): 243-259 (1995) - [j3]Matthew Hennessy, Huimin Lin:
Symbolic Bisimulations. Theor. Comput. Sci. 138(2): 353-389 (1995) - [c6]Huimin Lin:
Unique Fixpoint Induction for Mobile Processes. CONCUR 1995: 88-102 - [c5]Huimin Lin:
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. TAPSOFT 1995: 187-201 - 1993
- [j2]Huimin Lin:
Procedural Implementation of Algebraic Specification. ACM Trans. Program. Lang. Syst. 15(5): 876-895 (1993) - [c4]Matthew Hennessy, Huimin Lin:
Proof Systems for Message-Passing Process Algebras. CONCUR 1993: 202-216 - [c3]Huimin Lin:
A Verification Tool for Value-Passing Processes. PSTV 1993: 79-92 - 1992
- [c2]Huimin Lin:
An Interactive Proof Tool for Process Algebras. STACS 1992: 617-618 - 1991
- [c1]Huimin Lin:
PAM: A Process Algebra Manipulator. CAV 1991: 136-146 - 1990
- [j1]Huimin Lin, Man-Chi Pong:
Modelling Multiple Inheritance with Colimits. Formal Aspects Comput. 2(4): 301-311 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
