Shir Aharon

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi
Reflexive transitive invariant relations: A basis for computing loop functions. J. Symb. Comput. 45 (11) (2010)
Ali Mili, Shir Aharon, Chaitanya Nadkarni
Mathematics for reasoning about loop functions. Sci. Comput. Program. 74 (11-12) (2009)
Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni
Harnessing a Refinement Theory to Compute Loop Functions. Electron. Notes Theor. Comput. Sci. 243 (2009)
Ali Mili, Shir Aharon, Chaitanya Nadkarni
An Algorithm for Computing Loop Functions. SEKE (2008)