| Explicit effect subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 20 | 2018 |
| Efficient algebraic effect handlers for Prolog AH Saleh, T Schrijvers Theory and Practice of Logic Programming 16 (5-6), 884-898, 2016 | 9 | 2016 |
| CONDEnSe: contract based design synthesis CAR dos Santos, AH Saleh, T Schrijvers, M Nicolai 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 7 | 2019 |
| Explicit effect subtyping G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers Journal of Functional Programming 30, e15, 2020 | 4 | 2020 |
| Transforming Delimited Control: Achieving Faster Effect Handlers. AH Saleh ICLP (Technical Communications) 1433, 2015 | 3 | 2015 |
| Constraint reasoning with local search for continuous optimization AH Saleh | 3 | 2014 |
| Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts CAR Santos, T Schrijvers, AH Saleh, M Nicolai Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 1 | 2021 |
| Efficient Algebraic Effect Handlers AH Saleh KU Leuven, 2019 | 1 | 2019 |
| Modeling dependent events with CHRiSM for probabilistic abduction H Christiansen, AH Saleh Eighth International Workshop, 48, 2011 | 1 | 2011 |
| Explicit Effect Subtyping (Extended Version) AH Saleh, G Karachalias, M Pretnar, T Schrijvers CW Reports, 2018 | | 2018 |
| RMAS ArtSapience RoboCup Soccer Simulation 2D Team Description S Abdennadher, A Rashed, A Saleh, C Sabty, C Antoniou, M Abbas, ... | | |
| CONDEnSe: Contract-Based Design Synthesis CA Santos, AH Saleh, T Schrijvers, M Nicolai | | |
