Ramy Medhat

Identifiers

• name variant Ramy Medhat 0.60 · backfill

Papers (2)

1. Accelerated Runtime Verification of LTL Specifications with Counting Semantics cs.LO · 2014 · author #1
2. Power Redistribution for Optimizing Performance in MPI Clusters cs.DC · 2014 · author #1

Mentions

• 1411.2239 #1 · backfill · confidence 0.70 Ramy Medhat
• 1410.6824 #1 · backfill · confidence 0.70 Ramy Medhat

Frequent Coauthors

• Borzoo Bonakdarpour 2 shared papers
• Sebastian Fischmeister 2 shared papers
• Yogi Joshi 1 shared papers