DBLP: Huimin Lin

	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. International Journal of Software Engineering and Knowledge Engineering 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
	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. International Journal of Software Engineering and Knowledge Engineering 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. Science in China Series F: Information Sciences 47(3): 394-408 (2004)
j13		Huimin Lin, Hans-Dieter Ehrich, T. H. Tse: Editorial. Information & Software Technology 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. Science in China Series F: Information Sciences 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 Inf. 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-
	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
	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 Asp. 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 in System Design 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 Asp. Comput. 2(4): 301-311 (1990)

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. International Journal of Software Engineering and Knowledge Engineering 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

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. International Journal of Software Engineering and Knowledge Engineering 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. Science in China Series F: Information Sciences 47(3): 394-408 (2004)

j13

Huimin Lin, Hans-Dieter Ehrich, T. H. Tse: Editorial. Information & Software Technology 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. Science in China Series F: Information Sciences 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 Inf. 38(4): 277-305 (2002)

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

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-

2000

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

1998

Pierre-Louis Curien, Matthew Hennessy, Huimin Lin: Preface. J. Comput. Sci. Technol. 13(6): 481 (1998)

Huimin Lin: "On-the-fly Instantiation" of Value-passing Processes. FORTE 1998: 215-230

Huimin Lin: Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. ICALP 1998: 443-454

1996

Matthew Hennessy, Huimin Lin: Proof Systems for Message-Passing Process Algebras. Formal Asp. Comput. 8(4): 379-407 (1996)

Huimin Lin: Symbolic Transition Graph with Assignment. CONCUR 1996: 50-65

1995

Huimin Lin: PAM: A Process Algebra Manipulator. Formal Methods in System Design 7(3): 243-259 (1995)

Matthew Hennessy, Huimin Lin: Symbolic Bisimulations. Theor. Comput. Sci. 138(2): 353-389 (1995)

Huimin Lin: Unique Fixpoint Induction for Mobile Processes. CONCUR 1995: 88-102

Huimin Lin: Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. TAPSOFT 1995: 187-201

1993

Huimin Lin: Procedural Implementation of Algebraic Specification. ACM Trans. Program. Lang. Syst. 15(5): 876-895 (1993)

Matthew Hennessy, Huimin Lin: Proof Systems for Message-Passing Process Algebras. CONCUR 1993: 202-216

Huimin Lin: A Verification Tool for Value-Passing Processes. PSTV 1993: 79-92

1992

Huimin Lin: An Interactive Proof Tool for Process Algebras. STACS 1992: 617-618

1991

Huimin Lin: PAM: A Process Algebra Manipulator. CAV 1991: 136-146

1990

Huimin Lin, Man-Chi Pong: Modelling Multiple Inheritance with Colimits. Formal Asp. Comput. 2(4): 301-311 (1990)

1	Wei Cai	[j20]
2	Jing Chen	[c13]
3	Tsong Yueh Chen	[j18] [c26] [c23]
4	Pierre-Louis Curien	[j6]
5	Weijia Deng	[c17]
6	Hans-Dieter Ehrich	[j13]
7	Matthew Hennessy	[j8] [j6] [j5] [j3] [c4]
8	Takashi Kitamura	[c22] [c20]
9	Daguang Liu	[c21]
10	Huai Liu	[c26]
11	Jia Liu	[j19] [c28] [c27]
12	Yi Lv	[c25] [c19] [j16]
13	Robert G. Merkel	[j18] [c23]
14	Catuscia Palamidessi	[c18]
15	Hong Pan	[c25] [c19] [j16]
16	Man-Chi Pong	[j1]
17	Julian Rathke	[j8]
18	Huazhong Tang	[j20]
19	T. H. Tse	[j13]
20	Daoming Wang	[j18] [c26] [c23]
21	Peng Wu 0002	[c21] [c18] [j17] [c16]
22	Zhenli Xu	[j20]
23	Rui Xue	[j12]
24	Wang Yi 0001	[j10] [c11] [c10]

Huimin Lin

Coauthor Index