Concepedia

Chii-Ren Tsai

CT

2

Publications

73

Citations

2

H-Index

1976

Active since

Affiliations

Wayne State University(Current)

Chii-Ren Tsai is an author at Wayne State University specializing in formal methods, formal verification, and data security.

Top concepts

Publications per year

1976–1987

2

Publications

2

A Formal Method for the Identification of Covert Storage Channels in Source Code

Chii-Ren Tsai, Virgil D. Gligor, Coimbatore Chandersekaran · 1987 · 48 citations

, , +22

EFFECTS OF LITHIUM ON ALCOHOL PREFERENCE AND WITHDRAWAL*

Anita Ho, Chii-Ren Tsai · Annals of the New York Academy of Sciences · 1976 · 25 citations

, , +10

Rows per page

1–2 of 2