Ashwin Bhaskar

Orcid: 0000-0002-7989-9279

According to our database¹, Ashwin Bhaskar authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Regulating Synchronous Data Exchange to Meet Control Flow and Data Specifications.

[DOI]

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2023

Constraint LTL with Remote Access.

[DOI]

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

LTL with Local and Remote Data Constraints.

[DOI]

CoRR, 2022

Realizability Problem for Constraint LTL.

[DOI]

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022