Concepedia

Cynthia J. Anfinson

CJ

Statistics

Publications

2

Citations

152

H-Index

2

Active since

1988

Affiliations

Cornell University(Current)

Cynthia J. Anfinson is an author at Cornell University specializing in computer science, formal methods, and formal verification.

Top concepts

EngineeringCoding TheoryFormal MethodsComputer ScienceFormal VerificationComputer EngineeringFault Tolerant ControlReliability EngineeringVerificationFault Tolerance

Publications per year

1988–2003

2

Publications

2

A linear algebraic model of algorithm-based fault tolerance

Cynthia J. Anfinson, Franklin T. Luk · IEEE Transactions on Computers · 1988 · 138 citations

Mathematical Programming, Engineering, Error Control Technique +22

A linear algebraic model of algorithmic-based fault tolerance

Cynthia J. Anfinson, Franklin T. Luk · 2003 · 14 citations

Engineering, Algorithm-based Fault Tolerance, Formal Verification +16

1–2 of 2