Shir Aharon

According to our database1, Shir Aharon authored at least 4 papers between 2008 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Reflexive transitive invariant relations: A basis for computing loop functions.
J. Symb. Comput., 2010

2009
Mathematics for reasoning about loop functions.
Sci. Comput. Program., 2009

2008
Harnessing a Refinement Theory to Compute Loop Functions.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

An Algorithm for Computing Loop Functions.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008


  Loading...