Kai Lin

	2009
26		Kai Lin, Keqiu Li, Hongwei Ge, Yanming Shen: An equilibrium multi-hop cluster hierarchy for wireless sensor networks. IWCMC 2009: 703-706
	2008
25		Chunfu Jia, Deqiang Chen, Kai Lin: The Application of the Relative Entropy Density Divergence in Intrusion Detection Models. CSSE (3) 2008: 951-954
	2007
24		Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey: "Integrare", a Collaborative Environment for Behavior-Oriented Design. CDVE 2007: 122-131
23		Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey: Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration. CDVE 2007: 353-360
22		Kai Lin, David Chen, R. Geoff Dromey, Steven Xia, Chengzheng Sun: API design recommendations for facilitating conversion of single-user applications into collaborative applications. CollaborateCom 2007: 309-317
21		Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun: Maintaining constraints expressed as formulas in collaborative systems. CollaborateCom 2007: 318-327
20		Zaki Malik, Abdelmounaam Rezgui, A. Krishna Sinha, Kai Lin, Athman Bouguettaya: DIA: A Web Services-based Infrastructure for Semantic Integration in Geoinformatics. ICWS 2007: 1016-1023
19		Choonhan Youn, Chaitan Baru, Karan Bhatia, Sandeep Chandra, Kai Lin, Ashraf Memon, Ghulam Memon, Dogan Seber: GEONGrid portal: design and implementations. Concurrency and Computation: Practice and Experience 19(12): 1597-1607 (2007)
	2006
18		Ullas Nambiar, Bertram Ludäscher, Kai Lin, Chaitan Baru: The GEON portal: accelerating knowledge discovery in the geosciences. WIDM 2006: 83-90
	2005
17		Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey: A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments. CDVE 2005: 103-110
16		Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun: Maintaining multi-way dataflow constraints in collaborative systems. CollaborateCom 2005
15		Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey: Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach. ECSCW 2005: 185-204
14		Joseph A. Goguen, Kai Lin: Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) 2005: 1-38
	2004
13		Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin: Critical Points for Interactive Schema Matching. APWeb 2004: 654-664
12		Ilkay Altintas, Efrat Jaeger, Kai Lin, Bertram Ludäscher, Ashraf Memon: A Web Service Composition and Deployment Framework for Scientific Workflows. ICWS 2004: 814-
11		Shawn Bowers, Kai Lin, Bertram Ludäscher: On Integrating Scientific Resources through Semantic Registration. SSDBM 2004: 349-352
	2003
10		Joseph A. Goguen, Kai Lin: Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216-
	2002
9		Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232
	2001
8		Joseph A. Goguen, Kai Lin: Web-Based Support for Cooperative Software Engineering. Ann. Software Eng. 12(1): 167-191 (2001)
	2000
7		Joseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132
6		Joseph A. Goguen, Kai Lin: Web-based Multimedia Support for Distributed Cooperative Software Engineering*. ISMSE 2000: 25-32
5		Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: (2000)
4		Yongqiang Sun, Kai Lin, Chao-Jun Lu: Partial Completion of Equational Theories. J. Comput. Sci. Technol. 15(6): 552-559 (2000)
	1997
3		Yongqiang Sun, Kai Lin, Yijia Chen: Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . APDC 1997: 390-397
2		Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62
1		Yongqiang Sun, Kai Lin, Li Shen: The Design and Implementation of a Program Development System Based on Rewriting Method. SIGPLAN Notices 32(2): 27-34 (1997)

Coauthor Index

1	Ilkay Altintas	[12]
2	Chaitanya K. Baru (Chaitan Baru)	[18] [19]
3	Karan Bhatia	[19]
4	Athman Bouguettaya	[20]
5	Shawn Bowers	[11]
6	Sandeep Chandra	[19]
7	David Chen	[15] [16] [17] [21] [22] [23]
8	Deqiang Chen	[25]
9	Yijia Chen	[3]
10	Robert Colvin	[24]
11	R. Geoff Dromey	[15] [16] [17] [21] [22] [23] [24]
12	Hongwei Ge	[26]
13	Joseph A. Goguen	[2] [5] [6] [7] [8] [9] [10] [13] [14]
14	Efrat Jaeger	[12]
15	Chunfu Jia	[25]
16	Keqiu Li	[26]
17	Chao-Jun Lu	[4]
18	Bertram Ludäscher	[11] [12] [18]
19	Zaki Malik	[20]
20	Ashraf Memon	[12] [19]
21	Ghulam Memon	[19]
22	A. Mori	[2]
23	Young-Kwang Nam	[13]
24	Ullas Nambiar	[18]
25	Abdelmounaam Rezgui	[20]
26	Grigore Rosu	[2] [5] [7] [9]
27	A. Sato	[2]
28	John Seagrott	[24]
29	Dogan Seber	[19]
30	Li Shen	[1]
31	Yanming Shen	[26]
32	A. Krishna Sinha	[20]
33	Chengzheng Sun	[15] [16] [17] [21] [22] [23]
34	Yongqiang Sun	[1] [3] [4]
35	Guilian Wang	[13]
36	Lian Wen	[24]
37	Steven Xia	[22]
38	Nisansala Yatapanage	[24]
39	Choonhan Youn	[19]

Colors in the list of coauthors