Giang V. Trinh

According to our database, Giang V. Trinh authored at least 19 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Static Analysis of Logic Programs via Boolean Networks.

Van-Giang Trinh, Belaid Benhamou

CoRR, 2024

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.

Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé

CoRR, 2024

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.

Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells.

Tarek Khaled, Belaid Benhamou, Van-Giang Trinh

Ann. Math. Artif. Intell., October, 2023

Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman

Theor. Comput. Sci., September, 2023

Trap spaces of multi-valued networks: definition, computation, and applications.

Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva

Bioinform., 2023

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean Networks.

Trinh Van Giang, Kunihiko Hiraishi

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks.

Trinh Van Giang, Tatsuya Akutsu, Kunihiko Hiraishi

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.

Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 2022

Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces.

Van-Giang Trinh, Kunihiko Hiraishi, Belaid Benhamou

Proceedings of the BCB '22: 13th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, Northbrook, Illinois, USA, August 7, 2022

2021

An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks.

Trinh Van Giang, Kunihiko Hiraishi

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2021

2020

A Study on Attractors of Generalized Asynchronous Random Boolean Networks.

Trinh Van Giang, Kunihiko Hiraishi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

An efficient method for approximating attractors in large-scale asynchronous Boolean models.

Trinh Van Giang, Kunihiko Hiraishi

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019

Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks.

Trinh Van Giang, Kunihiko Hiraishi

Proceedings of the 12th Asian Control Conference, 2019

2017

Probabilistic modelling for congestion detection on wireless sensor networks.

Khanh Le, Giang V. Trinh, Thang H. Bui, Tho Quan

Proceedings of the 4th International Conference on Control, 2017

2016

Fast-and-Fit: An Intelligent Auto-Pricing System for Airlines Travel Agencies.

Trinh Van Giang, Nguyen Duc Khoan, Nguyen Duy Khuong, Vu Phu Thuc, Quan Thanh Tho

Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

2015

Reusing Symbolic Observation Graph for Efficient Model Checking.

Bao-Trung Pham-Duy, Trinh Van Giang, Le Dinh Thuan, Quan Thanh Tho

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

2014

Assisting Students in Finding Bugs and their Locations in Programming Solutions.

Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan, Hung Q. Ngo

Int. J. Qual. Assur. Eng. Technol. Educ., 2014