Om Swostik Mishra

According to our database, Om Swostik Mishra authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Efficient Linearizability Monitoring.

Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra

Proc. ACM Program. Lang., 2025

2024

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.

Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic.

Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024