Ahmad Salim Al-Sibahi

Ahmad Salim Al-Sibahi

Assistant professor


Publication year:
All
1 - 5 out of 5Page size: 10
  1. 2020
  2. Published

    Bayesian protein superposition using Hamiltonian Monte Carlo

    Sanz Moreta, Lys, Al-Sibahi, Ahmad Salim & Hamelryck, Thomas Wim, Oct 2020, Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020. IEEE, p. 1-11 9288019

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. 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 proceeding › Book chapter › Research › peer-review

  4. 2019
  5. 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 proceeding › Article in proceedings › Research › peer-review

  6. 2018
  7. Published

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

    Al-Sibahi, Ahmad Salim, Hamelryck, Thomas Wim & Henglein, Fritz, 2018.

    Research output: Contribution to conference › Poster › Research

  8. 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 proceeding › Article in proceedings › Research › peer-review

ID: 236753475