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.
1704 Publications
2012 |Published| Journal Article | IST-REx-ID: 808 |
M. Vinzenz et al., “Actin branching in the initiation and maintenance of lamellipodia,” Journal of Cell Science, vol. 125, no. 11. Company of Biologists, pp. 2775–2785, 2012.
View
| Files available
| DOI
2012 | Research Data Reference | IST-REx-ID: 9757 |
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison.” Dryad, 2012.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |Published| Journal Article | IST-REx-ID: 966 |
S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22. American Physical Society, 2012.
View
| DOI
| Download (ext.)
2012 |Published| 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 |Published| Conference Paper | IST-REx-ID: 10905 |
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 |Published| Conference Paper | IST-REx-ID: 10906 |
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.)
2012 |Published| Book Chapter | IST-REx-ID: 5745 |
A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
D. Zufferey, T. Wies, and T. A. Henzinger, “Ideal abstractions for well structured transition systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 445–460.
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
N. Quadrianto, C. Lampert, and C. Chen, “The most persistent soft-clique in a set of sampled graphs,” in Proceedings of the 29th International Conference on Machine Learning, Edinburgh, United Kingdom, 2012, pp. 211–218.
[Preprint]
View
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 17660 |
B. Kocsis, Z. Haiman, and A. Loeb, “Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: General theory,” Monthly Notices of the Royal Astronomical Society, vol. 427, no. 3. Oxford University Press, pp. 2660–2679, 2012.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |Published| Journal Article | IST-REx-ID: 17675 |
J. M. Kratochvil, E. A. Lim, S. Wang, Z. Haiman, M. May, and K. Huffenberger, “Probing cosmology with weak lensing Minkowski functionals,” Physical Review D, vol. 85, no. 10. American Physical Society, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 1050 |
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 1054 |
E. Haller et al., “Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension,” Physical Review Letters, vol. 107, no. 23. American Physical Society, 2011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Book Chapter | IST-REx-ID: 2116 |
J. Maas and J. Van Neerven, “Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators,” in Parabolic Problems, vol. 80, Birkhäuser, 2011, pp. 463–477.
View
| DOI
| Download (ext.)