Vrunda Dave

Available identifiers

zbMath Open dave.vrundaMaRDI QIDQ2064526

List of research outcomes

Publication	Date of Publication	Type
Optimal repair for omega-regular properties	2023-06-02	Paper
Synthesis of computable regular functions of infinite words	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089281	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089310	2022-07-18	Paper
Regular model checking with regular relations	2022-05-20	Paper
Regular transducer expressions for regular transformations	2022-01-06	Paper
Regular transducer expressions for regular transformations	2021-01-20	Paper
FO-definable transformations of infinite strings	2018-04-19	Paper
A perfect class of context-sensitive timed languages	2016-08-30	Paper
A logical characterization for dense-time visibly pushdown automata	2016-04-13	Paper

Research outcomes over time

This page was built for person: Vrunda Dave