Raja Natarajan

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 7

Top Topics

Financial Markets

Graph Theoretic

Top Venues

Publications

Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Verified Double Sided Auctions for Financial Markets. CoRR (2021)
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Verified Double Sided Auctions for Financial Markets. ITP (2021)
Abhishek Kr Singh, Raja Natarajan
A constructive formalization of the weak perfect graph theorem. CPP (2020)
Abhishek Kr Singh, Raja Natarajan
Towards a Constructive Formalization of Perfect Graph Theorems. ICLA (2019)
Abhishek Kr Singh, Raja Natarajan
A Constructive Formalization of the Weak Perfect Graph Theorem. CoRR (2019)
Abhishek Kr Singh, Raja Natarajan
Towards a constructive formalization of Perfect Graph Theorems. CoRR (2018)
Abhishek Kr Singh, Raja Natarajan
An Outline of Separation Logic. CoRR (2017)
Andrea Asperti, Herman Geuvers, Raja Natarajan
Social processes, program verification and all that. Math. Struct. Comput. Sci. 19 (5) (2009)
Raja Natarajan
On Attending Conferences. Computer 41 (2) (2008)