Trinh, Giang, et al. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.”10.1609/aaai.v38i9.28943__Proceedings of the 38th AAAI Conference on Artificial Intelligence, vol. 38, no. 9, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–22, doi:10.1609/aaai.v38i9.28943.

Benes, Nikola, et al. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.”10.1093/bioinformatics/btad158__Bioinformatics, vol. 39, no. 4, btad158, Oxford Academic, 2023, doi:10.1093/bioinformatics/btad158.

Trinh, Van Giang, et al. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.”10.1093/bioinformatics/btad262__Bioinformatics, vol. 39, no. Supplement_1, Oxford Academic, 2023, pp. i513–22, doi:10.1093/bioinformatics/btad262.

Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.”10.34727/2023/isbn.978-3-85448-060-0_20__Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20.

Benes, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.”10.1007/978-3-031-42697-1_2__21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.