Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vrunda Dave
Map detail
Vrunda Dave4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipVrunda DaveAVrunda DaveResearcherOptimal Repair For Omega-regular PropertiesWOptimal Repair For Omeg...preprint / 2022FO-definable transformations of infinite stringsWFO-definable transforma...preprint / 2016On the Separability Problem of String ConstraintsWOn the Separability Pro...preprint / 2020
Person3 links

Vrunda Dave

Researcher