Identifying collusion groups using spectral clustering S Sarswat, KM Abraham, SK Ghosh arXiv preprint arXiv:1509.06457, 2015 | 4 | 2015 |
Formally verified trades in financial markets S Sarswat, AK Singh Formal Methods and Software Engineering: 22nd International Conference on …, 2020 | 3 | 2020 |
Verified double sided auctions for financial markets R Natarajan, S Sarswat, AK Singh arXiv preprint arXiv:2104.08437, 2021 | 2 | 2021 |
Efficient and Verified Continuous Double Auctions M Garg, S Sarswat EasyChair, 2023 | 1 | 2023 |
The Design and Regulation of Exchanges: A Formal Approach M Garg, S Sarswat arXiv preprint arXiv:2210.05447, 2022 | 1 | 2022 |
The Exchange Problem M Garg, S Sarswat arXiv preprint arXiv:2403.03046, 2024 | | 2024 |
12th International Conference on Interactive Theorem Proving (ITP 2021) MO Myreen, N Polikarpova, A Popescu, T Bauereiss, P Lammich, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021 | | 2021 |
Formal verification of trading in financial markets S Sarswat, AK Singh arXiv preprint arXiv:1907.07885, 2019 | | 2019 |