| 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 | |
| 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 | 14 | 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 | 14 | 2022 |
| 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 |
| 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 | 7 | 2023 |
| 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 | 6 | 2021 |
| 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 | 5 | 2023 |
| 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 |
| 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 | 5 | 2020 |
| A study on attractors of generalized asynchronous random Boolean networks VG Trinh, K Hiraishi IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and …, 2020 | 5 | 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 |
| 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 |
| 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 |
| Static analysis of logic programs via Boolean networks VG Trinh, B Benhamou arXiv preprint arXiv:2407.09015, 2024 | 1 | 2024 |
| 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 | 1 | 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 | 1 | 2024 |
| Mapping the attractor landscape of Boolean networks VG Trinh, KH Park, S Pastva, JC Rozum bioRxiv, 2024.09. 30.615897, 2024 | 1 | 2024 |
| Graphical conditions for existence, unicity and multiplicity of non-trivial regular models VG Trinh, B Benhamou, S Soliman, F Fages 40th International Conference on Logic Programming (ICLP 2024), 2024 | | 2024 |
Sylvain SolimanInria Saclay, Lifeware team在 inria.fr 的电子邮件经过验证
