Vrunda Dave

Vrunda Dave

Indian Institute of Technology Bombay - Mumbai / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 5644924
भारतीय प्रौद्योगिकी संस्थान, मुंबई
person_outline Vrunda Dave's MOST POPULAR ARTICLES
1-) Regular transducer expressions for regular transformationsV Dave, P Gastin, SN KrishnaProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018312018
2-) Synthesis of computable regular functions of infinite wordsV Dave, E Filiot, S Krishna, N LhoteLogical Methods in Computer Science 18, 2022112022
3-) A logical characterization for dense-time visibly pushdown automataD Bhave, V Dave, SN Krishna, R Phawade, A TrivediLanguage and Automata Theory and Applications: 10th International Conference …, 2016112016
4-) Fo-definable transformations of infinite stringsV Dave, SN Krishna, A TrivediarXiv preprint arXiv:1607.04910, 201672016
5-) A perfect class of context-sensitive timed languagesD Bhave, V Dave, SN Krishna, R Phawade, A TrivediDevelopments in Language Theory: 20th International Conference, DLT 2016 …, 201672016