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.
1624 Publications
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| 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: 2436
Matoušek, Jiří, et al. “Hardness of Embedding Simplicial Complexes in Rd.” Journal of the European Mathematical Society, vol. 13, no. 2, European Mathematical Society, 2011, pp. 259–95, doi:10.4171/JEMS/252.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 2766
Erdös, László, and Antti Knowles. “Quantum Diffusion and Delocalization for Band Matrices with General Distribution.” Annales Henri Poincare, vol. 12, no. 7, Birkhäuser, 2011, pp. 1227–319, doi:10.1007/s00023-011-0104-5.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 2975
Camenisch, Jan, et al. A Framework for Practical Universally Composable Zero-Knowledge Protocols. Edited by Dong Lee and Xiaoyun Wang, vol. 7073, Springer, 2011, pp. 449–67, doi:10.1007/978-3-642-25385-0.
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3089
Zhang, Jing, et al. “Inositol Trisphosphate-Induced Ca^2+ Signaling Modulates Auxin Transport and Pin Polarity.” Developmental Cell, vol. 20, no. 6, Cell Press, 2011, pp. 855–66, doi:10.1016/j.devcel.2011.05.013.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3090
Mravec, Jozef, et al. “Cell Plate Restricted Association of DRP1A and PIN Proteins Is Required for Cell Polarity Establishment in Arabidopsis.” Current Biology, vol. 21, no. 12, Cell Press, 2011, pp. 1055–60, doi:10.1016/j.cub.2011.05.018.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3204
Kolmogorov, Vladimir. Submodularity on a Tree: Unifying Submodularity on a Tree: Unifying L-Convex and Bisubmodular Functions Convex and Bisubmodular Functions. Vol. 6907, Springer, 2011, pp. 400–11, doi:10.1007/978-3-642-22993-0_37.
View
| DOI
| Download (ext.)