Amira Zaki

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 3

Top Topics

Correlation Matrix

Constraint Handling Rules

Multiresolution

Digital Libraries

Top Venues

Environ. Model. Softw.

ICLP (Technical Communications)

Publications

Amira Zaki, Ling Chang, Irene Manzella, Mark van der Meijde, Serkan Girgin, Hakan Tanyas, Islam Fadel
Automated Python workflow for generating Sentinel-1 PSI and SBAS interferometric stacks using SNAP on Geospatial Computing Platform. Environ. Model. Softw. 178 (2024)
Amira Zaki, Slim Abdennadher, Thom W. Frühwirth
Combining Forward and Backward Propagation. FroCos (2015)
Ahmed Elsawy, Amira Zaki, Slim Abdennadher
CHR Exhaustive Execution - Revisited. ICLP (Technical Communications) (2015)
Ahmed Elsawy, Amira Zaki, Slim Abdennadher
Exhaustive Execution of CHR Through Source-to-Source Transformation. LOPSTR (2014)
Amira Zaki, Thom W. Frühwirth, Slim Abdennadher
Towards Inverse Execution of Constraint Handling Rules. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)