Mahmoud Mohsen

According to our database, Mahmoud Mohsen authored at least 3 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

FPGA-Accelerated compression of integer vectors.

Mahmoud Mohsen, Norman May, Christian Färber, David Broneske

Proceedings of the 16th International Workshop on Data Management on New Hardware, 2020

2018

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

Proceedings of the First International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, 2018

2016

One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.

Mahmoud Mohsen, Bart Jacobs

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016