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.
1953 Publications
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version]
View
| Files available
| DOI
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.
[Preprint]
View
| Download Preprint (ext.)
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.
2011 |Published| Journal Article | IST-REx-ID: 1050 |
Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2
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
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).
2011 |Published| Journal Article | IST-REx-ID: 1054 |
Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).
2011 |Published| Journal Article | IST-REx-ID: 11673
A comprehensive study of features and algorithms for URL-based topic classification
E. Baykan, M.H. Henzinger, L. Marian, I. Weber, ACM Transactions on the Web 5 (2011).
View
| DOI
E. Baykan, M.H. Henzinger, L. Marian, I. Weber, ACM Transactions on the Web 5 (2011).
2011 |Published| Conference Paper | IST-REx-ID: 11796
Multi-parameter mechanism design under budget and matroid constraints
M.H. Henzinger, A. Vidali, in:, 19th Annual European Symposium on Algorithms, Springer Nature, 2011, pp. 192–202.
View
| DOI
M.H. Henzinger, A. Vidali, in:, 19th Annual European Symposium on Algorithms, Springer Nature, 2011, pp. 192–202.
2011 |Published| Book Chapter | IST-REx-ID: 2116 |
Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators
J. Maas, J. Van Neerven, in:, Parabolic Problems, Birkhäuser, 2011, pp. 463–477.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, in:, Parabolic Problems, Birkhäuser, 2011, pp. 463–477.
2011 |Published| Journal Article | IST-REx-ID: 2200 |
Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, New Journal of Physics 13 (2011).
View
| DOI
| Download (ext.)
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, New Journal of Physics 13 (2011).
2011 |Published| Conference Paper | IST-REx-ID: 2321 |
A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials
R. Frank, A. Laptev, R. Seiringer, in:, Springer, 2011, pp. 39–44.
View
| DOI
| Download (ext.)
R. Frank, A. Laptev, R. Seiringer, in:, Springer, 2011, pp. 39–44.
2011 |Published| Journal Article | IST-REx-ID: 239
Least zero of a cubic form
T.D. Browning, R. Dietmann, P. Elliott, Mathematische Annalen 352 (2011) 745–778.
View
| DOI
T.D. Browning, R. Dietmann, P. Elliott, Mathematische Annalen 352 (2011) 745–778.
2011 |Published| Journal Article | IST-REx-ID: 2393 |
The excitation spectrum for weakly interacting Bosons
R. Seiringer, Communications in Mathematical Physics 306 (2011) 565–578.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 306 (2011) 565–578.
2011 |Published| Journal Article | IST-REx-ID: 2436
Hardness of embedding simplicial complexes in Rd
J. Matoušek, M. Tancer, U. Wagner, Journal of the European Mathematical Society 13 (2011) 259–295.
View
| DOI
J. Matoušek, M. Tancer, U. Wagner, Journal of the European Mathematical Society 13 (2011) 259–295.
2011 |Published| Journal Article | IST-REx-ID: 2717
Quantum diffusion and eigenfunction delocalization in a random band matrix model
L. Erdös, A. Knowles, Communications in Mathematical Physics 303 (2011) 509–554.
View
| DOI
L. Erdös, A. Knowles, Communications in Mathematical Physics 303 (2011) 509–554.
2011 |Published| Journal Article | IST-REx-ID: 2766
Quantum diffusion and delocalization for band matrices with general distribution
L. Erdös, A. Knowles, Annales Henri Poincare 12 (2011) 1227–1319.
View
| DOI
L. Erdös, A. Knowles, Annales Henri Poincare 12 (2011) 1227–1319.
2011 |Published| Conference Paper | IST-REx-ID: 2975
A Framework for Practical Universally Composable Zero-Knowledge Protocols
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
View
| DOI
| Download (ext.)
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
2011 |Published| Journal Article | IST-REx-ID: 3089
Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity
J. Zhang, S. Vanneste, P. Brewer, M. Michniewicz, P. Grones, J. Kleine Vehn, C. Löfke, T. Teichmann, A. Bielach, B. Cannoot, K. Hoyerová, X. Chen, H. Xue, E. Benková, E. Zažímalová, J. Friml, Developmental Cell 20 (2011) 855–866.
View
| DOI
J. Zhang, S. Vanneste, P. Brewer, M. Michniewicz, P. Grones, J. Kleine Vehn, C. Löfke, T. Teichmann, A. Bielach, B. Cannoot, K. Hoyerová, X. Chen, H. Xue, E. Benková, E. Zažímalová, J. Friml, Developmental Cell 20 (2011) 855–866.
2011 |Published| Journal Article | IST-REx-ID: 3090
Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis
J. Mravec, J. Petrášek, N. Li, S. Boeren, R. Karlova, S. Kitakura, M. Pařezová, S. Naramoto, T. Nodzyński, P. Dhonukshe, S. Bednarek, E. Zažímalová, S. De Vries, J. Friml, Current Biology 21 (2011) 1055–1060.
View
| DOI
J. Mravec, J. Petrášek, N. Li, S. Boeren, R. Karlova, S. Kitakura, M. Pařezová, S. Naramoto, T. Nodzyński, P. Dhonukshe, S. Bednarek, E. Zažímalová, S. De Vries, J. Friml, Current Biology 21 (2011) 1055–1060.
2011 |Published| Conference Paper | IST-REx-ID: 3204
Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions
V. Kolmogorov, in:, Springer, 2011, pp. 400–411.
View
| DOI
| Download (ext.)
V. Kolmogorov, in:, Springer, 2011, pp. 400–411.
2011 |Published| Conference Paper | IST-REx-ID: 3240
Leftover hash lemma revisited
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
View
| DOI
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
2011 |Published| Conference Paper | IST-REx-ID: 3264
Solving recursion-free Horn clauses over LI+UIF
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.
View
| DOI
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.