Van-Giang Trinh

17 papers A 2B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Detecting Misleading Information with LLMs and Explainable ASP.
ICAART (3)
Quang-Anh Nguyen, Thu-Trang Pham, Thi-Hai-Yen Vuong, Van-Giang Trinh, Ha-Thanh Nguyen
2025 — conf
Graphical Analysis of Abstract Argumentation Frameworks via Boolean Networks.
ICAART (2)
Van-Giang Trinh, Belaid Benhamou, Vincent Risch
2025 J jnl
Mapping the attractor landscape of Boolean networks with biobalm.
Bioinform.
Van-Giang Trinh, Kyu Hyong Park, Samuel Pastva, Jordan C. Rozum
2025 J jnl
On the Boolean Network Theory of Datalog
CoRR
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages
2025 B conf
On the Trap Space Semantics of Normal Logic Programs.
ICLP
Van-Giang Trinh, Sylvain Soliman, François Fages, Belaid Benhamou
2025 J jnl
On the number of asynchronous attractors in AND-NOT Boolean networks.
CoRR
Van-Giang Trinh, Samuel Pastva, Jordan C. Rozum, Kyu Hyong Park, Réka Albert
2025 A conf
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.
CP
Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2025 J jnl
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.
CoRR
Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2024 B conf
Graphical Conditions for the Existence, Unicity and Number of Regular Models.
ICLP
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages
2024 J jnl
Static Analysis of Logic Programs via Boolean Networks.
CoRR
Van-Giang Trinh, Belaid Benhamou
2024 J jnl
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.
CoRR
Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé
2023 A conf
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.
CP
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
2023 J jnl
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.
Theor. Comput. Sci.
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
2023 J jnl
Trap spaces of multi-valued networks: definition, computation, and applications.
Bioinform.
Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva
2023 J jnl
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells.
Ann. Math. Artif. Intell.
Tarek Khaled, Belaid Benhamou, Van-Giang Trinh
2022 — conf
Computing attractors of large-scale asynchronous boolean networks using minimal trap spaces.
BCB
Van-Giang Trinh, Kunihiko Hiraishi, Belaid Benhamou
2022 — conf
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
CMSB
Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman