Van-Giang Trinh

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Boolean Networks

Top Venues

Ann. Math. Artif. Intell.

Publications

Van-Giang Trinh, Belaid Benhamou
Static Analysis of Logic Programs via Boolean Networks. CoRR (2024)
Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks. CoRR (2024)
Tarek Khaled, Belaid Benhamou, Van-Giang Trinh
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells. Ann. Math. Artif. Intell. 91 (5) (2023)
Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva
Trap spaces of multi-valued networks: definition, computation, and applications. Bioinform. 39 (Supplement-1) (2023)
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding. Theor. Comput. Sci. 971 (2023)
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. CP (2023)
Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding. CMSB (2022)
Van-Giang Trinh, Kunihiko Hiraishi, Belaid Benhamou
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces. BCB (2022)