An Algorithm for Computing Loop Functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni (SEKE, 2008)

Harnessing a Refinement Theory to Compute Loop Functions. - Ali Mili 001; Rahma Ben Ayed; Shir Aharon; Chaitanya Nadkarni (TTSS, 2008)

Mathematics for reasoning about loop functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni (Sci. Comput. Program., 2009)

Reflexive transitive invariant relations: A basis for computing loop functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni; Lamia Labed Jilani; Asma Louhichi; Olfa Mraihi (J. Symb. Comput., 2010)