James C. Wu - Concepedia

Author

James C. Wu

Stony Brook University

Also Known As

J C Wu, J. Wu, James C Wu, James C. Wu, James Wu

Publications

Citations

H-Index

Concepts

All Affiliations

Stony Brook University State University of New York

About

James C. Wu is an author at Stony Brook University specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	1.7K
2	Computer Science	4	4	260
3	Language Studies	1	1	17
4	Knowledge Representation	1	1	17
5	Programming Languages	1	1	17

James C. Wu

Publications

Citations

H-Index

Page 1

	Year	Citations
Logical foundations of object-oriented and frame-based languages Michael Kifer, Georg Lausen, James C. Wu Journal of the ACM Declarative ProgrammingEngineeringOperational SemanticsLogical FoundationsAutomated Reasoning	1995	1.4K
The Importance of Central Compartment Elective Lymph Node Excision in the Staging and Treatment of Papillary Thyroid Cancer Maisie L. Shindo, James C. Wu, Eunice E. Park, Archives of Otolaryngology - Head and Neck Surgery	2006	174
A logic for object-oriented logic programming Michael Kifer, James C. Wu Applied LogicEngineeringObject-oriented ModelingVerificationHigher-order Logic	1989	103
Surgical Anatomy of the Recurrent Laryngeal Nerve Revisited Maisie L. Shindo, James C. Wu, Eunice E. Park Otolaryngology	2005	91
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). Michael Kifer, James C. Wu Symposium on Principles of Database Systems Applied LogicEngineeringAutomated ReasoningFormal MethodsObject-oriented Programming	1989	89
A logic for programming with complex objects Michael Kifer, James C. Wu Journal of Computer and System Sciences Applied LogicComputational LogicEngineeringAutomated ReasoningFormal Methods	1993	51
In vivo determination of the anisotropic diffusion of water and the T1 and T2 times in the rabbit lens by high-resolution magnetic resonance imaging. James C. Wu, Eric C. Wong, Everton Arrindell, PubMed	1993	33
Well-differentiated thyroid carcinomas: p53 mutation status and microvessel density John D. Goldenberg, Louis Portugal, Barry L. Wenig, Head & Neck	1998	28
A first-order theory of types and polymorphism in logic programming Michael Kifer, James C. Wu EngineeringType TheoryHigher-order LogicSemanticsFormal Verification	2002	17

Page 1