One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast. - Mahmoud Mohsen; Bart Jacobs 002 (FMICS-AVoCS, 2016)

GridFormation: Towards Self-Driven Online Data Partitioning using Reinforcement Learning. - Gabriel Campero Durand; Marcus Pinnecke; Rufat Piriyev; Mahmoud Mohsen; David Broneske; Gunter Saake; Maya S. Sekeran; Fabián Rodriguez; Laxmi Balami (aiDM@SIGMOD, 2018)

FPGA-Accelerated compression of integer vectors. - Mahmoud Mohsen; Norman May; Christian Färber; David Broneske (DaMoN, 2020)