Ritwika Ghosh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICRA | CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. | Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud |
| 2018 | PODC | Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. | Ritwika Ghosh, Sasa Misailovic, Sayan Mitra |
| 2015 | FORTE | A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. | Ritwika Ghosh, Sayan Mitra |