Nutan Limaye
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 65
Publications (10 Years): 65
Publications
- Hervé Fournier, Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas
- Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas
- Prasad Chaugule, Nutan Limaye
- Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas
- Swapnam Bajpai, Vaibhav Krishan, Deepanshu Kush, Nutan Limaye, Srikanth Srinivasan
- Samir Datta, Nutan Limaye, Prajakta Nimbhorkar, Thomas Thierauf, Fabian Wagner
- Prasad Chaugule, Nutan Limaye, Shourya Pandey
- Nikhil Balaji, Andreas Krebs, Nutan Limaye
- Nutan Limaye, Karteek Sreenivasaiah, Srikanth Srinivasan, Utkarsh Tripathi, S. Venkitesh
- Andreas Krebs, Nutan Limaye, Michael Ludwig
- Neeraj Kayal, Nutan Limaye, Chandan Saha, Srikanth Srinivasan
- Pooja Vyavahare, Nutan Limaye, Ajit A. Diwan, D. Manjunath
- Andreas Krebs, Nutan Limaye, Michael Ludwig
- Anna Gál, Jing-Tang Jang, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah
- Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah
- Nutan Limaye, Guillaume Malod, Srikanth Srinivasan
- Nikhil Balaji, Andreas Krebs, Nutan Limaye
- Michaël Cadilhac, Andreas Krebs, Nutan LimayeValue Automata with Filters. CoRR (2015)
- Pooja Vyavahare, Majid Mahzoon, Pulkit Grover, Nutan Limaye, D. Manjunath
- Nikhil Balaji, Andreas Krebs, Nutan Limaye
- Andreas Krebs, Nutan Limaye
- Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah
- Ajesh Babu, Nutan Limaye, Jaikumar Radhakrishnan, Girish Varma
- Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek SreenivasaiahSmall Depth Proof Systems. CoRR (2013)
- Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah
- Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah
- Andreas Krebs, Nutan Limaye
- Andreas Krebs, Nutan Limaye, Meena Mahajan
- Pooja Vyavahare, Nutan Limaye, D. Manjunath
- Ajesh Babu, Nutan Limaye, Jaikumar Radhakrishnan, Girish Varma
- Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan
- Nutan Limaye, Meena Mahajan, Prajakta Nimbhorkar
- Andreas Krebs, Nutan Limaye, Meena Mahajan. Electron. Colloquium Comput. Complex. 17 (2010)
- Andreas Krebs, Nutan Limaye, Meena Mahajan
- Ajesh Babu, Nutan Limaye, Girish Varma
- Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao