| Efficient compilation of algebraic effect handlers G Karachalias, F Koprivec, M Pretnar, T Schrijvers Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 23 | 2021 |
| Explicit effect subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 22 | 2018 |
| Efficient algebraic effect handlers for Prolog AH Saleh, T Schrijvers Theory and Practice of Logic Programming 16 (5-6), 884-898, 2016 | 10 | 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 | 9 | 2019 |
| Explicit effect subtyping G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers Journal of Functional Programming 30, e15, 2020 | 7 | 2020 |
| Efficient Algebraic Effect Handlers AH Saleh KU Leuven, 2019 | 3 | 2019 |
| 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 PQDT-Global, 2014 | 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 |
| CONDEnSe: Contract Based Design Synthesis RD Santos, CA Hany Saleh, A Schrijvers, T Nicolai | 1 | 2019 |
| Modeling dependent events with CHRiSM for probabilistic abduction H Christiansen, AH Saleh Eighth International Workshop, 48, 2011 | 1 | 2011 |
| Computer-implemented method and device for resolving closed loops in automatic fault tree analysis of a multi-component system M Zeller, F Montrone, J Menu, AH Saleh US Patent App. 18/272,780, 2024 | | 2024 |
| Generative Engineering for Safety-Critical System Design AH Saleh, J Menu, J Vanhuyse, M Nicolai Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 …, 2020 | | 2020 |
| RMAS ArtSapience RoboCup Soccer Simulation 2D Team Description S Abdennadher, A Rashed, A Saleh, C Sabty, C Antoniou, M Abbas, ... | | |