Shantanu Kulkarni

According to our database¹, Shantanu Kulkarni authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages.

[BibT_eX]

[DOI]

CoRR, 2024

An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024