Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

332 Publications


2012 | Journal Article | IST-REx-ID: 13407
O. Chovnik, R. Balgley, J. R. Goldman, and R. Klajn, “Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets,” Journal of the American Chemical Society, vol. 134, no. 48. American Chemical Society, pp. 19564–19567, 2012.
[Published Version] View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 13408
Y. Ridelman, G. Singh, R. Popovitz-Biro, S. G. Wolf, S. Das, and R. Klajn, “Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles,” Small, vol. 8, no. 5. Wiley, pp. 654–660, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 10903
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 10905 | OA
K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in Algorithms – ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2012

Search

Filter Publications