Concepedia

James C. Wu

JC

9

Publications

2K

Citations

9

H-Index

1989

Active since

Affiliations

Stony Brook University(Current)

State University of New York

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

Top concepts

EngineeringFormal MethodsLogic ProgrammingAutomated ReasoningComputer ScienceSemanticsFormal VerificationSoftware DesignLanguageFormal Logic

Publications per year

1989–2006

9

Publications

9

Logical foundations of object-oriented and frame-based languages

Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.4K citations · Full text

Declarative Programming, Engineering, Operational Semantics +13

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 et al. · Archives of Otolaryngology - Head and Neck Surgery · 2006 · 174 citations

A logic for object-oriented logic programming

Michael Kifer, James C. Wu · 1989 · 103 citations

Applied Logic, Engineering, Object-oriented Modeling +16

Surgical Anatomy of the Recurrent Laryngeal Nerve Revisited

Maisie L. Shindo, James C. Wu, Eunice E. Park · Otolaryngology · 2005 · 91 citations

A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).

Michael Kifer, James C. Wu · Symposium on Principles of Database Systems · 1989 · 89 citations

Applied Logic, Engineering, Automated Reasoning +5

Rows per page

1–5 of 9