Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- 期刊名称IEEE Transactions on Automatic Control
- 作者Liu, Jun; Ozay, Necmiye; Topcu, Ufuk; Murray, Richard M.
- 卷第58卷
- 期第7期
- 印刷ISSN0018-9286
- 电子ISSN1558-2523
- 文件大小2780.10KB
- 发表时间2013-07
- DOI10.1109/tac.2013.2246095
- 页码1771-1785
Primary Colon Lymphoma in Korea: A KASID (Korean Association for the Study of Intestinal Diseases) StudyY.-H. Kim; J. H. Lee; S. K. Yang; T. I. Kim; J. S. Kim; H. J. Kim; J. I. Kim; S. W. Kim; J. O. Kim; I. K. Jung; S. A. Jung; M. K. Jung; H. S. Kim; S. J. Myung; W. H. Kim; J. C. Rhee; K. Y. Choi; I. S. Song; J. H. Hyun; Y. I. Min · 2005
MIS1. colorectal cancerLee, J. H.; Jang, H. S.; Kim, J.- G.; Cho, H. M.; Shim, B. Y.; Oh, S. T.; Yoon, S.- C.; Kim, Y.- S.; Choi, B. O.; Kim, S. H.; Kang, B. W.; Lee, S. J.; Moon, J. H.; Chae, Y. S.; Sohn, S. K.; Kim, J. G.; Ebi, H.; Lee, S. J.; Kim, J. G.; Chae, Y. S.; Kang, B. W.; Moon, J. H.; Sohn, S. K.; Lee, Y. J.; Baek, J. H.; Kim, S. H.; Park, K. H.; Shin, S. J.; Lee, K. Y.; Kim, T. I.; Kim, N. K.; Rha, S. Y.; Roh, J. K.; Ahn, J. B.; Folprecht, G.; Van Cutsem, E.; Bokemeyer, C.; Schlichting, M.; Heeger, S.; Kohne, C.- H.; Kohne, C.- H.; Bokemeyer, C.; Folprecht, G.; Sartorius, U.; Schlichting, M.; Rougier, P.; Van Cutsem, E. · Annals of Oncology · 2012
Photoemission study of Zn1−xCoxO as a possible DMSS. C. Wi; J.-S. Kang; J. H. Kim; S. S. Lee; S.-B. Cho; B. J. Kim; S. Yoon; B. J. Suh; S. W. Han; K. H. Kim; K. J. Kim; B. S. Kim; H. J. Song; H. J. Song; H. J. Shin; J. H. Shim; B. I. Min · 2004
nuclei in nuclear emulsionBahk, S. Y.; Chang, S. D.; Cheon, B. G.; Cho, J. H.; Jang, H. I.; Hahn, C. H.; Hara, T.; Lim, G. Y.; Kang, J. S.; Kim, C. O.; Kim, J. Y.; Kim, K. Y.; Kim, S. N.; Kim, T. I.; Kim, T. Y.; Koo, D. G.; Lee, S. B.; Lim, I. T.; Moon, K. H.; Nam, S. W.; Pac, M. Y.; Park, I. G.; Park, J. N.; Ryu, J. Y.; Shin, T. S.; Sim, K. S.; Song, J. S.; Woo, J. K.; Yokoyama, C.; Yoon, C. S. · Physical Review C · 1991
Human Enteric Viruses in GroundwaterS. H. Park; E. J. Kim; T. H. Yun; J. H. Lee; C. K. Kim; Y. H. Seo; S. A. Oh; S. S. Choi; S. J. Cho; M. S. Kim; G. Y. Han; M. Y. Kim; H. S. Jeong; D. S. Cheon; H. S. Kim · 2010
Design of the RAON accelerator systemsJeon, D.; Hong, I. S.; Kim, H. J.; Kim, J. W.; Bodenstein, R. M.; Cha, H. J.; Choi, S. J.; Choi, S.; Choi, O. R.; Do, H.; Choi, B. H.; Choi, C. J.; Han, J.; Han, W. K.; Hyun, M. O.; Jang, H.; Joo, J. D.; Joung, M. J.; Jung, H. C.; Jung, Y. C.; Kim, D. G.; Kim, E.; Kim, H.; Kim, H. J.; Kim, J. H.; Kim, J. Y.; Kim, W. K.; Kim, Y.; Kim, Y.; Kim, M.; Kim, M. J.; Lee, J. H.; Lee, K. W.; Lee, M. K.; Park, G. T.; Ryu, S.; Shin, I.; Shin, J. H.; Song, J. -S.; Yoon, S.; Yi, K. -H.; Yun, C. C.; Zaghloul, A.; Kim, S. K.; Matlabjon, S.; Park, G. S.; Bahng, J. B.; Hwang, J. G.; Jang, S. W.; Kim, E. S. · Journal of the Korean Physical Society · 2014
Spitz naevus is rare in KoreaY. C. Kim; J. E. Do; D. Bang; B. K. Cho; K. H. Cho; J. C. Choi; M. B. Kim; M. H. Kim; S. Y. Kim; S. N. Kim; J. H. Lee; S. J. Lee; D. H. Shin; J. H. Shin; S. J. Son; K. S. Suh; T. Y. Yoon; C. K. Park · 2010
Association between interleukin-4 gene polymorphisms and intracerebral haemorrhage in Korean populationH. J. Park; M. J. Kim; S. W. Kang; S. K. Kim; J. S. Lee; H. K. Park; S. D. Yoo; D. H. Kim; D. H. Yun; H. S. Kim; J. W. Kim; J. H. Chung; Y. S. Jeong · 2011