Search Results - Ngo, Tuan Phong

Refine Results
  1. 1
    Optimal stateless model checking under the release-acquire semantics

    Optimal stateless model checking under the release-acquire semantics by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Jonsson, Bengt, Ngo, Tuan Phong

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Optimal stateless model checking for reads-from equivalence under sequential consistency

    Optimal stateless model checking for reads-from equivalence under sequential consistency by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Jonsson, Bengt, Lång, Magnus, Ngo, Tuan Phong, Sagonas, Konstantinos

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A load-buffer semantics for total store ordering

    A load-buffer semantics for total store ordering by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Ngo, Tuan Phong

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    An Improved Blind Watermarking Technique Against JPEG Compression Attack

    An Improved Blind Watermarking Technique Against JPEG Compression Attack by Ngo, Phong Tuan, Quang Ta, Hung

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets

    An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets by Tran Anh Tai, Ngo Tuan Phong, Nguyen Kim Anh

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Rule-Based Attribute-Oriented Induction for Knowledge Discovery

    Rule-Based Attribute-Oriented Induction for Knowledge Discovery by Nguyen Duc Thanh, Ngo Tuan Phong, Nguyen Kim Anh

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    A Load-Buffer Semantics for Total Store Ordering

    A Load-Buffer Semantics for Total Store Ordering by Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Ngo, Tuan Phong

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Context-Bounded Model Checking for POWER

    Context-Bounded Model Checking for POWER by Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Ngo, Tuan Phong

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Optimal Stateless Model Checking under the Release-Acquire Semantics

    Optimal Stateless Model Checking under the Release-Acquire Semantics by Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Jonsson, Bengt, Ngo, Tuan Phong

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    VIETNAM (SOUTH)

    VIETNAM (SOUTH) by Truong-Minh-Cac, Yen-Tuan-Phong, Ngo

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Vietnam (South)

    Vietnam (South) by Truong-Minh-Cac, Yen-Tuan-Phong, Ngo

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Vietnam (South)

    Vietnam (South) by Truong-Minh-Cac, Ngo Yen-Tuan-Phong

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    East Asia Review, 1973. 10. Vietnam (South)

    East Asia Review, 1973. 10. Vietnam (South) by Truong-Minh-Cac, Yen-Tuan-Phong, N

    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Secure Massive MIMO With the Artificial Noise-Aided Downlink Training

    Secure Massive MIMO With the Artificial Noise-Aided Downlink Training by Nguyen, Nam-Phong, Ngo, Hien Quoc, Duong, Trung Q., Tuan, Hoang Duong, Tourki, Kamel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Isolation, structural elucidation and molecular docking studies against SARS-CoV-2 main protease of new stigmastane-type steroidal glucosides isolated from the whole plants of Vernonia gratiosa

    Isolation, structural elucidation and molecular docking studies against SARS-CoV-2 main protease of new stigmastane-type steroidal glucosides isolated from the whole plants of Vern... by Van Cong, Pham, Anh, Hoang Le Tuan, Trung, Nguyen Quang, Quang Minh, Bui, Viet Duc, Ngo, Van Dan, Nguyen, Trang, Nguyen Minh, Phong, Nguyen Viet, Vinh, Le Ba, Anh, Le Tuan, Lee, Ki Yong

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Experimental and computational investigations on fire resistance of GFRP composite for building façade

    Experimental and computational investigations on fire resistance of GFRP composite for building façade by Nguyen, Quynh T., Tran, Phuong, Ngo, Tuan D., Tran, Phong A., Mendis, Priyan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Full-Duplex Cyber-Weapon With Massive Arrays

    Full-Duplex Cyber-Weapon With Massive Arrays by Nam-Phong Nguyen, Hien Quoc Ngo, Duong, Trung Q., Hoang Duong Tuan, Benevides da Costa, Daniel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Acetylcholinesterase inhibition studies of alkaloid components from Crinum asiaticum var. sinicum: in vitro assessments by molecular docking and molecular dynamics simulations

    Acetylcholinesterase inhibition studies of alkaloid components from Crinum asiaticum var. sinicum: in vitro assessments by molecular docking and molecular dynamics simulations by Duc, Ngo Viet, Trang, Vu Thi, Tuan Anh, Hoang Le, Vinh, Le Ba, Phong, Nguyen Viet, Thuan, Tran Quang, Hieu, Ngo Van, Dat, Nguyen Tien, Nhan, Le Van, Tuan, Do Thanh, Tuan Anh, Le, Thao, Do Thi, Tai, Bui Huu, Cuong, Nguyen Cao, Lien, Le Quynh, Yang, Seo Young

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Two New Steroidal Saponins with Potential Anti-Inflammatory Effects from the Aerial Parts of Gnetum formosum Markgr

    Two New Steroidal Saponins with Potential Anti-Inflammatory Effects from the Aerial Parts of Gnetum formosum Markgr by Hieu, Ngo Van, Vinh, Le Ba, Phong, Nguyen Viet, Cong, Pham Van, Dat, Nguyen Tien, Dan, Nguyen Van, Duc, Ngo Viet, Tao, Hoang Minh, Tam, Le Thi, Anh, Le Tuan, Cuong, Nguyen Cao, Tai, Bui Huu, Yang, Seo Young, Tuan Anh, Hoang Le

    Published in Plants (Basel)
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  20. 20
    Application of nanotechnology for earth materials: An exploratory study with graphene-based nanosheets

    Application of nanotechnology for earth materials: An exploratory study with graphene-based nanosheets by Ngo, Thanh Phong, Bui, Quoc Bao, Nguyen, Ngoc Tuan, Le, Tuan, Phan, Vu To-Anh

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: