( en | de | ru )

 

Disambiguation of "Chin, Shiu-Kai"

Author of the publication

copydeleteadd this publication to your clipboard
Reliability analysis of healthcare information systems: State of the art and future directions.

, , , , and . HealthCom, page 68-74. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kai-Chin Chang

Anne Shiu

Ren-Jye Shiue

Simon Shiu

Jai-Jün Shiue

 

Other publications of authors with the same name

Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL., , , and . MMM-ACNS, volume 2776 of Lecture Notes in Computer Science, page 32-46. Springer, (2003)An Instruction Set Process Calculus., and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 451-468. Springer, (1998)Server-Process Restrictiveness in HOL., and . HUG, volume 780 of Lecture Notes in Computer Science, page 450-463. Springer, (1993)Banking on interoperability: Secure, interoperable credential management., , , , and . Comput. Networks, (2014)Integrating formal methods tools to support system design., , and . ICECCS, page 88-. IEEE Computer Society, (1995)Policy-Based Design and Verification for Mission Assurance., , , and . MMM-ACNS, volume 6258 of Lecture Notes in Computer Science, page 125-138. Springer, (2010)Synthesis of arithmetic hardware using hardware metafunctions., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (8): 793-803 (1990)Verified functions for generating signed-binary arithmetic hardware.. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 11 (12): 1529-1558 (1992)WINTER: WAMS in Tim Expression Reduction., , , and . NACLP, page 1013-1029. MIT Press, (1989)Formal Methods for Assuring Security of Protocols., and . Comput. J., 45 (1): 46-54 (2002)