Adwait Amit Godbole

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Microsoft Sql Server

Top Venues

Log. Methods Comput. Sci.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. TACAS (1) (2023)
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
Controlling a population. Log. Methods Comput. Sci. 15 (3) (2019)
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
Controlling a population. CoRR (2018)