GIỚI THIỆU

Trịnh Văn Giang
khoa Khoa học và Kỹ thuật máy tính
Email: van-giang.trinh@hcmut.edu.vn

THÔNG TIN CHUNG

Scholar: https://scholar.google.com/citations?user=wve4AkAAAAAJ&hl=en

LĨNH VỰC NGHIÊN CỨU

  • Theoretical computer science: Boolean/multi-valued network, Petri net
  • Symbolic artificial intelligence: logic programming, answer set programming, abstract argumentation
  • Computational systems biology

CÁC CÔNG TRÌNH KHOA HỌC TIÊU BIỂU

  • TRINH VAN GIANG, TATSUYA AKUTSU, KUNIHIKO HIRAISHI. An FVS-based approach to attractor detection in asynchronous random Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics – Vol 19(2), 806–818, (2020) -ISBN/ISSN:
  • VAN-GIANG TRINH, KUNIHIKO HIRAISHI, BELAID BENHAMOU. Computing attractors of large-scale asynchronous Boolean networks using minimal trap spaces. Proceedings of the 13th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics (BCB ’22) – Article 13, 1–10, (2022) -ISBN/ISSN:
  • VAN-GIANG TRINH, BELAID BENHAMOU, KUNIHIKO HIRAISHI, SYLVAIN SOLIMAN. Minimal trap spaces of logical models are maximal siphons of their Petri net encoding. International Conference on Computational Methods in Systems Biology – , 158–176, (2022) -ISBN/ISSN:
  • VAN-GIANG TRINH, BELAID BENHAMOU, SYLVAIN SOLIMAN. Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding. Theoretical Computer Science – Vol 971, 114073, (2023) -ISBN/ISSN:

Lên đầu trang