Raja Natarajan

12 papers B 2Misc 3Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
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 B conf
A constructive formalization of the weak perfect graph theorem.
CPP
Abhishek Kr Singh, Raja Natarajan
2019 J jnl
A Constructive Formalization of the Weak Perfect Graph Theorem.
CoRR
Abhishek Kr Singh, Raja Natarajan
2019 — conf
Towards a Constructive Formalization of Perfect Graph Theorems.
ICLA
Abhishek Kr Singh, Raja Natarajan
2018 J jnl
Towards a constructive formalization of Perfect Graph Theorems.
CoRR
Abhishek Kr Singh, Raja Natarajan
2017 J jnl
An Outline of Separation Logic.
CoRR
Abhishek Kr Singh, Raja Natarajan
2015 Misc ed.
Distributed Computing and Internet Technology - 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings
ICDCIT
Raja Natarajan, Gautam Barua, Manas Ranjan Patra
2014 Misc ed.
Distributed Computing and Internet Technology - 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings
ICDCIT
Raja Natarajan
2011 Misc ed.
Distributed Computing and Internet Technology - 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
ICDCIT
Raja Natarajan, Adegboyega K. Ojo
2009 J jnl
Social processes, program verification and all that.
Math. Struct. Comput. Sci.
Andrea Asperti, Herman Geuvers, Raja Natarajan
2008 J jnl
On Attending Conferences.
Computer
Raja Natarajan