Browse by Subject Theory
Showing results 1 to 15 of 15
| Characteristics of rumor spreading in online social media and classification = 온라인 소셜미디어 내의 루머 전파의 특징과 초기 루머 구분 연구link Kwon, Sejeong; 권세정; et al, 한국과학기술원, 2017 |
| Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
| Compositional Shape Analysis by means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01 |
| Computational Complexity of Quantum Satisfiability Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05 |
| Exact and Approximate Algorithms for the Most Connected Vertex Problem Sheng, Cheng; Tao, Yufei; Li, Jianzhong, ACM TRANSACTIONS ON DATABASE SYSTEMS, v.37, no.2, 2012-05 |
| I/O-Efficient Algorithms on Triangle Listing and Counting Hu, Xiaocheng; Tao, Yufei; Chung, Chin-Wan, ACM TRANSACTIONS ON DATABASE SYSTEMS, v.39, no.4, 2014-12 |
| Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
| A Process-Based Model of New Venture Creation: Toward Modelling a Practical Application of Extant Theory using SADT Diagrams Hernandez Rico, T.; Dubois, P.; Le Coq, M., 21st CIRP Design Conference, 2011 |
| Realistic Biomechanical Simulation and Control of Human Swimming Si, Weiguang; Lee, Sung-Hee; Sifakis, Eftychios; Terzopoulos, Demetri, ACM TRANSACTIONS ON GRAPHICS, v.34, no.1, 2014-11 |
| Separation and Information Hiding O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04 |
| Step-Indexed Kripke Models over Recursive Worlds Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01 |
| ThisType for Object-Oriented Languages: From Theory to Practice Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.3, 2016-05 |
| Usability-based Caching of Query Results in OLAP Systems Park, Chang-Sup; Kim, Myoung Ho; Lee, Yoon-Joon, Journal of Systems and Software, Vol. 68, Issue 2, P. 103-119, 2003-11 |
| Views: Compositional Reasoning for Concurrent Programs Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01 |
| Worst-Case I/O-Efficient Skyline Algorithms Sheng, Cheng; Tao, Yufei, ACM TRANSACTIONS ON DATABASE SYSTEMS, v.37, no.4, 2012-12 |
Discover
Type
Open Access
Date issued
- 31,005 2020 - 2024
- 99,997 2010 - 2019
- 75,669 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969