Concepedia

Carolyn Talcott

CT

Statistics

Publications

70

Citations

2.8K

H-Index

29

Active since

1966

Affiliations

SRI International(Current)

Stanford University

University of California, Irvine

University of Illinois Urbana-Champaign

Carolyn Talcott is an author at SRI International specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningSystems EngineeringProgram AnalysisSoftware AnalysisFormal SpecificationVerification

Publications per year

1966–2020

70

Publications

70

A foundation for actor computation

Gul Agha, Ian A. Mason, Scott F. Smith et al. · Journal of Functional Programming · 1997 · 449 citations · Full text

Engineering, Verification, Concurrent System +19

Equivalence in functional languages with effects

Ian Mason, Carolyn Talcott · Journal of Functional Programming · 1991 · 169 citations · Full text

Engineering, Semantics, Formal Verification +19

ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing

Di Wu, Dmitri I. Arkhipov, Minyoung Kim et al. · IEEE Transactions on Computers · 2016 · 109 citations

Cluster Computing, Engineering, Distributed Ai System +21

Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery

Sean Ekins, Jair L. Siqueira-Neto, Laura‐Isobel McCall et al. · PLoS neglected tropical diseases · 2015 · 94 citations · Full text

Electron spin resonance spectra of the radical anions of pyridine and related nitrogen heterocyclics

Carolyn Talcott, Rollie J. Myers · Molecular Physics · 1967 · 90 citations

Magnetic Resonance, Organic Chemistry, Chemistry +16

1–5 of 70