Borzoo Bonakdarpour

Identifiers

• name variant Borzoo Bonakdarpour 0.60 · backfill

Papers (4)

1. Decentralized Multi-UAV Routing in the Presence of Disturbances cs.DC · 2018 · author #2
2. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties cs.LO · 2018 · author #2
3. Accelerated Runtime Verification of LTL Specifications with Counting Semantics cs.LO · 2014 · author #3
4. Power Redistribution for Optimizing Performance in MPI Clusters cs.DC · 2014 · author #2

Mentions

• 1807.04823 #2 · arxiv_oai · confidence 0.70 Borzoo Bonakdarpour
• 1411.2239 #3 · backfill · confidence 0.70 Borzoo Bonakdarpour
• 1410.6824 #2 · backfill · confidence 0.70 Borzoo Bonakdarpour

Frequent Coauthors

• Ramy Medhat 2 shared papers
• Sebastian Fischmeister 2 shared papers
• Erika Abraham 1 shared papers
• Wei Zhao 1 shared papers
• Yogi Joshi 1 shared papers