| Complete results for the 2016 edition of the model checking contest, June 2016 F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ... | 18 | |
| An FVS-based approach to attractor detection in asynchronous random Boolean networks T Van Giang, T Akutsu, K Hiraishi IEEE/ACM Transactions on Computational Biology and Bioinformatics 19 (2 …, 2020 | 13 | 2020 |
| Minimal trap spaces of logical models are maximal siphons of their petri net encoding VG Trinh, B Benhamou, K Hiraishi, S Soliman International Conference on Computational Methods in Systems Biology, 158-176, 2022 | 11 | 2022 |
| Computing attractors of large-scale asynchronous Boolean networks using minimal trap spaces VG Trinh, K Hiraishi, B Benhamou Proceedings of the 13th ACM International conference on bioinformatics …, 2022 | 8 | 2022 |
| An efficient method for approximating attractors in large-scale asynchronous Boolean models T Van Giang, K Hiraishi 2020 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2020 | 5 | 2020 |
| An improved method for finding attractors of large-scale asynchronous Boolean networks T Van Giang, K Hiraishi 2021 IEEE Conference on Computational Intelligence in Bioinformatics and …, 2021 | 4 | 2021 |
| A study on attractors of generalized asynchronous random Boolean networks VG Trinh, K Hiraishi IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and …, 2020 | 4 | 2020 |
| Probabilistic modelling for congestion detection on wireless sensor networks K Le, G Trinh, T Bui, T Quan 2017 4th International Conference on Control, Decision and Information …, 2017 | 4 | 2017 |
| Modelling and congestion detection of wireless sensor networks: A concurrent-based approach using coloured petri nets G Trinh, K Le, T Bang, Q Tram, T Bui, T Quan International Journal of Applied Information Systems 11 (7), 1-9, 2016 | 4 | 2016 |
| Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding VG Trinh, B Benhamou, S Soliman Theoretical Computer Science 971, 114073, 2023 | 3 | 2023 |
| On attractor detection and optimal control of deterministic generalized asynchronous random Boolean networks T Van Giang, K Hiraishi IEEE/ACM Transactions on Computational Biology and Bioinformatics 19 (3 …, 2020 | 3 | 2020 |
| Algorithms for finding attractors of generalized asynchronous random Boolean networks T Van Giang, K Hiraishi 2019 12th Asian Control Conference (ASCC), 67-72, 2019 | 3 | 2019 |
| Assisting students in finding bugs and their locations in programming solutions LH Pham, GV Trinh, MH Dinh, NP Mai, TT Quan, HQ Ngo International Journal of Quality Assurance in Engineering and Technology …, 2014 | 3 | 2014 |
| Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells T Khaled, B Benhamou, VG Trinh Annals of Mathematics and Artificial Intelligence 91 (5), 713-750, 2023 | 2 | 2023 |
| Trap spaces of multi-valued networks: definition, computation, and applications VG Trinh, B Benhamou, T Henzinger, S Pastva Bioinformatics 39 (Supplement_1), i513-i522, 2023 | 2 | 2023 |
| Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming G Trinh, B Benhamou, S Pastva, S Soliman Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10714 …, 2024 | | 2024 |
| mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks VG Trinh, B Benhamou, L Paulevé arXiv preprint arXiv:2403.06255, 2024 | | 2024 |
| Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming VG Trinh, B Benhamou, S Soliman 29th International Conference on Principles and Practice of Constraint …, 2023 | | 2023 |
| ブーリアンネットワークのアトラクタ検出と最適制御について VG Trinh | | 2021 |
| Fast-and-Fit: An Intelligent Auto-Pricing System for Airlines Travel Agencies T Van Giang, ND Khoan, ND Khuong, VP Thuc, QT Tho Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016: Volume …, 2018 | | 2018 |
Sylvain SolimanInria Saclay, Lifeware teamVerified email at inria.fr
