Amira Zaki

According to our database, Amira Zaki authored at least 5 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automated Python workflow for generating Sentinel-1 PSI and SBAS interferometric stacks using SNAP on Geospatial Computing Platform.

Amira Zaki, Ling Chang, Irene Manzella, Mark van der Meijde, Serkan Girgin, Hakan Tanyas, Islam Fadel

Environ. Model. Softw., 2024

2015

CHR Exhaustive Execution - Revisited.

Ahmed Elsawy, Amira Zaki, Slim Abdennadher

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.

Amira Zaki, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Exhaustive Execution of CHR Through Source-to-Source Transformation.

Ahmed Elsawy, Amira Zaki, Slim Abdennadher

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013

Towards Inverse Execution of Constraint Handling Rules.

Amira Zaki, Thom W. Frühwirth, Slim Abdennadher

Theory Pract. Log. Program., 2013