Concepedia

Joohyung Lee

JL

24

Publications

984

Citations

18

H-Index

2005

Active since

Affiliations

Arizona State University(Current)

The University of Texas at Austin

National Cancer Center

Decision Systems (United States)

Joohyung Lee is an author at Arizona State University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsLogic ProgrammingAutomated ReasoningSemanticsComputer ScienceFormal VerificationAnswer Set ProgrammingLanguageRadiology

Publications per year

2005–2023

24

Publications

24

Stable models and circumscription

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz · Artificial Intelligence · 2010 · 194 citations

Model Theory, Mathematical Model, Stable Models +2

A new perspective on stable models

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz · 2007 · 119 citations

A model-theoretic counterpart of loop formulas

Joohyung Lee · International Joint Conference on Artificial Intelligence · 2005 · 81 citations

Computational Logic, Loop Formula, Engineering +12

Magnetic Resonance-Based Texture Analysis Differentiating KRAS Mutation Status in Rectal Cancer

Ji Eun Oh, Min Ju Kim, Joohyung Lee et al. · Cancer Research and Treatment · 2019 · 80 citations · Full text

Tumor Identification in Colorectal Histology Images Using a Convolutional Neural Network

Hong‐Jun Yoon, Joohyung Lee, Ji Eun Oh et al. · Journal of Digital Imaging · 2018 · 54 citations · Full text

Colorectal Histology Images, Convolutional Neural Network, Image Analysis +14

Rows per page

1–5 of 24