Reducing Boolean Networks with Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2021)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2022)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2022)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Alexander Leguizamon-Robayo; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2023)

Diagnosis of Small-world Bias in Random Graphs. - Georgios Argyris (CoRR, 2023)

Reducing Boolean networks with backward equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (BMC Bioinform., 2023)