7
Publications
118
Citations
7
H-Index
1961
Active since
Charles T. Cook is an author at Johns Hopkins University specializing in engineering, formal methods, and automated reasoning.
Top concepts
MedicineEducationReasoningImmunologyBioanalysisEngineeringFormal MethodsSoftware DesignProgram AnalysisLearning Analytics
Publications per year
1961–2013
7
7
Volker Brade, Charles T. Cook, H S Shin et al. · The Journal of Immunology · 1972 · 25 citations · Full text
Studies on the Second Component of Complement
Tibor Borsos, Herbert J. Rapp, Charles T. Cook · The Journal of Immunology · 1961 · 24 citations
A systematic approach to teaching abstraction and mathematical modeling
Charles T. Cook, Svetlana V. Drachova, Jason O. Hallstrom et al. · 2012 · 16 citations
Specification and reasoning in SE projects using a Web IDE
Charles T. Cook, Svetlana V. Drachova-Strang, Yu‐Shan Sun et al. · 2013 · 14 citations
Rows per page
1–5 of 7