Under development Kung Chen, Ph.D.  

陳 恭

教授 
資訊科學系 
國立政治大學  
chenk at cs.nccu.edu.tw

教育背景 研究領域 講授課程 代表性著作 其他

2003/08 加入政大資科系。

教育背景:

Ph.D. 1994 
Department of Computer Science,
Yale University
B.S. 1985, M.S. 1987
Department of Computer Science and Information Engineering,
National Taiwan University

研究領域:

講授課程

代表性著作:

  1. Kung Chen, S.C. Weng, J.Y. Lin, M. Wang, S.C. Khoo, "Side-Effect Localization for Lazy, Purely Functional Languages via Aspects," accepted by Higher-Order Logic and Symbolic Computation, March 2011. [EI]
  2. Kung Chen, S.C. Weng, M. Wang, S.C. Khoo, and C.H. Chen, “Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages”, Science of Computer Programming, Nov. 2010. [SCI]
  3. Kung Chen, Y.C. Chang and D.W. Wang, “Aspect-oriented Design and Implementation of Adaptable Access Control for Electronic Medical Records”, International Journal of Medical Informatics, Volume 79, Issue 3, Pages 181-203. March 2010 [SCI]
  4. Kung Chen and D.W. Wang, Supporting Patients' Privacy Preferences Using Aspects, Japan Journal of Medical Informatics, Vol. 29, No. 3, 2009, pp. 117-128. (ISSN 0289-8055)
  5. Kung Chen, J.Y. Lin, S. C. Weng, and S.C. Khoo. "Design Aspects for Side-effect localization", PEPM 2009. ACM Press.
  6. Kung Chen, S C Weng, M Wang, S.C. Khoo, and C.H. Chen. "A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages", Symposium of Static Analysis (SAS 2007).
  7. Kung Chen and Ju-Bing Chen, "Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs", Third Asian Workshop on Aspect-Oriented Software Development, July 2007, Proc. of the 31st Annual International Computer Software and Applications Conference (IEEE COMPSAC 2007).
  8. Kung Chen, Chung-Hsin Chen, Shin-Yuan Chang, Chiehfen Chen, and Yu-Chuan Li, "A Rapid Development Environment for Synthesizing Guideline-Based Decision Support Systems, in the Processing of the First International Multi-symposiums on Computer and Computational Sciences (IMSCCS|06), Vol. 2, pp. 548-554, June 2006, Hangzhou, PRC. (IEEE Computer Society Press)
  9. Kung Chen and Ju-Bing Chen, "On Instrumenting Obfuscated Java Bytecode with Aspects", Software Engineering for Secure Systems (SESS06), held with ICSE 2006, Shanghai, PRC. (ACM Press)
  10. K. Chen and C.W. Lin, "An Aspect-Oriented Approach to Declarative Access Control for Web Applications," APWeb 2006, LNCS 3841, pp.176~188, Jan. 2006. (SCIE)
  11. M. Wang, K. Chen, and S.C. Khoo, "A Type-Directed Weaving of Aspects for Higher-Order Functional Languages, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06) Charleston, South Carolina, January 9-10, 2006. (ACM Press, EI)
  12. K. Chen,"Using Dynamic Aspect for Delegating Fine-Grained Access Rights," Asian Workshop on Aspect-Oriented Software Design, held with the Asia-Pacific Software Engineering Conference 2005, Dec. 17, 2005. (IEEE CS Press)
  13. K. Chen and C.M. Huang, "A Practical Aspect Framework for Enforcing Fine-Grained Access Control in Web Applications," First Information Security Practice and Experience Conference (ISPEC 2005),LNCS 3439, Singapore, April 2005. (SCIE)
  14. C.F. Chen, K. Chen, C.H. Chen, W. Tsai, and Y.C. Li, Synthesizing Guideline-Based Decision Support Systems Using Protege and Jess, Medical Informatics Symposium in Taiwan 2005, MIST 2005 (Best paper award).
  15. 陳 恭、陳忠信，國內商業網站對會員電子郵件隱私保護的實驗與觀察。TANET 2004，台東，台灣。
  16. W.J. Lin and K. Chen, "A Database Application Generator for the WWW", Journal of the Chinese Institute of Engineers, Vol. 21, No.3, (1998). (SCIE)
  17. K. Chen and M. Odersky, "A Type Systems for a Lambda-Calculus with Assignments." Theoretical Aspects of Computer Software 1994, Lecture Notes in Computer Science 789, pp. 347-364. (SCIE)
  18. K. Chen, P. Hudak and M. Odersky, "Parametric Type Classes", Proceedins of ACM Conf. on Lisp and Functional Programming, pp. 170-181, 1992. (EI)

其他: