Amira Zaki

According to our database1, Amira Zaki authored at least 4 papers between 2013 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
CHR Exhaustive Execution - Revisited.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Combining Forward and Backward Propagation.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014
Exhaustive Execution of CHR Through Source-to-Source Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013
Towards Inverse Execution of Constraint Handling Rules.
Theory Pract. Log. Program., 2013


  Loading...