Om Swostik Mishra

According to our database, Om Swostik Mishra authored at least 2 papers in 2024.

Collaborative distances:

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

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