Parametric LTL on Markov Chains. - Souymodip Chakraborty; Joost-Pieter Katoen (IFIP TCS, 2014)

Model Checking of Open Interval Markov Chains. - Souymodip Chakraborty; Joost-Pieter Katoen (ASMTA, 2015)

Modelling and statistical model checking of a microgrid. - Souymodip Chakraborty; Joost-Pieter Katoen; Falak Sher; Martin Strelec (Int. J. Softw. Tools Technol. Transf., 2015)

On the Satisfiability of Some Simple Probabilistic Logics. - Souymodip Chakraborty; Joost-Pieter Katoen (LICS, 2016)

New results on probabilistic verification: automata, logic and satisfiability. - Souymodip Chakraborty (2019)

Image Vectorization via Gradient Reconstruction. - Souymodip Chakraborty; Vineet Batra; Ankit Phogat; Vishwas Jain; Jaswant Singh Ranawat; Sumit Dhingra; Kevin Wampler; Matthew Fisher; Michal Lukác (Comput. Graph. Forum, 2025)