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.
1790 Publications
2012 |Published| Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 10905 | 
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. 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 S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. 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 A. Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 3157 |
Diaz Jr L, Williams R, Wu J, et al. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 2012;486(7404):537-540. doi:10.1038/nature11219
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
Quadrianto N, Lampert C, Chen C. The most persistent soft-clique in a set of sampled graphs. In: Proceedings of the 29th International Conference on Machine Learning. ML Research Press; 2012:211-218.
[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 E, Rabie M, Mark M, et al. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. 2011;107(23). doi:10.1103/PhysRevLett.107.230404
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 11673
Baykan E, Henzinger MH, Marian L, Weber I. A comprehensive study of features and algorithms for URL-based topic classification. ACM Transactions on the Web. 2011;5(3). doi:10.1145/1993053.1993057
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 11796
Henzinger MH, Vidali A. Multi-parameter mechanism design under budget and matroid constraints. In: 19th Annual European Symposium on Algorithms. Vol 6942. Springer Nature; 2011:192–202. doi:10.1007/978-3-642-23719-5_17
View
| DOI
2011 |Published| Book Chapter | IST-REx-ID: 2098
Bickel B, Lang M. From sparse mocap to highly detailed facial animation. In: GPU Computing Gems Emerald Edition. Science Direct; 2011:413-426. doi:10.1016/B978-0-12-384988-5.00027-9
View
| DOI
2011 |Published| Book Chapter | IST-REx-ID: 2116 |
Maas J, Van Neerven J. Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In: Parabolic Problems. Vol 80. Birkhäuser; 2011:463-477. doi:10.1007/978-3-0348-0075-4_24
View
| DOI
| Download (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 2321 |
Frank R, Laptev A, Seiringer R. A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials. In: Vol 214. Springer; 2011: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 J, Tancer M, Wagner U. Hardness of embedding simplicial complexes in Rd. Journal of the European Mathematical Society. 2011;13(2):259-295. doi:10.4171/JEMS/252
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 2766
Erdös L, Knowles A. Quantum diffusion and delocalization for band matrices with general distribution. Annales Henri Poincare. 2011;12(7):1227-1319. doi:10.1007/s00023-011-0104-5
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. A Framework for Practical Universally Composable Zero-Knowledge Protocols. In: Lee D, Wang X, eds. Vol 7073. Springer; 2011:449-467. doi:10.1007/978-3-642-25385-0
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3089
Zhang J, Vanneste S, Brewer P, et al. Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity. Developmental Cell. 2011;20(6):855-866. doi:10.1016/j.devcel.2011.05.013
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, et al. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 2011;21(12):1055-1060. doi:10.1016/j.cub.2011.05.018
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3204
Kolmogorov V. Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions. In: Vol 6907. Springer; 2011:400-411. doi:10.1007/978-3-642-22993-0_37
View
| DOI
| Download (ext.)