• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2025
• 
  Duong Thanh Tran, Nguyen Doan Hieu Nguyen, Trung Thanh Pham, Phuong-Nam Tran, Thuy-Duong Thi Vu, Cuong Tuan Nguyen, Hanh Dang-Ngoc, Duc Ngoc Minh Dang:
  SwinTExCo: Exemplar-based video colorization using Swin Transformer. Expert Syst. Appl. 260: 125437 (2025)
• 2024
• 
  Thi Thu Ha Doan, Peter Thiemann:
  A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. APLAS 2024: 305-324
• 
  Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann:
  A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. ECOOP 2024: 3:1-3:26
• 2023
• 
  Trung-Nghia Le, Tam V. Nguyen, Minh-Quan Le, Trong-Thuan Nguyen, Viet-Tham Huynh, Trong-Le Do, Khanh-Duy Le, Mai-Khiem Tran, Nhat Hoang-Xuan, Thang-Long Nguyen-Ho, Vinh-Tiep Nguyen, Nhat-Quynh Le-Pham, Huu-Phuc Pham, Trong-Vu Hoang, Quang-Binh Nguyen, Trong-Hieu Nguyen Mau, Tuan-Luc Huynh, Thanh-Danh Le, Ngoc-Linh Nguyen-Ha, Tuong-Vy Truong-Thuy, Truong Hoai Phong, Tuong-Nghiem Diep, Khanh-Duy Ho, Xuan-Hieu Nguyen, Thien-Phuc Tran, Tuan-Anh Yang, Kim-Phat Tran, Nhu-Vinh Hoang, Minh-Quang Nguyen, Hoai-Danh Vo, Minh-Hoa Doan, Hai-Dang Nguyen, Akihiro Sugimoto, Minh-Triet Tran:
  SketchANIMAR: Sketch-based 3D animal fine-grained retrieval. Comput. Graph. 116: 150-161 (2023)
• 
  Linh T. Duong, Thi Thu Ha Doan, Cong Q. Chu, Phuong T. Nguyen:
  Fusion of edge detection and graph neural networks to classifying electrocardiogram signals. Expert Syst. Appl. 225: 120107 (2023)
• 
  Thi-Thu-Hong Phan, Dong Nguyen-Doan, Du Nguyen-Huu, Hanh Nguyen-Van, Thai Pham-Hong:
  Investigation on new Mel frequency cepstral coefficients features and hyper-parameters tuning technique for bee sound recognition. Soft Comput. 27(9): 5873-5892 (2023)
• 
  Tam Doan Thanh, Cam-Van Thi Nguyen, Huu-Thin Nguyen, Mai-Vu Tran, Quang-Thuy Ha:
  Vietnamese Multidocument Summarization Using Subgraph Selection-Based Approach with Graph-Informed Self-attention Mechanism. ACIIDS (2) 2023: 259-271
• 
  Trung-Nghia Le, Tam V. Nguyen, Minh-Quan Le, Trong-Thuan Nguyen, Viet-Tham Huynh, Trong-Le Do, Khanh-Duy Le, Mai-Khiem Tran, Nhat Hoang-Xuan, Thang-Long Nguyen-Ho, Vinh-Tiep Nguyen, Nhat-Quynh Le-Pham, Huu-Phuc Pham, Trong-Vu Hoang, Quang-Binh Nguyen, Trong-Hieu Nguyen Mau, Tuan-Luc Huynh, Thanh-Danh Le, Ngoc-Linh Nguyen-Ha, Tuong-Vy Truong-Thuy, Truong Hoai Phong, Tuong-Nghiem Diep, Khanh-Duy Ho, Xuan-Hieu Nguyen, Thien-Phuc Tran, Tuan-Anh Yang, Kim-Phat Tran, Nhu-Vinh Hoang, Minh-Quang Nguyen, Hoai-Danh Vo, Minh-Hoa Doan, Hai-Dang Nguyen, Akihiro Sugimoto, Minh-Triet Tran:
  SketchANIMAR: Sketch-based 3D Animal Fine-Grained Retrieval. CoRR abs/2304.05731 (2023)
• 2022
• 
  Ha Thi Thu Doan, Kazuhiro Ogata:
  Specifying and Model Checking Distributed Control Algorithms at Meta-level. Comput. J. 65(12): 2998-3019 (2022)
• 
  Tam Doan Thanh, Xuan-Bach Ngo, Doan-Thinh Ngo, Mai-Vu Tran, Quang-Thuy Ha:
  A Graph and PhoBERT based Vietnamese Extractive and Abstractive Multi-Document Summarization Frame. RIVF 2022: 482-487
• 2021
• 
  Thi Thu Ha Doan, Peter Thiemann:
  A Typed Programmatic Interface to Contracts on the Blockchain. APLAS 2021: 222-240
• 
  Thi Thu Ha Doan, Peter Thiemann:
  Towards Contract Modules for the Tezos Blockchain (Short Paper). FMBC@CAV 2021: 5:1-5:9
• 
  Thi Thu Ha Doan, Peter Thiemann:
  A Typed Programmatic Interface to Contracts on the Blockchain. CoRR abs/2108.11867 (2021)
• 2019
• 
  Ha Thi Thu Doan, Kazuhiro Ogata:
  A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property. Comput. Informatics 38(5): 1009-1038 (2019)
• 
  Huong-Giang Doan, Thanh-Hai Tran, Hai Vu, Thi-Lan Le, Van-Toi Nguyen, Sang Viet Dinh, Thi-Oanh Nguyen, Thi Thuy Nguyen, Duy-Cuong Nguyen:
  Multi-view Discriminant Analysis for Dynamic Hand Gesture Recognition. ACPR Workshops 2019: 196-210
• 
  Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata:
  An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. SSS 2019: 111-126
• 2017
• 
  Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet:
  Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. ICDCS 2017: 1586-1596
• 
  Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata:
  Model Checking of Robot Gathering. OPODIS 2017: 12:1-12:16
• 2016
• 
  Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata:
  Model Checking of a Mobile Robots Perpetual Exploration Algorithm. SOFL+MSVL 2016: 201-219
• 2006
• 
  Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley:
  A Bottom-up Strategy for Query Decomposition. ICDIM 2006: 215-221