Kai Lin

2008
25	EE	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	EE	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	EE	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	EE	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	EE	Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun: Maintaining constraints expressed as formulas in collaborative systems. CollaborateCom 2007: 318-327
20	EE	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	EE	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	EE	Ullas Nambiar, Bertram Ludäscher, Kai Lin, Chaitan Baru: The GEON portal: accelerating knowledge discovery in the geosciences. WIDM 2006: 83-90
2005
17	EE	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	EE	Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun: Maintaining multi-way dataflow constraints in collaborative systems. CollaborateCom 2005
15	EE	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	EE	Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin: Critical Points for Interactive Schema Matching. APWeb 2004: 654-664
12	EE	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	EE	Shawn Bowers, Kai Lin, Bertram Ludäscher: On Integrating Scientific Resources through Semantic Registration. SSDBM 2004: 349-352
2003
10	EE	Joseph A. Goguen, Kai Lin: Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216-
2002
9	EE	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	EE	Joseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132
6	EE	Joseph A. Goguen, Kai Lin: Web-based Multimedia Support for Distributed Cooperative Software Engineering*. ISMSE 2000: 25-32
5	EE	Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: (2000)
4	EE	Yongqiang Sun, Kai Lin, Chao-Jun Lu: Partial Completion of Equational Theories. J. Comput. Sci. Technol. 15(6): 552-559 (2000)
1997
3	EE	Yongqiang Sun, Kai Lin, Yijia Chen: Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . APDC 1997: 390-397
2	EE	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	Joseph A. Goguen	[2] [5] [6] [7] [8] [9] [10] [13] [14]
13	Efrat Jaeger	[12]
14	Chunfu Jia	[25]
15	Chao-Jun Lu	[4]
16	Bertram Ludäscher	[11] [12] [18]
17	Zaki Malik	[20]
18	Ashraf Memon	[12] [19]
19	Ghulam Memon	[19]
20	A. Mori	[2]
21	Young-Kwang Nam	[13]
22	Ullas Nambiar	[18]
23	Abdelmounaam Rezgui	[20]
24	Grigore Rosu	[2] [5] [7] [9]
25	A. Sato	[2]
26	John Seagrott	[24]
27	Dogan Seber	[19]
28	Li Shen	[1]
29	A. Krishna Sinha	[20]
30	Chengzheng Sun	[15] [16] [17] [21] [22] [23]
31	Yongqiang Sun	[1] [3] [4]
32	Guilian Wang	[13]
33	Lian Wen	[24]
34	Steven Xia	[22]
35	Nisansala Yatapanage	[24]
36	Choonhan Youn	[19]

Colors in the list of coauthors