Sayan Mitra

Sayan Mitra publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Sayan Mitra sits on this spectrum.

Sayan Mitra D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Sayan Mitra sits on this spectrum.

Best Publications

• Differentially private iterative synchronous consensus

  Zhenqi Huang;Sayan Mitra;Geir Dullerud

  293
  Citations

• Differentially Private Distributed Optimization

  Zhenqi Huang;Sayan Mitra;Nitin Vaidya

  270
  Citations

• Differential privacy in control and network systems

  Jorge Cortes;Geir E. Dullerud;Shuo Han;Jerome Le Ny

  241
  Citations

• Path vector face routing: geographic routing with local face information

  B. Leong;S. Mitra;B. Liskov

  237
  Citations

• C2E2: A Verification Tool for Stateflow Models

  Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan;Matthew Potok

  202
  Citations

• DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems

  Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  121
  Citations

• Verification of annotated models from executions

  Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan

  111
  Citations

• Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs

  Yu Wang;Zhenqi Huang;Sayan Mitra;Geir E. Dullerud

  104
  Citations

• Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

  Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  101
  Citations

• Sandboxing Controllers for Cyber-Physical Systems

  Stanley Bak;Karthik Manamcheri;Sayan Mitra;Marco Caccamo

  90
  Citations

• Multi-Agent Motion Planning From Signal Temporal Logic Specifications

  Unknown

  88
  Citations

• A verification framework for hybrid systems

  Nancy A. Lynch;Sayan Mitra

  87
  Citations

• Entropy and Minimal Bit Rates for State Estimation and Model Detection

  Daniel Liberzon;Sayan Mitra

  82
  Citations

• Verification of annotated models from executions

  Unknown

  72
  Citations

• Verifying Cyber-Physical Interactions in Safety-Critical Systems

  S. Mitra;T. Wongpiromsarn;R. M. Murray

  71
  Citations

• Bounded Verification with On-the-Fly Discrepancy Computation

  Unknown

  71
  Citations

• Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems

  Yu Wang;Zhenqi Huang;Sayan Mitra;Geir E. Dullerud

  62
  Citations

• A step towards verification and synthesis from simulink/stateflow models

  Karthik Manamcheri;Sayan Mitra;Stanley Bak;Marco Caccamo

  55
  Citations

• Locally optimal reach set over-approximation for nonlinear systems

  Unknown

  49
  Citations

• On the cost of differential privacy in distributed control systems

  Zhenqi Huang;Yu Wang;Sayan Mitra;Geir E. Dullerud

  45
  Citations