# Gyesik Lee

According to our database

Collaborative distances:

^{1}, Gyesik Lee authored at least 12 papers between 2007 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Log. Methods Comput. Sci., 2024

2014

J. Autom. Reason., 2014

2012

Proceedings of the Programming Languages and Systems, 2012

2011

J. Comb. Theory A, 2011

Log. Methods Comput. Sci., 2011

2010

Ann. Pure Appl. Log., 2010

2009

Proceedings of the Logic, 2009

Proceedings of the IEEE Vehicular Networking Conference, 2009

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

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

J. Comb. Theory A, 2008

2007

Ann. Pure Appl. Log., 2007

Proceedings of the Computation and Logic in the Real World, 2007