A Logical Characterization for Dense-Time Visibly Pushdown Automata von Bhave, Devendra, Dave, Vrunda, Krishna, Shankara Narayanan, Phawade, Ramchandra, Trivedi, Ashutosh

Volltext

Regular transducer expressions for regular transformations von Dave, Vrunda, Gastin, Paul, Krishna, Shankara Narayanan

Volltext

SYNTHESIS OF COMPUTABLE REGULAR FUNCTIONS OF INFINITE WORDS von Dave, Vrunda, Filiot, Emmanuel, Krishna, Shankara Narayanan, Lhote, Nathan

Volltext

Optimal Repair for Omega-Regular Properties von Dave, Vrunda, Krishna, Shankara Narayanan, Murali, Vishnu, Trivedi, Ashutosh

Volltext

Regular Model Checking with Regular Relations von Dave, Vrunda, Dohmen, Taylor, Krishna, Shankara Narayanan, Trivedi, Ashutosh

Volltext

Optimal Repair For Omega-regular Properties von Dave, Vrunda, Krishna, Shankara Narayanan, Murali, Vishnu, Trivedi, Ashutosh

Volltext bestellen

A Perfect Class of Context-Sensitive Timed Languages von Bhave, Devendra, Dave, Vrunda, Krishna, S. N., Phawade, Ramchandra, Trivedi, Ashutosh

Volltext

Regular Model Checking with Regular Relations von Dave, Vrunda, Dohmen, Taylor, Krishna, Shankara Narayana, Trivedi, Ashutosh

Volltext bestellen

Regular Transducer Expressions for Regular Transformations von Dave, Vrunda, Gastin, Paul, Narayanan, Krishna Shankara

Volltext bestellen

On the Separability Problem of String Constraints von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Dave, Vrunda, Krishna, Shankara Narayanan

Volltext bestellen

Optimal Repair For Omega-regular Properties von Vrunda Dave, Shankara Narayanan Krishna, Murali, Vishnu, Trivedi, Ashutosh

Volltext

FO-definable transformations of infinite strings von Dave, Vrunda, Krishna, Shankara Narayanan, Trivedi, Ashutosh

Volltext bestellen

Regular Model Checking with Regular Relations von Vrunda Dave, Taylor Dohmen, Krishna, Shankara Narayana, Trivedi, Ashutosh

Volltext

Regular Transducer Expressions for Regular Transformations von Vrunda Dave, Gastin, Paul, Krishna Shankara Narayanan

Volltext

On the Separability Problem of String Constraints von Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Vrunda Dave, Shankara Narayanan Krishna

Volltext

FO-definable transformations of infinite strings von Vrunda Dave, Shankara Narayanan Krishna, Trivedi, Ashutosh

Volltext

RED CELL DISTRIBUTION WIDTH VALUE AS A PREDICTOR OF COPD SEVERITY: ORIGINAL RESEARCH ARTICLE von SHIL, SUMAN, PETHANI, VRUNDA, MALANI, SWATI, Dave, Amit

Volltext

Proceedings of Second International Conference on Computing, Communications, and Cyber-Security: Ic4s 2020 von Singh, Pradeep Kumar, Wierzchoń, Sławomir T, Tanwar, Sudeep, Ganzha, Maria, Rodrigues, Joel J. P. C

Volltext