Ahmad Salim Al-Sibahi

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 14

Top Topics

Protein Structure

Top Venues

ACM Trans. Softw. Eng. Methodol.

Int. J. Softw. Tools Technol. Transf.

Publications

Lys Sanz Moreta, Ola Rønning, Ahmad Salim Al-Sibahi, Jotun Hein, Douglas L. Theobald, Thomas Hamelryck
Ancestral protein sequence reconstruction using a tree-structured Ornstein-Uhlenbeck variational autoencoder. ICLR (2022)
Christian B. Thygesen, Christian Skjødt Steenmans, Ahmad Salim Al-Sibahi, Lys Sanz Moreta, Anders Bundgård Sørensen, Thomas Hamelryck
Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model. ICML (2021)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of Program Transformations with Inductive Refinement Types. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
Galois Connections for Recursive Types. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Thomas Hamelryck
Bayesian protein superposition using Hamiltonian Monte Carlo. BIBE (2020)
Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Douglas L. Theobald, William Bullock, Basile Nicolas Rommes, Andreas Manoukian, Thomas Hamelryck
A Probabilistic Programming Approach to Protein Structure Superposition. CIBCB (2019)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of High-Level Transformations with Inductive Refinement Types. CoRR (2018)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of high-level transformations with inductive refinement types. GPCE (2018)
Ahmad Salim Al-Sibahi
The Core Semantics of Rascal. CoRR (2017)
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Efficient family-based model checking via variability abstractions. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
Symbolic execution of high-level transformations. SLE (2016)
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Family-based model checking using off-the-shelf model checkers: extended abstract. SPLC (2015)
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
Experiences from Designing and Validating a Software Modernization Transformation (E). ASE (2015)
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Family-Based Model Checking Without a Family-Based Model Checker. SPIN (2015)