Saptarshi Sarkar

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

First Order Logic

Guarded Fragment

Top Venues

J. Comput. Syst. Sci.

Publications

Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. J. Comput. Syst. Sci. 136 (2023)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Asynchronous wreath product and cascade decompositions for concurrent behaviours. Log. Methods Comput. Sci. 18 (2) (2022)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. CONCUR (2022)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words. FCT (2021)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Asynchronous wreath product and cascade decompositions for concurrent behaviours. CoRR (2021)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
First-Order logic and its Infinitary Quantifier Extensions over Countable Words. CoRR (2021)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version). CoRR (2020)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. CONCUR (2020)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
Block products for algebras over countable words and applications to logic. LICS (2019)