Saptarshi Sarkar

According to our database, Saptarshi Sarkar authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words.

Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith

J. Comput. Syst. Sci., 2023

2022

Asynchronous wreath product and cascade decompositions for concurrent behaviours.

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Log. Methods Comput. Sci., 2022

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages.

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words.

Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

2020

Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version).

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

CoRR, 2020

Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces.

Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Block products for algebras over countable words and applications to logic.

Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019