Seguir
Vrunda Dave
Vrunda Dave
Dirección de correo verificada de cse.iitb.ac.in - Página principal
Título
Citado por
Citado por
Año
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
332018
Synthesis of computable regular functions of infinite words
V Dave, E Filiot, S Krishna, N Lhote
Logical Methods in Computer Science 18, 2022
122022
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: 10th International Conference …, 2016
112016
Fo-definable transformations of infinite strings
V Dave, SN Krishna, A Trivedi
arXiv preprint arXiv:1607.04910, 2016
72016
A perfect class of context-sensitive timed languages
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
Developments in Language Theory: 20th International Conference, DLT 2016 …, 2016
72016
On the separability problem of string constraints
PA Abdulla, MF Atig, V Dave, SN Krishna
arXiv preprint arXiv:2005.09489, 2020
42020
Regular transducer expressions for regular transformations
V Dave, P Gastin, SN Krishna
Information and Computation 282, 104655, 2022
32022
Regular Model Checking with Regular Relations
V Dave, T Dohmen, SN Krishna, A Trivedi
International Symposium on Fundamentals of Computation Theory, 190-203, 2021
22021
Deciding the computability of regular functions over infinite words
V Dave, E Filiot, SN Krishna, N Lhote
CoRR, abs/1906.04199, 106, 2019
22019
Optimal repair for omega-regular properties
V Dave, SN Krishna, V Murali, A Trivedi
International Symposium on Automated Technology for Verification and …, 2022
12022
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
CoRR, 2019
2019
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)
M Thorup, M Sagiv, H Hermanns, A Madry, FV Fomin, T Bultan, S Baruah, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016
2016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13