Scholar

Carolyn Talcott

Google Scholar ID: 5s_zc8EAAAAJ

SRI International

Cyber physical systemsrewriting logiccomputational biologyformal methods

Google Scholar↗

Citations & Impact

All-time

Citations

9,873

H-index

46

i10-index

165

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)