Kathleen Fisher - Publications, H-index & Citations

Kathleen Fisher

tufts university

29H指数

128论文数

2.6K被引数

收录论文 4

发表时间

The HACMS program: using formal methods to eliminate exploitable bugs

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

IF3.7

2017-09-04

OAAI

Fisher, Kathleen; Launchbury, John; Richards, Raymond

An Introduction to Data Representation Synthesis 数据表示综合导论

COMMUNICATIONS OF THE ACM

IF12.2

2012-12-01

OAAI

Hawkins, Peter; Rinard, Martin; Aiken, Alex; Sagiv, Mooly; Fisher, Kathleen

Short-Term Treatment With Rapamycin and Dietary Restriction Have Overlapping and Distinctive Effects in Young Mice

JOURNALS OF GERONTOLOGY SERIES A-BIOLOGICAL SCIENCES AND MEDICAL SCIENCES

IF3.8

2012-05-08

OAAI

Fok, Wilson C.; Zhang, Yiqiang; Salmon, Adam B.; Bhattacharya, Arunabh; Gunda, Rakesh; Jones, Dean; Ward, Walter; Fisher, Kathleen; Richardson, Arlan; Perez, Viviana I.

A control-flow analysis for a calculus of concurrent objects

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2000-07-01

PREAI

Di Blasio, P; Fisher, K; Talcott, C

研究方向