Vrunda Dave
Title
Cited by
Cited by
Year
Regular transducer expressions for regular transformations
V Dave, P Gastin, SN Krishna
Information and Computation, 104655, 2020
192020
A logical characterization for dense-time visibly pushdown automata
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
Language and Automata Theory and Applications, 89-101, 2016
132016
A perfect class of context-sensitive timed languages
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
International Conference on Developments in Language Theory, 38-50, 2016
82016
Fo-definable transformations of infinite strings
V Dave, SN Krishna, A Trivedi
arXiv preprint arXiv:1607.04910, 2016
62016
Synthesis of computable regular functions of infinite words
V Dave, E Filiot, SN Krishna, N Lhote
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
22020
Deciding the Computability of Regular Functions over Infinite Words
V Dave, E Filiot, S Krishna, N Lhote
arXiv preprint arXiv:1906.04199, 2019
12019
On the Separability Problem of String Constraints
PA Abdulla, MF Atig, V Dave, SN Krishna
arXiv preprint arXiv:2005.09489, 2020
2020
On the Separability Problem of String Constraints
P Aziz Abdulla, M Faouzi Atig, V Dave, S Narayanan Krishna
arXiv e-prints, arXiv: 2005.09489, 2020
2020
MSO-Definable Regular Model Checking
V Dave, T Dohmen, SN Krishna, A Trivedi
arXiv preprint arXiv:1910.09072, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–9