Ahmad Salim Al-Sibahi

Ahmad Salim Al-Sibahi

Assistant professor


Publication year:
  1. 2020
  2. Published

    Galois Connections for Recursive Types

    Al-Sibahi, Ahmad Salim, Jensen, Thomas Philip, Møgelberg, R. E. & Wąsowski, A., 2020, sFrom Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer VS, p. 105-131 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  3. 2019
  4. Published

    A Probabilistic Programming Approach to Protein Structure Superposition

    Sanz Moreta, Lys, Al-Sibahi, Ahmad Salim, Theobald, D., Bullock, W., Rommes, B. N., Manoukian, Andreas & Hamelryck, Thomas Wim, 2019, 2019 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2019. Baruzzo, G., Daberdaku, S., Di Camillo, B., Furini, S., Giordano, E. D. & Nicosia, G. (eds.). IEEE, 5 p. 8791469

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. 2018
  6. Published
  7. Published

    Verification of high-level transformations with inductive refinement types

    Al-Sibahi, Ahmad Salim, Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018 . Association for Computing Machinery, p. 147-160

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 236753475