Vrunda Dave
Vrunda Dave
Bestätigte E-Mail-Adresse bei cse.iitb.ac.in - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Regular transducer expressions for regular transformations
V Dave, P Gastin, SN Krishna
Information and Computation, 104655, 2020
202020
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
32020
Deciding the Computability of Regular Functions over Infinite Words
V Dave, E Filiot, S Krishna, N Lhote
arXiv preprint arXiv:1906.04199, 2019
12019
Regular Model Checking with Regular Relations
V Dave, T Dohmen, SN Krishna, A Trivedi
International Symposium on Fundamentals of Computation Theory, 190-203, 2021
2021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10