Shir Aharon

	2010
4		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): 1114-1143 (2010)
	2009
3		Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni: Harnessing a Refinement Theory to Compute Loop Functions. Electr. Notes Theor. Comput. Sci. 243: 139-155 (2009)
2		Ali Mili, Shir Aharon, Chaitanya Nadkarni: Mathematics for reasoning about loop functions. Sci. Comput. Program. 74(11-12): 989-1020 (2009)
	2008
1		Ali Mili, Shir Aharon, Chaitanya Nadkarni: An Algorithm for Computing Loop Functions. SEKE 2008: 448-453

Coauthor Index

1	Rahma Ben Ayed	[3]
2	Lamia Labed Jilani	[4]
3	Asma Louhichi	[4]
4	Ali Mili	[1] [2] [3] [4]
5	Olfa Mraihi	[4]
6	Chaitanya Nadkarni	[1] [2] [3] [4]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page