sign in · help · news · about ·

BibSonomy :: author :: Limaye ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(66)

<< < 1 | 2 | 3 > >>

Longest Paths in Planar DAGs in Unambiguous Log-Space.
Nutan Limaye, Meena Mahajan, and Prajakta Nimbhorkar Chicago J. Theor. Comput. Sci. (2010)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
Non-Vital Loads.
Ryan Rakvic, Bryan Black, Deepak Limaye, and John Paul Shen HPCA, page 165-174. IEEE Computer Society, (2002)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
Streaming algorithms for some problems in log-space.
Ajesh Babu, Nutan Limaye, and Girish Varma Electronic Colloquium on Computational Complexity ECCC (2010)
to dblp by dblp and 1 other user on Dec 7, 2011, 12:00 AM
URL | BibTeX
Counting paths in VPA is complete for #NC1.
Andreas Krebs, Nutan Limaye, and Meena Mahajan Electronic Colloquium on Computational Complexity ECCC (2010)
to dblp by dblp and 1 other user on Dec 7, 2011, 12:00 AM
URL | BibTeX
Planar Graph Isomorphism is in Log-space.
Fabian Wagner, Samir Datta, Nutan Limaye, Prajakta Nimbhorkar, and Thomas Thierauf Electronic Colloquium on Computational Complexity ECCC (2009)
to dblp by dblp and 1 other user on Dec 7, 2011, 12:00 AM
URL | BibTeX
Arithmetizing classes around NC^1 and L.
Nutan Limaye, Meena Mahajan, and B. V. Raghavendra Rao Electronic Colloquium on Computational Complexity ECCC (2007)
to dblp by dblp and 1 other user on Dec 7, 2011, 12:00 AM
URL | BibTeX
Evaluating Monotone Circuits on Cylinders, Planes and Tori
Nutan Limaye, Meena Mahajan, and Jayalal M. N. Sarma Electronic Colloquium on Computational Complexity ECCC (2006)
to dblp by dblp and 2 other users on Dec 7, 2011, 12:00 AM
URL | BibTeX
On the Computational Complexity of Satisfiability Solving for String Theories
Susmit Jha, Sanjit A. Seshia, and Rhishikesh Limaye CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Streaming algorithms for language recognition problems
Ajesh Babu, Nutan Limaye, Jaikumar Radhakrishnan, and Girish Varma CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Log-space Algorithm for Canonization of Planar Graphs
Samir Datta, Nutan Limaye, Prajakta Nimbhorkar, Thomas Thierauf, and Fabian Wagner CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Longest paths in Planar DAGs in Unambiguous Logspace
Nutan Limaye, Meena Mahajan, and Prajakta Nimbhorkar CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
3-connected Planar Graph Isomorphism is in Log-space
Samir Datta, Nutan Limaye, and Prajakta Nimbhorkar CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Parameter sensitivity of soil moisture retrievals from airborne C- and X-band radiometer measurements in SMEX02.
William L. Crosson, Ashutosh S. Limaye, and Charles A. Laymon IEEE T. Geoscience and Remote Sensing 43(12):2842-2853 (2005)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Parameter sensitivity of soil moisture retrievals from airborne L-band radiometer measurements in SMEX02.
William L. Crosson, Ashutosh S. Limaye, and Charles A. Laymon IEEE T. Geoscience and Remote Sensing 43(7):1517-1528 (2005)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Symbolic predictive analysis for concurrent programs.
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, and Aarti Gupta Formal Asp. Comput. 23(6):781-805 (2011)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Correct and non-defensive glue design using abstract models.
Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, and Ian Wong CODES+ISSS, page 59-68. ACM, (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Design issues and considerations for low-cost 3D TSV IC technology.
Geert Van der Plas, Paresh Limaye, Abdelkarim Mercha, Herman Oprins, Cristina Torregiani, Steven Thijs, Dimitri Linten, Michele Stucchi, Guruprasad Katti, Dimitrios Velenis, Domae Shinichi, Vladimir Cherman, Bart Vandevelde, Veerle Simons, Ingrid De Wolf, Riet Labie, Dan Perry, Stephane Bronckers, Nikolaos Minas, Miro Cupac, Wouter Ruythooren, Jan Van Olmen, Alain Phommahaxay, Muriel de Potter de ten Broeck, Ann Opdebeeck, Michal Rakowski, Bart De Wachter, Morin Dehan, Marc Nelis, Rahul Agarwal, Wim Dehaene, Youssef Travaly, Pol Marchal, and Eric Beyne ISSCC, page 148-149. IEEE, (2010)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Verifying electrical/thermal/thermo-mechanical behavior of a 3D stack - Challenges and solutions.
Geert Van der Plas, Steven Thijs, Dimitri Linten, Guruprasad Katti, Paresh Limaye, Abdelkarim Mercha, Michele Stucchi, Herman Oprins, Bart Vandevelde, Nikolaos Minas, Miro Cupac, Morin Dehan, Marc Nelis, Rahul Agarwal, Wim Dehaene, Youssef Travaly, Eric Beyne, and Paul Marchal CICC, page 1-4. IEEE, (2010)
to dblp by dblp on Sep 23, 2011, 12:00 AM
URL | BibTeX
Streaming Algorithms for Recognizing Nearly Well-Parenthesized Expressions.
Andreas Krebs, Nutan Limaye, and Srikanth Srinivasan MFCS, volume 6907 of Lecture Notes in Computer Science, page 412-423. Springer, (2011)
to dblp by dblp on Aug 16, 2011, 12:00 AM
URL | BibTeX
Surface Heterogeneity Issues in Remote Sensing of Soil Moisture.
William L. Crosson, Ashutosh S. Limaye, and Charles A. Laymon IGARSS 3, page 234-237. IEEE, (2008)
to dblp by dblp on May 24, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper