Login / Signup
Mahmoud Mohsen
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 3
Top Topics
Formal Specification
Data Partitioning
Skyline Computation
Software Implementation
Top Venues
DaMoN
aiDM@SIGMOD
FMICS-AVoCS
</>
Publications
</>
Mahmoud Mohsen
,
Norman May
,
Christian Färber
,
David Broneske
FPGA-Accelerated compression of integer vectors.
DaMoN
(2020)
Gabriel Campero Durand
,
Marcus Pinnecke
,
Rufat Piriyev
,
Mahmoud Mohsen
,
David Broneske
,
Gunter Saake
,
Maya S. Sekeran
,
Fabián Rodriguez
,
Laxmi Balami
GridFormation: Towards Self-Driven Online Data Partitioning using Reinforcement Learning.
aiDM@SIGMOD
(2018)
Mahmoud Mohsen
,
Bart Jacobs
One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.
FMICS-AVoCS
(2016)