Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Adwait Godbole
Researcher
PaperSafety Verification of Parameterized Systems under Release-AcquireAuthorship / preprint / 2022PaperAutomated Conversion of Axiomatic to Operational Models: Theory and PracticeAuthorship / preprint / 2022PaperContainment of Simple Regular Path QueriesAuthorship / preprint / 2020PaperProbabilistic Total Store OrderingAuthorship / preprint / 2022PaperUCLID5: Multi-Modal Formal Modeling, Verification, and SynthesisAuthorship / preprint / 2022PaperAn India-specific Compartmental Model for Covid-19: Projections and Intervention Strategies by Incorporating Geographical, Infrastructural and Response HeterogeneityAuthorship / preprint / 2020