2 citations · 3 across the 3 of their papers we have counts for
4 papers
Efficient and Verified Continuous Double Auctions
Mohit Garg, Suneel Sarswat
Continuous double auctions are commonly used to match orders at currency, stock, and commodities exchanges. A verified implementation of continuous double auctions is a useful tool…
Double Auctions: Formalization and Automated Checkers
Mohit Garg, N. Raja, Suneel Sarswat +1
Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers ha…
The Exchange Problem
Mohit Garg, Suneel Sarswat
Auctions are widely used in exchanges to match buy and sell requests. Once the buyers and sellers place their requests, the exchange determines how these requests are to be matched…
Random-Order Online Independent Set of Intervals and Hyperrectangles
Mohit Garg, Debajyoti Kar, Arindam Khan
In the Maximum Independent Set of Hyperrectangles problem, we are given a set of (possibly overlapping) -dimensional axis-aligned hyperrectangles, and the goal is to find a…