Seminars

2019

Algorithmic Framework for Approximate Matching Under Bounded Edits with Applications to Sequence Analysis
Prof. Sharma V. Thankachan, University of Central Florida, 2019.10.29
Avoiding Overlaps in Pictures
Prof. Dora Giammarresi, University of Rome “Tor Vergata”, 2019.09.10
2-Connectivity in Directed Graphs
Prof. Giuseppe F. Italiano, LUISS University, 2019.09.10
Faithful Visual Analytics of Big Complex Data
Prof. Seok-Hee Hong, University of Sydney, 2019.05.09

2018

The Index and the Finger
Prof. Amihood Amir, Bar-Ilan University, 2018.11.28
Locating All Maximal Approximate Runs in a String
Prof. Gad M. Landau, University of Haifa, 2018.11.26
Perpetual maintenance of machines with different attendance urgency factors
Prof. Leszek A Gasieniec, University of Liverpool, 2018.11.02
Taming Subgraph Isomorphism for RDF Query Processing
Prof. Wook-Shin Han, Pohang University of Science and Technology, 2018.04.06

2017

New Quality Metrics for Graph Visualisation
Prof. Seok-Hee Hong, University of Sydney, 2017.01.09

2016

Holistic Approach to Cloud Data Centre Efficiency
Dr. Young Choon Lee, Department of Computing, Macquarie University, 2016.07.22
Indexing by Kernelization
Dr. Simon J. Puglisi, Department of Computer Science, University of Helsinki, 2016.03.21
Lempel-Ziv Decoding in External Memory
Dr. Simon J. Puglisi, Department of Computer Science, University of Helsinki, 2016.03.21

2015

Integrated Analysis of Mutual Exclusivity and Gene Interactions in Pan-Cancer
Dr. Yoo-Ah Kim, NCBI, 2015.08.06
Beyond Planarity: Algorithmics for Sparse Non-Planar Graphs
Prof. Seok-Hee Hong, University of Sydney , 2015.05.11

2014

Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching
Prof. Giuseppe F. Italiano, University of Roma “Tor Vergata” , 2014.12.19
Succinct data Structures for Representing Equivalence Classes
Prof. J. Ian Munro, University of Waterloo, 2014.12.12
Georgia Tech’s new Online MOOC based Master Program
Prof. Zvi Galil, Dean of College of Computing, Georgia Institute of Technology, 2014.08.07
Shape Matching – How much do they resemble each other?
Prof. 안희갑, POSTECH, 2014.05.23
Efficient Implementation of NTRU Cryptosystem Using Sliding Window Methods
김정우, 삼성전자, 2014.05.12
Constant-Time Word-Size String-Matching and Packed String-Matching
Prof. Danny Breslauer, University of Haifa, Isreal, 2014.05.07

2013

Suffix Array of Alignment
Prof. Thierry Lecroq, University of Rouen, France, 2013.11.06
Monoisotopic Mass Determination Algorithm for Selenocysteine-Containing Polypeptides from Mass Spectrometric Data Based on Theoretical Modeling of Isotopic Peak Intensity Ratios
Jin Wook Kim, Medical Information Center, Seoul National University Hospital, Seoul, 2013.05.03

2012

On Exact Algorithms for Ordering CSP
Eunjung Kim, CNRS, 2012.10.17
Near real-time suffix tree construction via the fringe marked ancestor problem
Prof. Danny Breslauer, University of Haifa, Israel, 2012.10.09
Algorithms on Grammar-Compressed Strings
Prof. Gad Landau, University of Haifa, Israel, 2012.05.11
Length Reduction in Binary Transforms
Prof. Amihood Amir, Bar-Ilan University and Johns Hopkins University, 2012.05.09
Recent Advances in Straight-line Graph Drawing: Extending Steinitz’s Theorem, Fary’s Theorem and Tutte’s Barycenter Theorem
Prof. Seok-Hee Hong,University of Sydney, 2012.01.03

2011

Improving Christofides’ Algorithm for the s-t Path TSP
Hyung-Chan An,Cornell University, 2011.12.21
BiTR: Built-in Tamper Resilience
Seung Geol Choi, University of Maryland, 2011.12.19
Vertex-minors, Monadic Second-Order Logic, and a Conjecture by Seese
Prof. Sang-il Oum, KAIST, 2011.10.18
DynMap: mapping short reads to multiple closely-related genomes
Prof. Costas S. Iliopoulos, King’s College London, 2011.09.28
Algorithms for identifying periodic structures
Dr. Solon P. Pissis, King’s College London, 2011.09.28
Fast Clustering using MapReduce
Sungjin Im, Univ. of Illinois, 2011.09.21
An empirical evaluation of extendible arrays
Prof. Rajeev Raman, Univ. of Leicester, 2011.05.18
Finding the longest common nonsuperstring in linear time
인하대 심정섭 교수, 2011.01.21
Random graphs and population genetics
Dr. Laxmi Parida, IBM T. J. Watson Research Center, 2011.01.10

2010

Public Key Cryptosystems with Evolving Keys
Prof. Matt Franklin, U. C. Davis, 2010.12.13
Algorithmic Aspects of Secure Computation and Communication
Prof. Matt Franklin, U. C. Davis, 2010.12.13
Addressing Insider Threats to Data Integrity
Prof. Marianne Winslett, Univ. of Illinois, 2010.11.23
REAL: REad ALigner is an efficient short-read mapping tool
Prof. Costas S. Iliopoulos, King’s College London, 2010.10.06
An algorithm for mapping short reads to a dynamically changing genomic sequence
Prof. Costas S. Iliopoulos, King’s College London, 2010.10.05
Mitigation of Decentralized Advanced Multi-tiered Botnets
ByungHoon Kang, Charlotte UNC, 2010.06.11
이동통신망 소형기지국 보안
삼성전자 김이용 박사, 2010.05.15
Mining Sequential Patterns from Probabilistic Databases
Prof. Rajeev Raman, Univ. of Leicester, 2010.03.29
Optimal Trade-Off for Succinct String Indexes
Prof. Rajeev Raman, Univ. of Leicester, 2010.03.19
한글기반의 인터넷 비속어 처리 방법
부산대 조환규 교수, 2010.02.23
A special case of Katz Status Index
건국대 김성렬 교수, 2010.01.19
Improved Algorithms for Finding Consistent Superstrings based on a New Graph Model
인하대 김진욱 박사, 2010.01.13
Visual Analysis of Large and Complex Networks
Prof. Seok-Hee Hong, Univ. of Sydney, 2010.01.07

2009

Designing Useful Viruses
Prof. Steven Skiena, State Univ. of New York, 2009.07.17
News and Blog Analysis with Lydia
Prof. Steven Skiena, State Univ. of New York, 2009.07.16
Facets of Information
Prof. Wojciech Szpankowski, Purdue Univ., 2009.07.03
Practical implementation of rank/select structures on texts over large alphabets
한양대 이선호 박사, 2009.06.15
Next-Generation Data Security Architectures
Dr. Máire O’Neill, Queen’s Univ., 2009.03.02
PageRank와 Katz Status Index의 이론적 비교
건국대 김성렬 교수, 2009.02.17
Overview of Some Tree Edit Distance Metrics and HTML Change Detection
HM연구소 김진욱 박사, 2009.02.06
임베디드 보안 시스템을 위한 하드웨어 칩 설계 기술
한양대 김동규 교수, 2009.01.30
Computing consensus of 3 strings that optimizes both radius and sum via hamming distance
한양대 박희진 교수, 2009.01.22
Extending Convex Drawings of Graphs
Prof. Seok-Hee Hong, Univ. of Sydney, 2009.01.09

2008

Isotopic Meshing of Singular Algebraic Curves
Prof. Chee K. Yap, New York Univ., 2008.07.10
Sequential Kernel Density Approximation and Its Applications to Real-Time Computer Vision
Princeton Univ. 한보형 박사, 2008.03.25
Landscapes in Subsequencesland
Prof. Alberto Apostolico, Accademia dei Lincei & Univ of Padova & Georgia Tech, 2008.03.06
PageRank Algorithm for Large Scale Graph
HM연구소 김진욱 박사, 2008.02.23
Evidence for the Dominance of Technology in Search Engine Market
건국대 김성렬 교수, 2008.02.01
Triconnected component algorithm and its application to the web graph
HM연구소 박성수, 2008.01.29
On-line Construction of Two-Dimensional Suffix Trees in Randomized Linear Time
건국대 나중채 박사, 2008.01.25

2007

Soft Edge Coloring and its Application in Wireless Networks
Prof.Yoo-Ah Kim, Univ. of Connecticut, 2007.12.17
벤처투자 101
(주)소프트뱅크벤처스 대표 문규학, 2007.05.29
String Similarity Algorithms using the Gap-Penalty Scoring Scheme
(주)HM 연구소 김진욱 박사, 2007.03.16
Algorithms for the Maximum Subarray Problem and their Applications
Prof. Tadao Takaoka, Univ. of Canterbury, 2007.03.13
A Simple Construction of Two-Dimensional Suffix Trees in Linear Time
인하대 심정섭 교수, 2007.02.22
Recent Research Topics for Constructing Two-dimensional Full-text Index Data Structures
한양대 김동규 교수, 2007.02.09
Faster Filters for Approximate String Matching
건국대 나중채 교수, 2007.01.12
Theory and Practice of Graph Drawing: Visualisation and Analysis of Large and Complex Networks
Dr. Seok-Hee Hong, Univ. of Sydney, 2007.01.05

2006

Search Engines, Past, Present, and Future of Technology
건국대 김성렬 교수, 2006.12.28
A randomized algorithm for the fast approximate point set matching problem
한국항공대 이인복 교수, 2006.12.23
Short Traceable Signatures Based on Bilinear Pairings
PhD Candidate 최승걸, Columbia Univ. PhD, 2006.10.25
Group Encryption
Prof. Moti Yung, Columbia Univ., 2006.08.30
Efficient implementation of NTRU
인하대 이문규 교수, 2006.05.20
Cryptographic 알고리즘의 최적화
서울대 박근수 교수, 2006.03.13
Linear Time Algorithm for the generalised Longest Common Repeat Problem
서울대 이인복 박사, 2006.02.24

2005

Genomic Data Mining Enhanced by Symbolic Manipulation of Boolean Functions
Prof. 윤성로, Stanford Univ, 2005.09.05
Kleptographic Attacks: a survey
Prof. Moti Yung, Columbia Univ, 2005.08.25
Linear Construction of Suffix Arrays
서울대 박근수 교수, 2005.03.08

2004

Anonyminer: Mining Data from Anonymous Transactions
Prof. Moti Yung, Univ. of Columbia , 2004.12.11
유전자 조절
서울대 정구흥 교수, 2004.11.08
Computational Problems in Conserved Gene Cluster Finding
부산대 조환규 교수, 2004.10.08
On Database Performance Study
Prof. 문봉기, Univ. of Arizona, 2004.07.02
An Efficient Index Data Structure with the Capabilities of Suffix Trees and Suffix Arrays for Alphabets of Non-Negligible Size
부산대 김동규 교수, 2004.06.05
Computing the Tree of Life: automating phylogenetic inference over all prokaryotic genomes
Prof. Mark Ragan, Univ. of Queensland, 2004.04.26
Theory of Real Approximation
Prof. Chee Yap, State Univ. of New York, 2004.04.22
Mining the Web: Search Engines
Prof. Ricardo Baeza-Yates,Univ. of Chile, 2004.02.17

2003

IPSec 프로토콜과 그 응용
부산대 김동규 교수, 2003.11.14
Predicting protein-protein Interactions using SVM
한국외대 정유진 조교수, 2003.11.10
Sequence data mining
한국전자통신연구원 심정섭 박사, 2003.11.04
Struggling between HBV and host
서울대 박성규 박사, 2003.10.17
Improved scalable hash chain traversal
건국대 김성렬 교수, 2003.10.07
Prediction of protein subcellular locations by support vector machines using compositions of mino acids and amino acid pairs
산업기술종합연구소 박근준 박사, 2003.09.15
Authenticated group Key exchange in constant rounds
Moti Yung, Columbia Univ., 2003.08.28
The maximum number of runs in a string
Prof. Bill Smyth, McMaster Univ., 2003.07.16
Online LIB problems: heuristics for bin covering and lower bounds for bin packing
Prabhu Manyem, Univ. of South Australia, 2003.07.15
Algorithms on Indeterminate strings
Prof. Bill Smyth, McMaster Univ., 2003.07.15
Data reservoir, a file sharing facility on long fat pipe network
Mary Inaba, Univ. of Tokyo, 2003.07.14
Delay constrained routing in communication networks and heuristics/ approximation schemes
Krishnaiya Thulasiraman, Univ. of Oklanoma, 2003.07.11
System biology 을 위한 생물 정보 전달
서울대 정구흥 교수, 2003.06.27
On Kramer-Mesner matrix partitioning conjecture
서울대 노유미 박사, 2003.06.19
Timing attack against Implementation of a parallel algorithm for modular exponentiation
Prof. Kouichi Sakurai, Kyushu Univ., 2003.06.11
Bioinformatics for post-sequence era
한국생명공학 허칠구 연구원, 2003.05.30
An efficient parallel algorithm for scheduling interval ordered tasks
한국외대 정유진 조교수, 2003.05.23
Boolean circuit programming: a new paradigm to design parallel algorithm
이화여대 박희진 박사, 2003.05.14
Linear-time construction of suffix arrays
부산대 김동규 조교수, 2003.05.10
일반인을 위한 전산수학
Microsoft Research, 김정한, 2003.03.06
Hybridizations models, DNA cubes, and error-preventing codes for biocomputing
Max H. Garzon, Univ. of Memphis, 2003.02.10
An efficient representation of scalars for simultaneous elliptic scalar multiplication
Prof. Kouichi Sakurai, Kyushu Univ., 2003.01.22
Information visualisation and graph drawing
Prof. Seok-Hee Hong, Univ. of Sydney, 2003.01.09

2002

포스트지놈 시대의 바이오 인포매틱스
한국전자통신연구원 심정섭 박사, 2002.11.30
Family competition evolutionary algorithm approach an protein docking problem
Prof. Cheng-Yan Kao, National Taiwan Univ., 2002.11.14
Status of rice genome sequencing program in Korea status of rice genome sequencing program in Korea
농업생명공학연구원 윤웅한 교수, 2002.10.24
LCA problem vs. range minima problem
부산대 김동규 조교수, 2002.10.18
Linear-time algorithms for proximity problem given keyword offsets
건국대 김성렬 박사, 2002.10.15
Prediction of transcription regulatory sites with dependency-reflecting decomposition model (DRDM)
(주) 스몰소프트 김기봉 박사, 2002.09.26