DOI,IST REx ID,Research Group,Title of publication
10.1093/bioinformatics/btad158,12876,ToHe,Boolean network sketches: A unifying framework for logical model inference
10.1093/bioinformatics/btad262,13263,ToHe,"Trap spaces of multi-valued networks: Definition, computation, and applications"
10.1007/978-3-031-42697-1_2,14411,ToHe,"Phenotype control of partially specified boolean networks"
10.34727/2023/isbn.978-3-85448-060-0_20,14718,ToHe,Binary decision diagrams on modern hardware