Concepedia

Thomas A. Lane

TA

Statistics

Publications

2

Citations

43

H-Index

2

Active since

1982

Affiliations

University of Wisconsin–Madison(Current)

Thomas A. Lane is an author at University of Wisconsin–Madison specializing in formal methods, parallel computing, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceNetwork AnalysisProgram AnalysisParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel Programming

Publications per year

1982–1982

2

Publications

2

Developments in Logic Network Path Delay Analysis

Lionel C. Bening, Thomas A. Lane, Curtis R. Alexander et al. · Design Automation Conference · 1982 · 33 citations

Engineering, Delay Analysis Program, Computer Architecture +17

Developments in Logic Network Path Delay Analysis

Lionel C. Bening, Thomas A. Lane, Curtis R. Alexander et al. · 19th Design Automation Conference · 1982 · 10 citations

Engineering, Delay Analysis Program, Computer Architecture +17

1–2 of 2