Algorithms and Theory

M. V. Panduranga Rao
Associate Professor

N. R. Aravind
Assistant Professor

Saurabh Joshi
Assistant Professor

Sobhan Babu
Associate Professor

Subrahmanyam Kalyanasundaram
Assistant Professor

2017
Vojt?ch Forejt, Saurabh Joshi , Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
ACM Transactions on Programming Languages and Systems (TOPLAS) (2017/8/17)
2016
Rajdeep Mukherjee, Saurabh Joshi , Andreas Griesmayer, Daniel Kroening, Tom Melham
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 21 (2016)
Ganesh Narayanaswamy, Saurabh Joshi , Daniel Kroening
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2016/2/27)
2015
Saurabh Joshi , Ruben Martins, Vasco Manquinho
International Conference on Principles and Practice of Constraint Programming (2015/8/31)
Ruben Martins, Saurabh Joshi , Vasco Manquinho, InÍs Lynce
Journal on Satisfiability, Boolean Modeling and Computation (2015/12/16)
Martin Brain, Saurabh Joshi , Daniel Kroening
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (2015/9/1)
2014
Ruben Martins, Saurabh Joshi , Vasco Manquinho, InÍs Lynce
International Conference on Principles and Practice of Constraint Programming (2014/9/8)
A Satya Trinadh, Seetal Potluri, Shankar Balachandran, Ch Babu, V Kamakoti
Journal of Low Power Electronics (2014/3/1)
2013
A Satya Trinadh, Seetal Potluri, Ch Babu, V Kamakoti
Journal of Low Power Electronics (2013/8/1)
2012
Saurabh Joshi , Shuvendu K Lahiri, Akash Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2012/1/25)
Saurabh Joshi , RK Shyamasundar, Sanjeev K Aggarwal
Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2012 IEEE 26th International (2012/5/21)
Ravindra Guravannavar, S Sudarshan, Ajit A Diwan, Sobhan Babu
The VLDB Journal (2012/2/1)
Bharat Adsul, Sobhan Babu , Jugal Garg, Ruta Mehta, Milind Sohoni
Current Science (2012/11/10)
2011
Shivali Agarwal, Saurabh Joshi , Rudrapatna K Shyamasundar
International Conference on Distributed Computing and Networking (2011/1/2)
2010
Bharat Adsul, Sobhan Babu , Jugal Garg, Ruta Mehta, Milind Sohoni
International Symposium on Algorithmic Game Theory (2010/10/18)
2009
Ch Babu, Ajit A Diwan
Journal of Graph Theory (2009/2/1)
2008
Sobhan Babu , Ajit A Diwan
Discrete Mathematics (2008/10/6)
Sobhan Babu , Ajit A Diwan
Graphs and Combinatorics (2008/11/1)
2007
Frederic Doucet, RK Shyamasundar, Ingolf H KrŁger, Saurabh Joshi , Rajesh K Gupta
Haifa Verification Conference (2007/10/23)