Soumodev Mal

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Context Free Grammars

Earth Science Data

Attribute Grammars

Top Venues

PNSE@Petri Nets

Publications

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
Deciding Reachability and Coverability in Lossy EOS. PNSE@Petri Nets (2024)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers. CoRR (2024)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. STACS (2024)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
On the Satisfiability of Context-free String Constraints with Subword-Ordering. LICS (2022)