Browse "College of Engineering(공과대학)" by Subject PROGRAMS
Showing results 1 to 15 of 15
| A cohesion measure for object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.30, no.12, pp.1405 - 1431, 2000-10 |
| A medium energy ion scattering analysis of the Si-SiO2 interface formed by ion beam oxidation of silicon Kim, YP; Choi, Si-Kyung; Ha, YH; Kim, Sehun; Kim, HK; Moon, DW, APPLIED SURFACE SCIENCE, v.117, pp.207 - 211, 1997-06 |
| Chebyshev center based column generation Lee, Chung Mok; Park, Sungsoo, DISCRETE APPLIED MATHEMATICS, v.159, no.18, pp.2251 - 2265, 2011-12 |
| Generating Task-Oriented Interactions of Service Robots Kim, Yochan; Yoon, Wan-Chul, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, v.44, no.8, pp.981 - 994, 2014-08 |
| Linearizability with Ownership Transfer Gotsman, Alexey; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.9, no.3, 2013 |
| Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, JOURNAL OF FUNCTIONAL PROGRAMMING, v.23, no.4, pp.452 - 514, 2013-07 |
| Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
| Multidimensional control of therapeutic human cell function with synthetic gene circuits Li, Hui-Shan; Israni, Divya V.; Gagnon, Keith A.; Gan, Kok Ann; Raymond, Michael H.; Sander, Jeffry D.; Roybal, Kole T.; et al, SCIENCE, v.378, no.6625, pp.1231 - 1234, 2022-12 |
| Observational slicing based on visual semantics Yoo, Shin; Binkley, David; Eastman, Roger, JOURNAL OF SYSTEMS AND SOFTWARE, v.129, pp.60 - 78, 2017-07 |
| Recent Developments in Robust Portfolios with a Worst-Case Approach Kim, Jang Ho; Kim, Woo Chang; Fabozzi, Frank J., JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, v.161, no.1, pp.103 - 121, 2014-04 |
| Set-based analysis of structured workflow definition Han, Dongsoo; Lee, S; Lee, M; Shim, J, INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, v.14, no.4, pp.503 - 527, 2005-12 |
| SimpleLock(+): Fast and Accurate Hybrid Data Race Detection Yu, Misun; Bae, Doo-Hwan, COMPUTER JOURNAL, v.59, no.6, pp.793 - 809, 2016-06 |
| Simultaneous Location of Trauma Centers and Helicopters for Emergency Medical Service Planning Cho, Soo-Haeng; Jang, Hoon; Lee, Tae-Sik; Turner, John, OPERATIONS RESEARCH, v.62, no.4, pp.751 - 771, 2014-07 |
| The Oracle Problem in Software Testing: A Survey Barr, Earl T.; McMinn, Phil; Shahbaz, Muzammil; Harman, Mark; Yoo, Shin, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.41, no.5, pp.507 - 525, 2015-05 |
Viewer Knowledge: Application of Exposure-based Layperson Knowledge in Genre-specific Animation Production Visch, Valentijn; Tan, Ed; Saakes, Daniel Pieter, INTERNATIONAL JOURNAL OF DESIGN, v.9, no.1, pp.83 - 89, 2015-04 |
Discover
Open Access
Date issued
- 24,612 2020 - 2024
- 75,435 2010 - 2019
- 57,255 2000 - 2009
- 30,842 1990 - 1999
- 9,025 1980 - 1989