Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> Oukseh Lee
"Oukseh Lee" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 6 of 6 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Program Analysis for Overlaid Data Structures
Oukseh Lee
;
Hongseok Yang
;
Rasmus Petersen
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Ganesh Gopalakrishnan
;
Shaz Qadeer
2011
Springer Berlin Heidelberg
Inserting Safe Memory Reuse Commands into ML-Like Programs
Oukseh Lee
;
Hongseok Yang
;
Kwangkeun Yi
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Radhia Cousot
2003
Springer Berlin Heidelberg
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
Oukseh Lee
;
Hongseok Yang
;
Kwangkeun Yi
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Mooly Sagiv
2005
Springer Berlin Heidelberg
Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers
Jin-Woo Jeong
;
Kyung-Wook Park
;
OukSeh Lee
;
Dong-Ho Lee
Multimedia Content Analysis and Mining: International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007, Proceedings
Nicu Sebe
;
Yuncai Liu
;
Yueting Zhuang
;
Thomas S. Huang
2007
Springer Berlin Heidelberg
A Practical String Analyzer by the Widening Approach
Tae-Hyoung Choi
;
Oukseh Lee
;
Hyunha Kim
;
Kyung-Goo Doh
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
Naoki Kobayashi
2006
Springer Berlin Heidelberg
Scalable Shape Analysis for Systems Code
Hongseok Yang
;
Oukseh Lee
;
Josh Berdine
;
Cristiano Calcagno
;
Byron Cook
;
Dino Distefano et al.
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Aarti Gupta
;
Sharad Malik
2008
Springer Berlin Heidelberg
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 6 of 6 entries
«
‹
1
›
»