On the Satisfiability of Context-free String Constraints with Subword-Ordering. - C. Aiswarya; Soumodev Mal; Prakash Saivasan (LICS, 2022)

Deciding Reachability and Coverability in Lossy EOS. - Francesco Di Cosmo; Soumodev Mal; Tephilla Prince (PNSE@Petri Nets, 2024)

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. - C. Aiswarya; Soumodev Mal; Prakash Saivasan (STACS, 2024)

A Lower Bound on Conservative Elementary Object Systems Coverability. - Francesco Di Cosmo; Soumodev Mal; Tephilla Prince (CoRR, 2025)

Nets-within-Nets through the Lens of Data Nets. - Francesco Di Cosmo; Soumodev Mal; Tephilla Prince (CoRR, 2025)