The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kai Lin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yongqiang Sun, Kai Lin, Yijia Chen
    Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:390-397 [Conf]
  2. Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin
    Critical Points for Interactive Schema Matching. [Citation Graph (0, 0)][DBLP]
    APWeb, 2004, pp:654-664 [Conf]
  3. Joseph A. Goguen, Kai Lin
    Specifying, Programming and Verifying with Equational Logic. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:1-38 [Conf]
  4. Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
    A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments. [Citation Graph (0, 0)][DBLP]
    CDVE, 2005, pp:103-110 [Conf]
  5. Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
    Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach. [Citation Graph (0, 0)][DBLP]
    ECSCW, 2005, pp:185-204 [Conf]
  6. Ilkay Altintas, Efrat Jaeger, Kai Lin, Bertram Ludäscher, Ashraf Memon
    A Web Service Composition and Deployment Framework for Scientific Workflows. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:814-0 [Conf]
  7. Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato
    Distributed Cooperative Formal Methods Tools. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:55-62 [Conf]
  8. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Circular Coinductive Rewriting. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:123-132 [Conf]
  9. Joseph A. Goguen, Kai Lin
    Web-based Multimedia Support for Distributed Cooperative Software Engineering*. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2000, pp:25-32 [Conf]
  10. Joseph A. Goguen, Kai Lin
    Behavioral Verification of Distributed Concurrent Systems with BOBJ. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:216-0 [Conf]
  11. Shawn Bowers, Kai Lin, Bertram Ludäscher
    On Integrating Scientific Resources through Semantic Registration. [Citation Graph (0, 0)][DBLP]
    SSDBM, 2004, pp:349-352 [Conf]
  12. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Conditional Circular Coinductive Rewriting with Case Analysis. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:216-232 [Conf]
  13. Ullas Nambiar, Bertram Ludäscher, Kai Lin, Chaitan Baru
    The GEON portal: accelerating knowledge discovery in the geosciences. [Citation Graph (0, 0)][DBLP]
    WIDM, 2006, pp:83-90 [Conf]
  14. Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
    Maintaining multi-way dataflow constraints in collaborative systems. [Citation Graph (0, 0)][DBLP]
    CollaborateCom, 2005, pp:- [Conf]
  15. Joseph A. Goguen, Kai Lin
    Web-Based Support for Cooperative Software Engineering. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2001, v:12, n:1, pp:167-191 [Journal]
  16. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Behavioral and Coinductive Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  17. Yongqiang Sun, Kai Lin, Chao-Jun Lu
    Partial Completion of Equational Theories. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2000, v:15, n:6, pp:552-559 [Journal]
  18. Yongqiang Sun, Kai Lin, Li Shen
    The Design and Implementation of a Program Development System Based on Rewriting Method. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:2, pp:27-34 [Journal]
  19. Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
    Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration. [Citation Graph (0, 0)][DBLP]
    CDVE, 2007, pp:353-360 [Conf]
  20. Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
    "Integrare", a Collaborative Environment for Behavior-Oriented Design. [Citation Graph (0, 0)][DBLP]
    CDVE, 2007, pp:122-131 [Conf]
  21. Zaki Malik, Abdelmounaam Rezgui, A. Krishna Sinha, Kai Lin, Athman Bouguettaya
    DIA: A Web Services-based Infrastructure for Semantic Integration in Geoinformatics. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:1016-1023 [Conf]

  22. Prediction Model for Tiered Accuracy Requirements in Large-scale Object Tracking Sensor Networks. [Citation Graph (, )][DBLP]


  23. A Note-Based Randomized and Distributed Protocol for Detecting Node Replication Attacks in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  24. Design and simulation a fuzzy-adaptive PI controller based on MRAS. [Citation Graph (, )][DBLP]


  25. API design recommendations for facilitating conversion of single-user applications into collaborative applications. [Citation Graph (, )][DBLP]


  26. Maintaining constraints expressed as formulas in collaborative systems. [Citation Graph (, )][DBLP]


  27. An equilibrium multi-hop cluster hierarchy for wireless sensor networks. [Citation Graph (, )][DBLP]


  28. The Application of the Relative Entropy Density Divergence in Intrusion Detection Models. [Citation Graph (, )][DBLP]


  29. Application of Fuzzy Linking Numbers Based on Linking Numbers. [Citation Graph (, )][DBLP]


  30. GEONGrid portal: design and implementations. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002