M.Sc. Eng. Amira Zaki

Research Interests

  • Constraint Programming
  • Constraint Reasoning
  • Bioinformatics
  • Semantic Web
  • Rule-based Programming
  • Inverse Computation

Courses

  • Exercises for Constraint Programming (WiSe)
  • Proseminar on Logic-based Programming Languages (WiSe)
  • Seminar on Rule-based Programming (SoSe)
  • Exercises for Rule-based Programming and Constraint Programming (SoSe)

Publications

  • Amira Zaki, Thom Fruehwirth and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules, 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey, August 2013.
  • Amira Zaki, Matthias Rau, and Thom Fruehwirth. CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 53-60, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [PDF]
  • Amr Osman, Amira Zaki, and Slim Abdennadher. CHR Meets MapReduce. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 25-38, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641.
    [PDF]
  • Amira Zaki, Thom Fruehwirth and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012
  • Alia El Bolock, Amira Zaki and Thom Fruehwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012
  • Amira Zaki. Re-engineering of a Grid Aware Medical Database System Based on a Metamodel, Master thesis, Johannes Kepler University, Linz, Austria, 2009
  • Amira Zaki. Identifying Key Regulators in Gene Regulatory Networks, Bachelor thesis, German University in Cairo, Egypt, 2007

Kontakt

  • Institut für Softwaretechnik und Programmiersprachen
  • Universität Ulm
  • D-89069 Ulm
  •  
  • Raum: o27-4104
  • Telefon: +49 (0)731/50-24171
  • Telefax: +49 (0)731/50-24162
  • E-Mail: amira.zaki (at) uni-ulm.de