Find Research outputs

Search results

• 2001

  Bisphenol A inhibits penile erection via alteration of histology in the rabbit

  Moon, D. G., Sung, D. J., Kim, Y. S., Cheon, J. & Kim, J. J., 2001, In: International Journal of Impotence Research. 13, 5, p. 309-316 8 p.

  Research output: Contribution to journal › Article › peer-review
  32 Citations (Scopus)

• Blitzschutzmaßnahmen bei dem Neubau einer Rundfunksendestation des Südwestrundfunks auf dem Feldberg/Schw

  Neubert, M. & Müller, K. R., 2001, In: VDE Fachberichte. 58, p. 69-79 11 p.

  Research output: Contribution to journal › Conference article › peer-review

• Blocking of acidosis-mediated apoptosis by a reduction of lactate dehydrogenase activity through antisense mRNA expression

  Jeong, D. W., Kim, T. S., Lee, J. W., Kim, K. T., Kim, H. J., Kim, I. H. & Kim, I. Y., 2001 Dec 21, In: Biochemical and biophysical research communications. 289, 5, p. 1141-1149 9 p.

  Research output: Contribution to journal › Article › peer-review
  49 Citations (Scopus)

• Bone marrow stromal cell distribution of basic fibroblast growth factor in chronic myeloid disorders

  Yoon, S. Y., Tefferi, A. & Li, C. Y., 2001, In: Haematologica. 86, 1, p. 52-57 6 p.

  Research output: Contribution to journal › Article › peer-review
  24 Citations (Scopus)

• Bosonization theory of excitons in one-dimensional narrow-gap semiconductors

  Lee, H. C. & Eric Yang, S. R., 2001 May 1, In: Physical Review B - Condensed Matter and Materials Physics. 63, 19

  Research output: Contribution to journal › Article › peer-review
  12 Citations (Scopus)

• Calix[4]azacrown ethers in polymetric CTA membrane

  Kim, J. S., Yu, S. H., Cho, M. H., Shon, O. J., Rim, J. A., Yang, S. H., Lee, J. K. & Lee, S. J., 2001 May 20, In: Bulletin of the Korean Chemical Society. 22, 5, p. 519-522 4 p.

  Research output: Contribution to journal › Article › peer-review
  18 Citations (Scopus)

• Calixazacrown ethers for copper(II) ion-selective electrode

  Park, S. J., Shon, O. J., Rim, J. A., Lee, J. K., Kim, J. S., Nam, H. & Kim, H., 2001 Aug 30, In: Talanta. 55, 2, p. 297-304 8 p.

  Research output: Contribution to journal › Article › peer-review
  59 Citations (Scopus)

• Capacity analysis of TDD cell sharing underutilized FDD uplink

  Kim, D. H., Song, P. J. & Kang, C. G., 2001, In: IEEE Vehicular Technology Conference. 4, 53ND, p. 3044-3048 5 p.

  Research output: Contribution to journal › Conference article › peer-review
  4 Citations (Scopus)

• Capillary pumped loop heat spreader for electronics cooling

  Chung, J., Grigoropoulos, C. P. & Greif, R., 2001, In: American Society of Mechanical Engineers, Heat Transfer Division, (Publication) HTD. 369, 7, p. 283-290 8 p.

  Research output: Contribution to journal › Conference article › peer-review
  1 Citation (Scopus)

• Capsaicin potentiates 1,25-dihydoxyvitamin D₃- and all-trans retinoic acid-induced differentiation of human promyelocytic leukemia HL-60 cells

  Kang, S. N., Chung, S. W. & Kim, T. S., 2001 May 25, In: European Journal of Pharmacology. 420, 2-3, p. 83-90 8 p.

  Research output: Contribution to journal › Article › peer-review
  35 Citations (Scopus)

• Carbetapentane attenuates kainate-induced seizures via σ-1 receptor modulation

  Kim, H. C., Jhoo, W. K., Kim, W. K., Shin, E. J., Cheon, M. A., Shin, C. Y. & Ko, K. H., 2001 Jul 13, In: Life Sciences. 69, 8, p. 915-922 8 p.

  Research output: Contribution to journal › Article › peer-review
  15 Citations (Scopus)

• Carbon nanofibers grown on sodalime glass at 500°C using thermal chemical vapor deposition

  Lee, C. J., Lee, T. J. & Park, J., 2001 Jun 8, In: Chemical Physics Letters. 340, 5-6, p. 413-418 6 p.

  Research output: Contribution to journal › Article › peer-review
  51 Citations (Scopus)

• Catalytic activity of clay from tidal flat sediments in the decomposition of perchloroethylene by gamma-rays

  Chung, H. H., Jung, J., Yoon, J. H. & Lee, M. J., 2001, In: Catalysis Letters. 76, 3-4, p. 247-248 2 p.

  Research output: Contribution to journal › Article › peer-review
  6 Citations (Scopus)

• Centrality dependence of charged particle multiplicity in Au-Au collisions at √S_NN = 130 GeV

  Adcox, K., Adler, S. S., Ajitanand, N. N., Akiba, Y., Alexander, J., Aphecetche, L., Arai, Y., Aronson, S. H., Averbeck, R., Awes, T. C., Barish, K. N., Barnes, P. D., Barrette, J., Bassalleck, B., Bathe, S., Baublis, V., Bazilevsky, A., Belikov, S., Bellaiche, F. G., Belyaev, S. T., & 287 othersBennett, M. J., Berdnikov, Y., Botelho, S., Brooks, M. L., Brown, D. S., Bruner, N., Bucher, D., Buesching, H., Bumazhnov, V., Bunce, G., Burward-Hoy, J., Butsyk, S., Carey, T. A., Chand, P., Chang, J., Chang, W. C., Chavez, L. L., Chernichenko, S., Chi, C. Y., Chiba, J., Chiu, M., Choudhury, R. K., Christ, T., Chujo, T., Chung, M. S., Chung, P., Cianciolo, V., Cole, B. A., D'Enterria, D. G., David, G., Delagrange, H., Denisov, A., Deshpande, A., Desmond, E. J., Dietzsch, O., Dinesh, B. V., Drees, A., Durum, A., Dutta, D., Ebisu, K., Efremenko, Y. V., El Chenawi, K., En'yo, H., Esumi, S., Ewell, L., Ferdousi, T., Fields, D. E., Fokin, S. L., Fraenkel, Z., Franz, A., Frawley, A. D., Fung, S. Y., Garpman, S., Ghosh, T. K., Glenn, A., Godoi, A. L., Goto, Y., Greene, S. V., Grosse Perdekamp, M., Gupta, S. K., Guryn, W., Gustafsson, H. A., Haggerty, J. S., Hamagaki, H., Hansen, A. G., Hara, H., Hartouni, E. P., Hayano, R., Hayashi, N., He, X., Hemmick, T. K., Heuser, J., Hibino, M., Hill, J. C., Ho, D. S., Homma, K., Hong, B., Hoover, A., Ichihara, T., Imai, K., Ippolitov, M. S., Ishihara, M., Jacak, B. V., Jang, W. Y., Jia, J., Johnson, B. M., Johnson, S. C., Joo, K. S., Kametani, S., Kang, J. H., Kann, M., Kapoor, S. S., Kelly, S., Khachaturov, B., Khanzadeev, A., Kikuchi, J., Kim, D. J., Kim, H. J., Kim, S. Y., Kim, Y. G., Kinnison, W. W., Kistenev, E., Kiyomichi, A., Klein-Boesing, C., Klinksiek, S., Kochenda, L., Kochetkov, D., Kochetkov, V., Koehler, D., Kohama, T., Kozlov, A., Kroon, P. J., Kurita, K., Kweon, M. J., Kwon, Y., Kyle, G. S., Lacey, R., Lajoie, J. G., Lauret, J., Lebedev, A., Lee, D. M., Leitch, M. J., Li, X. H., Li, Z., Lim, D. J., Liu, M. X., Liu, X., Liu, Z., Maguire, C. F., Mahon, J., Makdisi, Y. I., Manko, V. I., Mao, Y., Mark, S. K., Markacs, S., Martinez, G., Marx, M. D., Masaike, A., Matathias, F., Matsumoto, T., McGaughey, P. L., Melnikov, E., Merschmeyer, M., Messer, F., Messer, M., Miake, Y., Miller, T. E., Milov, A., Mioduszewski, S., Mischke, R. E., Mishra, G. C., Mitchell, J. T., Mohanty, A. K., Morrison, D. P., Moss, J. M., Mühlbacher, F., Muniruzzaman, M., Murata, J., Nagamiya, S., Nagasaka, Y., Nagle, J. L., Nakada, Y., Nandi, B. K., Newby, J., Nikkinen, L., Nilsson, P., Nishimura, S., Nyanin, A. S., Nystrand, J., O'Brien, E., Ogilvie, C. A., Ohnishi, H., Ojha, I. D., Ono, M., Onuchin, V., Oskarsson, A., Österman, L., Otterlund, I., Oyama, K., Paffrath, L., Palounek, A. P. T., Pantuev, V. S., Papavassiliou, V., Pate, S. F., Peitzmann, T., Petridis, A. N., Pinkenburg, C., Pisani, R. P., Pitukhin, P., Plasil, F., Pollack, M., Pope, K., Purschke, M. L., Ravinovich, I., Read, K. F., Reygers, K., Riabov, V., Riabov, Y., Rosati, M., Rose, A. A., Ryu, S. S., Saito, N., Sakaguchi, A., Sakaguchi, T., Sako, H., Sakuma, T., Samsonov, V., Sangster, T. C., Santo, R., Sato, H. D., Sato, S., Sawada, S., Schlei, B. R., Schutz, Y., Semenov, V., Seto, R., Shea, T. K., Shein, I., Shibata, T. A., Shigaki, K., Shiina, T., Shin, Y. H., Sibiriak, I. G., Silvermyr, D., Sim, K. S., Simon-Gillo, J., Singh, C. P., Singh, V., Sivertz, M., Soldatov, A., Soltz, R. A., Sorensen, S., Stankus, P. W., Starinsky, N., Steinberg, P., Stenlund, E., Ster, A., Stoll, S. P., Sugioka, M., Sugitate, T., Sullivan, J. P., Sumi, Y., Sun, Z., Suzuki, M., Takagui, E. M., Taketani, A., Tamai, M., Tanaka, K. H., Tanaka, Y., Taniguchi, E., Tannenbaum, M. J., Thomas, J., Thomas, J. H., Thomas, T. L., Tian, W., Tojo, J., Torii, H., Towell, R. S., Tserruya, I., Tsuruoka, H., Tsvetkov, A. A., Tuli, S. K., Tydesjö, H., Tyurin, N., Ushiroda, T., van Hecke, H. W., Velissaris, C., Velkovska, J., Velkovsky, M., Vinogradov, A. A., Volkov, M. A., Vorobyov, A., Vznuzdaev, E., Wang, H., Watanabe, Y., White, S. N., Witzig, C., Wohn, F. K., Woody, C. L., Xie, W., Yagi, K., Yokkaichi, S., Young, G. R., Yushmanov, I. E., Zajc, W. A., Zhang, Z. & Zhou, S., 2001 Apr 16, In: Physical review letters. 86, 16, p. 3500-3505 6 p.

  Research output: Contribution to journal › Article › peer-review
  274 Citations (Scopus)

• Cerebral activation and distribution of inducible hsp110 and hsp70 mRNAs following focal ischemia in rat

  Kim, H., Huh, P. W., Kim, C. M., Kim, Y. J., Park, E. M. & Park, Y. M., 2001 Oct 15, In: Toxicology. 167, 2, p. 135-144 10 p.

  Research output: Contribution to journal › Article › peer-review
  16 Citations (Scopus)

• Cesium complex of an unsymmetrical calix[4]crown-dibenzocrown-6

  Kim, J. S., Lee, W. K., Lee, S. H., Kim, J. G., Suh, I. H., Kim, J. Y. & Kim, J. W., 2001 Jul, In: Journal of Inclusion Phenomena. 40, 3, p. 183-187 5 p.

  Research output: Contribution to journal › Article › peer-review
  4 Citations (Scopus)

• Change in electrical characteristics of poly(p-phenylene vinylene)-based self-assembled devices by addition of ionic salt to poly(sodium 4-styrenesulfonate)

  Cho, J., Char, K., Kim, S. Y., Hong, J. D., Kim, D. Y. & Lee, K. B., 2001 Oct 22, In: Synthetic Metals. 124, 2-3, p. 415-419 5 p.

  Research output: Contribution to journal › Article › peer-review
  11 Citations (Scopus)

• Change in quantum efficiency of self-assembled films based on PPV and ionic salt added PSS

  Cho, J., Char, K., Hong, J. D. & Kim, D. Y., 2001, In: Molecular Crystals and Liquid Crystals Science and Technology Section A: Molecular Crystals and Liquid Crystals. 371, p. 75-78 4 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• Changes in cell size and buoyant density of Pseudomonas diminuta in response to osmotic shocks

  Lee, S. H., Cho, Y. R., Choi, Y. J. & Kim, C. W., 2001 Apr, In: Journal of microbiology and biotechnology. 11, 2, p. 326-328 3 p.

  Research output: Contribution to journal › Article › peer-review
  3 Citations (Scopus)

• Characteristic number size distribution of aerosol during Asian dust period in Korea

  Chun, Y., Kim, J., Cheon Choi, J., On Boo, K., Nam Oh, S. & Lee, M., 2001, In: Atmospheric Environment. 35, 15, p. 2715-2721 7 p.

  Research output: Contribution to journal › Article › peer-review
  122 Citations (Scopus)

• Characteristics of 10-Gb/s Electroabsorption Modulator Integrated Distributed Feedback Lasers for Long-Haul Optical Transmission Systems

  Kim, Y., Kim, S. K., Lee, J., Kim, Y., Kang, J., Choi, W. & Jeong, J., 2001 Apr, In: Optical Fiber Technology. 7, 2, p. 84-100 17 p.

  Research output: Contribution to journal › Article › peer-review
  3 Citations (Scopus)

• Characterization and sintering of nanocrystalline CeO₂ powders synthesized by a mimic alkoxide method

  Li, J. G., Ikegami, T., Lee, J. H. & Mori, T., 2001 Feb 8, In: Acta Materialia. 49, 3, p. 419-426 8 p.

  Research output: Contribution to journal › Article › peer-review
  103 Citations (Scopus)

• Characterization of a keratinolytic serine protease from Bacillus subtilis KS-1

  Suh, H. J. & Lee, H. K., 2001, In: Journal of Protein Chemistry. 20, 2, p. 165-169 5 p.

  Research output: Contribution to journal › Article › peer-review
  86 Citations (Scopus)

• Characterization of chromosomal aberrations in lung cancer cell lines by cross-species color banding

  Park, S. Y., Choi, H. C., Chun, Y. H., Kim, H. & Park, S. H., 2001 Jan 1, In: Cancer Genetics and Cytogenetics. 124, 1, p. 62-70 9 p.

  Research output: Contribution to journal › Article › peer-review
  8 Citations (Scopus)

• Characterization of highly conducting lithium salt doped polyaniline films prepared from polymer solution

  Ryu, K. S., Moon, B. W., Joo, J. & Chang, S. H., 2001 Aug 20, In: Polymer. 42, 23, p. 9355-9360 6 p.

  Research output: Contribution to journal › Article › peer-review
  74 Citations (Scopus)

• Characterization of microsatellite markers adjacent to AP-4 on chromosome 16p13.3

  Bae, Y., Kim, H., Namgoong, H., Baek, M., Lee, J., Hwang, D., Hwang, Y., Ahn, C. & Kang, S., 2001, In: Molecular and Cellular Probes. 15, 5, p. 313-315 3 p.

  Research output: Contribution to journal › Article › peer-review
  4 Citations (Scopus)

• Character spotting using image-based stochastic models

  Kim, S. K., Sin, B. K. & Lee, S. W., 2001, Proceedings - 6th International Conference on Document Analysis and Recognition, ICDAR 2001. IEEE Computer Society, Vol. 2001-January. p. 60-63 4 p. 953755

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Charge-carrier mobilities and charge conduction in a poly(p-phenylenevinylene) derivative carrying an electron-transporting moiety

  Lee, C. E., Jang, J. W., Lee, H. M., Oh, D. K., Lee, C. H., Lee, D. W. & Jin, J. I., 2001 Jan, In: Current Applied Physics. 1, 1, p. 107-111 5 p.

  Research output: Contribution to journal › Article › peer-review
  9 Citations (Scopus)

• Charge transport of lithium-salt-doped polyaniline

  Jung, J. H., Kim, B. H., Moon, B. W., Joo, J., Chang, S. H. & Ryu, K. S., 2001, In: Physical Review B - Condensed Matter and Materials Physics. 64, 3

  Research output: Contribution to journal › Article › peer-review
  25 Citations (Scopus)

• Charmonium polarization at the tevatron

  Lee, J., 2001, In: International Journal of Modern Physics A. 16, SUPPL. 1B, p. 483-485 3 p.

  Research output: Contribution to journal › Article › peer-review

• Chemical composition and source signature of spring aerosol in Seoul, Korea

  Choi, J. C., Lee, M., Chun, Y., Kim, J. & Oh, S., 2001 Aug 27, In: Journal of Geophysical Research Atmospheres. 106, D16, p. 18067-18074 8 p., 2001JD900090.

  Research output: Contribution to journal › Article › peer-review
  157 Citations (Scopus)

• Chemical properties and physiological activities of stromata of Cordyceps militaris

  Kwan-Won, Y., Suh, H. J., Bae, S. H., Lee, C. S., Kim, S. H. & Yoon, C. S., 2001, In: Journal of microbiology and biotechnology. 11, 2, p. 266-274 9 p.

  Research output: Contribution to journal › Article › peer-review
  24 Citations (Scopus)

• Chromosomal aberrations in neuroblastoma cell lines identified by cross species color banding and chromosome painting

  Kim, G. J., Park, S. Y., Kim, H., Chun, Y. H. & Park, S. H., 2001, In: Cancer Genetics and Cytogenetics. 129, 1, p. 10-16 7 p.

  Research output: Contribution to journal › Article › peer-review
  17 Citations (Scopus)

• Chronic cerebral hypoperfusion induces MMP-2 but not MMP-9 expression in the microglia and vascular endothelium of white matter

  Ihara, M., Tomimoto, H., Kinoshita, M., Oh, J., Noda, M., Wakita, H., Akiguchi, I. & Shibasaki, H., 2001, In: Journal of Cerebral Blood Flow and Metabolism. 21, 7, p. 828-834 7 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access
  96 Citations (Scopus)

• Classification of CD and absorption spectra in the Soret band of H₂TMPyP bound to various synthetic polynucleotides

  Lee, S., Jeon, S. H., Kim, B. J., Han, S. W., Jang, H. G. & Kim, S. K., 2001 Sep 30, In: Biophysical Chemistry. 92, 1-2, p. 35-45 11 p.

  Research output: Contribution to journal › Article › peer-review
  74 Citations (Scopus)

• Climatological thresholds of daily rainfall

  Yoo, C., Lee, J. S. & Yoon, Y. N., 2001 Sep, In: Journal of Hydrologic Engineering. 6, 5, p. 443-450 8 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• Clinical analysis of voice change as a parameter of premenstrual syndrome

  Chae, S. W., Choi, G., Kang, H. J., Choi, J. O. & Jin, S. M., 2001, In: Journal of Voice. 15, 2, p. 278-283 6 p.

  Research output: Contribution to journal › Article › peer-review
  60 Citations (Scopus)

• Clinical and bone marrow effects of interferon alfa therapy in myelofibrosis with myeloid metaplasia [3]

  Tefferi, A., Elliott, M. A., Yoon, S. Y., Li, C. Y., Mesa, R. A., Call, T. G. & Dispenzleri, A., 2001 Mar 15, In: Blood. 97, 6, p. 1896 1 p.

  Research output: Contribution to journal › Letter › peer-review
  60 Citations (Scopus)

• Clinical effects of pranlukast, an oral leukotriene receptor antagonist, in mild-to-moderate asthma: A 4 week randomized multicentre controlled trial

  Yoo, S. H., Park, S. H., Song, J. S., Kang, K. H., Park, C. S., Yoo, J. H., Choi, B. W. & Hahn, M. H., 2001 May 9, In: Respirology. 6, 1, p. 15-21 7 p.

  Research output: Contribution to journal › Article › peer-review
  20 Citations (Scopus)

• Cloning and Characterization of a Type II Integral Transmembrane Protein Gene, Itm2c, That Is Highly Expressed in the Mouse Brain

  Choi, S. C., Kim, J., Kim, T. H., Cho, S. Y., Park, S. S., Kim, K. D. & Lee, S. H., 2001 Dec 31, In: Molecules and cells. 12, 3, p. 391-397 7 p.

  Research output: Contribution to journal › Article › peer-review
  9 Citations (Scopus)

• Cloning and Sequencing Analysis of cadC Encoding Transcriptional Activator CadC from Salmonella typhimurium

  Kim, B. H., Lee, H. J., Lee, I. S., Bang, S. H., Kim, J. & Park, Y. K., 2001, In: Journal of Microbiology. 39, 2, p. 109-115 7 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• Clusterin expression during regeneration of pancreatic islet cells in streptozotocin-induced diabetic rats

  Kim, B. M., Han, Y. M., Shin, Y. J., Min, B. H. & Park, I. S., 2001, In: Diabetologia. 44, 12, p. 2192-2202 11 p.

  Research output: Contribution to journal › Article › peer-review
  45 Citations (Scopus)

• Cnidicin, a coumarin, from the root of Angelica koreana, inhibits the degranulation of mast cell and the NO generation in RAW 264.7 cells

  Shi Yong Ryu, Y. R., Na Youn Kou, Y. K., Hong Seok Choi, S. C., Ryu, H., Tae Sung Kim, S. K. & Kyeong Man Kim, M. K., 2001, In: Planta Medica. 67, 2, p. 172-174 3 p.

  Research output: Contribution to journal › Article › peer-review
  25 Citations (Scopus)

• Co-expression of MDR1 and HLA-B7 Genes in a Mammalian Cell Using a Retrovirus

  Lee, S. M., Lee, K. H., Kim, H. D., Lee, J. H., Lee, J. S. & Kim, J., 2001 Mar 31, In: Journal of Biochemistry and Molecular Biology. 34, 2, p. 176-181 6 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• Coherent oscillations in a cooper-pair box

  Choi, M. S., Fazio, R., Siewert, J. & Bruder, C., 2001 Jan 11, In: Europhysics Letters. 53, 2, p. 251-256 6 p.

  Research output: Contribution to journal › Article › peer-review
  33 Citations (Scopus)

• Collective value QoS: A performance measure framework for distributed heterogeneous networks

  Kim, J. K., Kidd, T., Siegel, H. J., Irvine, C., Levin, T., Hensgen, D. A., St. John, D., Prasanna, V. K., Freund, R. F. & Porter, N. W., 2001, Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001. Institute of Electrical and Electronics Engineers Inc., p. 810-823 14 p. 925036. (Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  11 Citations (Scopus)

• Combined heat and mass transfer under different inlet subcooling modes during NH₃-H₂O falling film absorption process

  Kang, Y. T., Kang, Y. & Kashiwagi, T., 2001 Sep, In: Journal of Energy Resources Technology, Transactions of the ASME. 123, 3, p. 242-249 8 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• Combined laser therapy for difficult dermal pigmentation: Resurfacing and selective photothermolysis

  Park, S. H., Koo, S. H. & Choi, E. O., 2001, In: Annals of Plastic Surgery. 47, 1, p. 31-36 6 p.

  Research output: Contribution to journal › Article › peer-review
  14 Citations (Scopus)

• Comments on a signature scheme based on the third order LFSR proposed at ACISP2001

  Lim, S., Kim, S., Yie, I. & Kim, J., 2001, Progress in Cryptology - INDOCRYPT 2001 - 2nd International Conference on Cryptology in India, Proceedings. Rangan, C. P. & Ding, C. (eds.). Springer Verlag, p. 308-315 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2247).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Comments on "The Model Checker SPIN"

  Bang, K. S., Choi, J. Y. & Yoo, C., 2001 Jun, In: IEEE Transactions on Software Engineering. 27, 6, p. 573-576 4 p.

  Research output: Contribution to journal › Comment/debate › peer-review
  3 Citations (Scopus)