| Reducing boolean networks with backward Boolean equivalence G Argyris, A Lluch Lafuente, M Tribastone, M Tschaikowski, A Vandin International Conference on Computational Methods in Systems Biology, 1-18, 2021 | 5 | 2021 |
| An extension of ERODE to reduce boolean networks by backward boolean equivalence G Argyris, AL Lafuente, M Tribastone, M Tschaikowski, A Vandin International Conference on Computational Methods in Systems Biology, 294-301, 2022 | 2 | 2022 |
| Minimization of Dynamical Systems over Monoids G Argyris, AL Lafuente, AL Robayo, M Tribastone, M Tschaikowski, ... 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | | 2023 |
