Saber Mirzaei

Identifiers

• name variant Saber Mirzaei 0.60 · backfill

Papers (7)

1. Using Alloy to Formally Model and Reason About an OpenFlow Network Switch cs.NI · 2016 · author #1
2. Shortest path and maximum flow problems in planar flow networks with additive gains and losses cs.CC · 2016 · author #1
3. Efficient Reassembling of Graphs, Part 2: The Balanced Case cs.CC · 2016 · author #1
4. Minimum Average Delay of Routing Trees cs.CC · 2016 · author #1
5. Linear Arrangement of Halin Graphs cs.DM · 2015 · author #1
6. Efficient Reassembling of Graphs, Part 1: The Linear Case cs.DM · 2015 · author #2
7. An Alloy Verification Model for Consensus-Based Auction Protocols cs.SE · 2014 · author #1

Mentions

• 1509.08145 #1 · backfill · confidence 0.70 Saber Mirzaei
• 1509.06434 #2 · backfill · confidence 0.70 Saber Mirzaei
• 1407.5074 #1 · backfill · confidence 0.70 Saber Mirzaei

Frequent Coauthors

• Assaf Kfoury 5 shared papers
• Azer Bestavros 1 shared papers
• Flavio Esposito 1 shared papers
• Richard Skowyra 1 shared papers
• Sanaz Bahargam 1 shared papers