Vrunda Dave
Title
Cited by
Cited by
Year
Regular transducer expressions for regular transformations
V Dave, P Gastin, SN Krishna
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
162018
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
102016
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
72016
Fo-definable transformations of infinite strings
V Dave, SN Krishna, A Trivedi
arXiv preprint arXiv:1607.04910, 2016
52016
On the Separability Problem of String Constraints
P Aziz Abdulla, M Faouzi Atig, V Dave, S Narayanan Krishna
arXiv, arXiv: 2005.09489, 2020
2020
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
2020
MSO-Definable Regular Model Checking
V Dave, T Dohmen, SN Krishna, A Trivedi
arXiv preprint arXiv:1910.09072, 2019
2019
Deciding the Computability of Regular Functions over Infinite Words
V Dave, E Filiot, S Krishna, N Lhote
arXiv preprint arXiv:1906.04199, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–8