Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudine Piau-Toffolon
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Guangbin Du
Diego Masotti
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
VRUNDA DAVE
Author Info
Open Visualization
Name
Affiliation
Papers
VRUNDA DAVE
Indian Institute of Technology Bombay
8
Collaborators
Citations
PageRank
11
6
2.83
Referers
Referees
References
11
46
31
Publications (8 rows)
Collaborators (11 rows)
Referers (11 rows)
Referees (46 rows)
Title
Citations
PageRank
Year
Regular transducer expressions for regular transformations
0
0.34
2022
Regular Model Checking with Regular Relations
0
0.34
2021
Synthesis of Computable Regular Functions of Infinite Words.
0
0.34
2020
Deciding the Computability of Regular Functions over Infinite Words.
0
0.34
2019
Regular Transducer Expressions for Regular Transformations.
1
0.36
2018
A Logical Characterization for Dense-Time Visibly Pushdown Automata.
2
0.38
2016
A Perfect Class of Context-Sensitive Timed Languages.
2
0.38
2016
FO-definable transformations of infinite strings.
1
0.36
2016
1
