Concepedia

Gyesik Lee

GL

Statistics

Publications

6

Citations

95

H-Index

6

Active since

2006

Affiliations

Seoul National University(Current)

Institut national de recherche en sciences et technologies du numérique

Laboratoire d'Informatique de l'École Polytechnique

École Polytechnique

Gyesik Lee is an author at Seoul National University specializing in computer science, mathematics, and theory of computation.

ORCID

Publications per year

2006–2024

6

Publications

6

Kripke models for classical logic

Danko Ilik, Gyesik Lee, Hugo Herbelin · Annals of Pure and Applied Logic · 2010 · 21 citations · Full text

, , +10

Comparison of ammonia volatilization in paddy and field soils fertilized with urea and ammonium sulfate during rice, potato, and Chinese cabbage cultivation

Yeon-Jin Lee, Eun-Chae Im, Gyesik Lee et al. · Atmospheric Pollution Research · 2024 · 20 citations

, , +17

Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers

Menachem Kojman, Gyesik Lee, Eran Omri et al. · Journal of Combinatorial Theory Series A · 2008 · 16 citations

, , +17

Proof-irrelevant model of CC with predicative induction and judgmental equality

Gyesik Lee, Benjamin Werner · Logical Methods in Computer Science · 2011 · 14 citations · Full text

, , +17

Formally verifiable features in embedded vehicular security systems

Gyesik Lee, Hisashi Oguma, Akira Yoshioka et al. · 2009 · 13 citations

, , +17

1–5 of 6