Suneel Sarswat

14 papers B 2C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Double Auctions: Formalization and Automated Checkers.
J. Autom. Reason.
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh
2025 B conf
The Exchange Problem.
AFT
Mohit Garg, Suneel Sarswat
2024 J jnl
Double Auctions: Formalization and Automated Checkers.
CoRR
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh
2024 — conf
Efficient and Verified Continuous Double Auctions.
LPAR Complementary Volume
Mohit Garg, Suneel Sarswat
2024 J jnl
Efficient and Verified Continuous Double Auctions.
CoRR
Mohit Garg, Suneel Sarswat
2024 J jnl
The Exchange Problem.
CoRR
Mohit Garg, Suneel Sarswat
2022 — conf
The Design and Regulation of Exchanges: A Formal Approach.
FSTTCS
Mohit Garg, Suneel Sarswat
2022 J jnl
The Design and Regulation of Exchanges: A Formal Approach.
CoRR
Mohit Garg, Suneel Sarswat
2021 B conf
Verified Double Sided Auctions for Financial Markets.
ITP
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
2021 J jnl
Verified Double Sided Auctions for Financial Markets.
CoRR
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
2020 C conf
Formally Verified Trades in Financial Markets.
ICFEM
Suneel Sarswat, Abhishek Kr Singh
2020 J jnl
Formally Verified Trades in Financial Markets.
CoRR
Suneel Sarswat, Abhishek Kr Singh
2019 J jnl
Formal verification of trading in financial markets.
CoRR
Suneel Sarswat, Abhishek Kr Singh
2015 J jnl
Identifying collusion groups using spectral clustering.
CoRR
Suneel Sarswat, Kandathil Mathew Abraham, Subir Kumar Ghosh