Towards Inverse Execution of Constraint Handling Rules. - Amira Zaki; Thom W. Frühwirth; Slim Abdennadher (Theory Pract. Log. Program., 2013)

Exhaustive Execution of CHR Through Source-to-Source Transformation. - Ahmed Elsawy; Amira Zaki; Slim Abdennadher (LOPSTR, 2014)

Combining Forward and Backward Propagation. - Amira Zaki; Slim Abdennadher; Thom W. Frühwirth (FroCos, 2015)

CHR Exhaustive Execution - Revisited. - Ahmed Elsawy; Amira Zaki; Slim Abdennadher (ICLP (Technical Communications), 2015)

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)