Van-Giang Trinh

17 papers A 2B 2Journal 9Unranked 4

Year	Rank	Type	Title / 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