World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
33
Citations
4320
World Ranking
12735
National Ranking
5135

Best Publications

  • Differentially private iterative synchronous consensus

    Zhenqi Huang;Sayan Mitra;Geir Dullerud

  • Differentially Private Distributed Optimization

    Zhenqi Huang;Sayan Mitra;Nitin Vaidya

  • Differential privacy in control and network systems

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

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

    B. Leong;S. Mitra;B. Liskov

  • C2E2: A Verification Tool for Stateflow Models

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

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

    Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  • Verification of annotated models from executions

    Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan

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

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

  • Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

    Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  • Sandboxing Controllers for Cyber-Physical Systems

    Stanley Bak;Karthik Manamcheri;Sayan Mitra;Marco Caccamo

  • Multi-Agent Motion Planning From Signal Temporal Logic Specifications

    Unknown

  • A verification framework for hybrid systems

    Nancy A. Lynch;Sayan Mitra

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

    Daniel Liberzon;Sayan Mitra

  • Verification of annotated models from executions

    Unknown

  • Verifying Cyber-Physical Interactions in Safety-Critical Systems

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

  • Bounded Verification with On-the-Fly Discrepancy Computation

    Unknown

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

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

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

    Karthik Manamcheri;Sayan Mitra;Stanley Bak;Marco Caccamo

  • Locally optimal reach set over-approximation for nonlinear systems

    Unknown

  • On the cost of differential privacy in distributed control systems

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

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Recently Published Articles