An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. - Christoph Haase; Shankara Narayanan Krishna; Khushraj Madnani; Om Swostik Mishra; Georg Zetzsche (ICALP, 2024)

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. - Diego Figueira; S. Krishna 004; Om Swostik Mishra; Anantha Padmanabha (KR, 2024)

Efficient Linearizability Monitoring. - Parosh Aziz Abdulla; Samuel Grahn; Bengt Jonsson 001; Shankaranarayanan Krishna; Om Swostik Mishra (Proc. ACM Program. Lang., 2025)