Ahmad Salim Al-Sibahi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICLR | Ancestral protein sequence reconstruction using a tree-structured Ornstein-Uhlenbeck variational autoencoder. | Lys Sanz Moreta, Ola Rnning, Ahmad Salim Al-Sibahi, Jotun Hein, Douglas L. Theobald, Thomas Hamelryck |
| 2021 | ICML | Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model. | Christian B. Thygesen, Christian Skjdt Steenmans, Ahmad Salim Al-Sibahi, Lys Sanz Moreta, Anders Bundgrd Srensen, Thomas Hamelryck |
| 2020 | BIBE | Bayesian protein superposition using Hamiltonian Monte Carlo. | Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Thomas Hamelryck |
| 2019 | CIBCB | A Probabilistic Programming Approach to Protein Structure Superposition. | Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Douglas L. Theobald, William Bullock, Basile Nicolas Rommes, Andreas Manoukian, Thomas Hamelryck |
| 2018 | GPCE | Verification of high-level transformations with inductive refinement types. | Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2016 | SLE | Symbolic execution of high-level transformations. | Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2015 | SPLC | Family-based model checking using off-the-shelf model checkers: extended abstract. | Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski |