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
8 links
B. Srivathsan
Researcher
PaperLazy abstractions for timed automataAuthorship / preprint / 2013PaperDefining relations on graphs: how hard is it in the presence of node partitions?Authorship / preprint / 2015PaperNesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation ComplexityAuthorship / preprint / 2016PaperBetter abstractions for timed automataAuthorship / preprint / 2016PaperA Bridge between Polynomial Optimization and Games with Imperfect RecallAuthorship / preprint / 2020PaperUsing non-convex approximations for efficient analysis of timed automataAuthorship / preprint / 2011PaperFast detection of cycles in timed automataAuthorship / preprint / 2014PaperZone-based verification of timed automata: extrapolations, simulations and what next?Authorship / preprint / 2022