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.
1850 Publications
2012 |Published| Journal Article | IST-REx-ID: 808 | 
Vinzenz, Marlene, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” Journal of Cell Science, vol. 125, no. 11, Company of Biologists, 2012, pp. 2775–85, doi:10.1242/jcs.107623.
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 8467
Huber, Matthias, et al. “A Supplementary Coil for 2H Decoupling with Commercial HCN MAS Probes.” Journal of Magnetic Resonance, vol. 214, Elsevier, 2012, pp. 76–80, doi:10.1016/j.jmr.2011.10.010.
View
| DOI
2012 | Research Data Reference | IST-REx-ID: 9757 |
Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |Published| Journal Article | IST-REx-ID: 8504
Kaloshin, Vadim, and O. S. KOZLOVSKI. “A Cr Unimodal Map with an Arbitrary Fast Growth of the Number of Periodic Points.” Ergodic Theory and Dynamical Systems, vol. 32, no. 1, Cambridge University Press, 2012, pp. 159–65, doi:10.1017/s0143385710000817.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 966 |
Bieri, Samuel, et al. “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, doi:10.1103/PhysRevB.86.224409.
View
| DOI
| Download (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 10903
Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 10905 |
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |Published| Book Chapter | IST-REx-ID: 5745 |
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
Quadrianto, Novi, et al. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–18.
[Preprint]
View
| Download Preprint (ext.)
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 |
Haller, Elmar, 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, doi:10.1103/PhysRevLett.107.230404.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 11673
Baykan, Eda, et al. “A Comprehensive Study of Features and Algorithms for URL-Based Topic Classification.” ACM Transactions on the Web, vol. 5, no. 3, 15, Association for Computing Machinery, 2011, doi:10.1145/1993053.1993057.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 11796
Henzinger, Monika H., and Angelina Vidali. “Multi-Parameter Mechanism Design under Budget and Matroid Constraints.” 19th Annual European Symposium on Algorithms, vol. 6942, Springer Nature, 2011, pp. 192–202, doi:10.1007/978-3-642-23719-5_17.
View
| DOI
2011 |Published| Book Chapter | IST-REx-ID: 2116 |
Maas, Jan, and Jan Van Neerven. “Gradient Estimates and Domain Identification for Analytic Ornstein-Uhlenbeck Operators.” Parabolic Problems, vol. 80, Birkhäuser, 2011, pp. 463–77, doi:10.1007/978-3-0348-0075-4_24.
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 2200 |
Lemeshko, Mikhail, et al. “Supersymmetry Identifies Molecular Stark States Whose Eigenproperties Can Be Obtained Analytically.” New Journal of Physics, vol. 13, IOP Publishing Ltd., 2011, doi:10.1088/1367-2630/13/6/063036.
View
| DOI
| Download (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 2321 |
Frank, Rupert, et al. A Sharp Bound on Eigenvalues of Schrödinger Operators on the Halfline with Complex-Valued Potentials. Vol. 214, Springer, 2011, pp. 39–44, doi:10.1007/978-3-7643-9994-8_3.
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 239
Browning, Timothy D., et al. “Least Zero of a Cubic Form.” Mathematische Annalen, vol. 352, no. 3, Springer, 2011, pp. 745–78, doi:10.1007/s00208-011-0651-6.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 2393 |
Seiringer, Robert. “The Excitation Spectrum for Weakly Interacting Bosons.” Communications in Mathematical Physics, vol. 306, no. 2, Springer, 2011, pp. 565–78, doi:10.1007/s00220-011-1261-6.
View
| DOI
| Download (ext.)