Ahmad Salim Al-Sibahi
Assistant professor
Programming Languages and Theory of Computing
Universitetsparken 1, 2100 København Ø
1 - 5 out of 5Page size: 10
- 2020
- 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 9288019Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 2019
- 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. 8791469Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2018
- Published
- 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-160Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 236753475
Most downloads
-
19
downloads
Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences
Research output: Contribution to conference › Poster › Research
Published