Giang V. Trinh

Orcid: 0000-0001-6581-998X

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Static Analysis of Logic Programs via Boolean Networks.
CoRR, 2024

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

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.
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.
Ann. Math. Artif. Intell., October, 2023

Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.
Theor. Comput. Sci., September, 2023

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

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.
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.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
Proceedings of the Computational Methods in Systems Biology, 2022

Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces.
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.
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.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

An efficient method for approximating attractors in large-scale asynchronous Boolean models.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019
Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks.
Proceedings of the 12th Asian Control Conference, 2019

2017
Probabilistic modelling for congestion detection on wireless sensor networks.
Proceedings of the 4th International Conference on Control, 2017

2016
Fast-and-Fit: An Intelligent Auto-Pricing System for Airlines Travel Agencies.
Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

2015
Reusing Symbolic Observation Graph for Efficient Model Checking.
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.
Int. J. Qual. Assur. Eng. Technol. Educ., 2014


  Loading...