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 | 33 | 2018 |
Synthesis of computable regular functions of infinite words V Dave, E Filiot, S Krishna, N Lhote Logical Methods in Computer Science 18, 2022 | 12 | 2022 |
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 | 11 | 2016 |
Fo-definable transformations of infinite strings V Dave, SN Krishna, A Trivedi arXiv preprint arXiv:1607.04910, 2016 | 7 | 2016 |
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 | 7 | 2016 |
On the separability problem of string constraints PA Abdulla, MF Atig, V Dave, SN Krishna arXiv preprint arXiv:2005.09489, 2020 | 4 | 2020 |
Regular transducer expressions for regular transformations V Dave, P Gastin, SN Krishna Information and Computation 282, 104655, 2022 | 3 | 2022 |
Regular Model Checking with Regular Relations V Dave, T Dohmen, SN Krishna, A Trivedi International Symposium on Fundamentals of Computation Theory, 190-203, 2021 | 2 | 2021 |
Deciding the computability of regular functions over infinite words V Dave, E Filiot, SN Krishna, N Lhote CoRR, abs/1906.04199, 106, 2019 | 2 | 2019 |
Optimal repair for omega-regular properties V Dave, SN Krishna, V Murali, A Trivedi International Symposium on Automated Technology for Verification and …, 2022 | 1 | 2022 |
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 |