Soumodev Mal

According to our database, Soumodev Mal authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Deciding Reachability and Coverability in Lossy EOS.

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2022

On the Satisfiability of Context-free String Constraints with Subword-Ordering.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022