According to our database1, Kung Chen authored at least 30 papers between 1990 and 2018.
Legend:Book In proceedings Article PhD thesis Other
MSig-BFT: A Witness-Based Consensus Algorithm for Private Blockchains.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018
Toward A Service Platform for Developing Smart Contracts on Blockchain in BDD and TDD Styles.
Proceedings of the 10th IEEE Conference on Service-Oriented Computing and Applications, 2017
Automatic query rewriting schemes for multitenant SaaS applications.
Autom. Softw. Eng., 2016
A Functional Reactive DSL Service Facility for Mixed-Reality Interactive Performance Art.
Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016
Context and Data Management for Multitenant Enterprise Applications in SaaS Environments: A Middleware Approach.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014
A Service Framework for Multi-tenant Enterprise Application in SaaS Environments.
Proceedings of the ICSOFT-EA 2014, 2014
Development of a daily mortality probability prediction model from Intensive Care Unit patients using a discrete-time event history analysis.
Computer Methods and Programs in Biomedicine, 2013
A Scripting Language for Automating Secure Multiparty Computation.
Proceedings of the Eighth Asia Joint Conference on Information Security, 2013
Toward a tenant-aware query rewriting engine for Universal Table schema-mapping.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012
Side-effect localization for lazy, purely functional languages via aspects.
Higher-Order and Symbolic Computation, 2011
Developing guideline-based decision support systems using protégé and jess.
Computer Methods and Programs in Biomedicine, 2011
Type-directed weaving of aspects for polymorphically typed functional languages.
Sci. Comput. Program., 2010
Aspect-oriented design and implementation of adaptable access control for Electronic Medical Records.
I. J. Medical Informatics, 2010
A guideline-based decision support for pharmacological treatment can improve the quality of hyperlipidemia management.
Computer Methods and Programs in Biomedicine, 2010
Designing aspects for side-effect localization.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
An Empirical Study on Privacy and Secure Multi-party Computation Using Exponentiation.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.
Proceedings of the Static Analysis, 14th International Symposium, 2007
Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Type-directed weaving of aspects for higher-order functional languages.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
A Rapid Development Environment for Synthesizing Guideline-Based Decision Support Systems.
Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006
On instrumenting obfuscated java bytecode with aspects.
Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006
An Aspect-Oriented Approach to Declarative Access Control for Web Applications.
Proceedings of the Frontiers of WWW Research and Development, 2006
A Practical Aspect Framework for Enforcing Fine-Grained Access Control in Web Applications.
Proceedings of the Information Security Practice and Experience, 2005
A Flexible Function Menu Generator for Supporting Access Control in Web Applications.
Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005
Using Dynamic Aspects for Delegating Fine-Grained Access Rights.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
A Type System for a Lambda Calculus with Assignments.
Proceedings of the Theoretical Aspects of Computer Software, 1994
Parametric Type Classes.
LISP and Functional Programming, 1992
On the Design of a Unidirectional Systolic Array for Key Enumeration.
IEEE Trans. Computers, 1990
On the Design of an Integrated Systolic Array for Solving Simultaneous Linear Equations.
Comput. J., 1990