Ghosh, Ritwika
12  results:
Search for persons X
?
1

Studies on Electroencephalogram for Upper Limb Rehabilitati..:

, In: Practice, Progress, and Proficiency in Sustainability; Sustainable Science and Intelligent Technologies for Societal Development,
Ghosh, Ritwika ; Ghosh, Ahona ; Saha, Sriparna - p. 393-414 , 2024
 
?
2

Koord: a language for programming and verifying distributed..:

Ghosh, Ritwika ; Hsieh, Chiao ; Misailovic, Sasa.
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-30 , 2020
 
?
3

Koord: a language for programming and verifying distributed..:

Ghosh, Ritwika ; Hsieh, Chiao ; Misailovic, Sasa.
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-30 , 2020
 
?
4

CyPhyHouse: A programming, simulation, and deployment toolc..:

, In: 2020 IEEE International Conference on Robotics and Automation (ICRA),
Ghosh, Ritwika ; Jansch-Porto, Joao P. ; Hsieh, Chiao... - p. 6654-6660 , 2020
 
?
5

Language Semantics Driven Design and Formal Analysis for Di..:

, In: Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems,
 
?
7

A Strategy for Automatic Verification of Stabilization of D..:

Ghosh, Ritwika ; Mitra, Sayan
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-19195-9_3.  , 2015
 
?
8

A Strategy for Automatic Verification of Stabilization of D..:

Ghosh, Ritwika ; Mitra, Sayan
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-19195-9_3.  , 2015
 
?
 
?
11

Outcome of fixation of distal humerus fracture via paratric..:

Sourav Ghosh ; Anindya Maiti ; Ananda Mandal..
http://www.jodt.org/article.asp?issn=2665-9352;year=2022;volume=5;issue=2;spage=95;epage=99;aulast=Ghosh.  , 2022
 
?
12

Mild acute pancreatitis with vildagliptin use:

Ravikant Saraogi ; Ritwika Mallik ; Sujoy Ghosh
http://www.ijem.in/article.asp?issn=2230-8210;year=2012;volume=16;issue=8;spage=480;epage=482;aulast=Saraogi.  , 2012
 
1-12