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.
7217 Publications
2017 | Journal Article | IST-REx-ID: 912 | 
Deuchert A. 2017. A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics. 58(8), 081901.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 9137 |
Zuidema P, Torri G, Muller CJ, Chandra A. 2017. A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment. Surveys in Geophysics. 38(6), 1283–1305.
View
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 9138 |
Holloway CE, Wing AA, Bony S, Muller CJ, Masunaga H, L’Ecuyer TS, Turner DD, Zuidema P. 2017. Observing convective aggregation. Surveys in Geophysics. 38(6), 1199–1236.
View
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 914 |
Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. 2017. Ant queens increase their reproductive efforts after pathogen infection. Royal Society Open Science. 4(7), 170547.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 915 |
Swoboda P, Andres B. 2017. A message passing algorithm for the minimum cost multicut problem. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4990–4999.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 9152 |
Richet O, Muller CJ, Chomaz J-M. 2017. Impact of a mean current on the internal tide energy dissipation at the critical latitude. Journal of Physical Oceanography. 47(6), 1457–1472.
View
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 916 |
Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. 2017. A study of lagrangean decompositions and dual ascent solvers for graph matching. CVPR: Computer Vision and Pattern Recognition vol. 2017, 7062–7071.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 917 |
Swoboda P, Kuske J, Savchynskyy B. 2017. A dual ascent framework for Lagrangean decomposition of combinatorial problems. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4950–4960.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 9190 |
Gaillochet C, Stiehl T, Wenzl C, Ripoll J-J, Bailey-Steinitz LJ, Li L, Pfeiffer A, Miotk A, Hakenjos JP, Forner J, Yanofsky MF, Marciniak-Czochra A, Lohmann JU. 2017. Control of plant cell fate transitions by transcriptional and hormonal signals. eLife. 6, e30135.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1173 |
Edelsbrunner H, Glazyrin A, Musin O, Nikitenko A. 2017. The Voronoi functional is maximized by the Delaunay triangulation in the plane. Combinatorica. 37(5), 887–910.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1174 |
Skórski M. 2017. Lower bounds on key derivation for square-friendly applications. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 66, 57.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1175 |
Alwen JF, De Rezende S, Nordstrom J, Vinyals M. 2017. Cumulative space in black-white pebbling and resolution. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 67, 38:1-38-21.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1176 |
Alwen JF, Blocki J. 2017. Towards practical attacks on Argon2i and balloon hashing. EuroS&P: European Symposium on Security and Privacy, 7961977.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1178 |
Skórski M. 2017. Simulating auxiliary inputs, revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 9985, 159–179.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1180 |
Akopyan A, Bárány I, Robins S. 2017. Algebraic vertices of non-convex polyhedra. Advances in Mathematics. 308, 627–644.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1187 |
Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. 2017. Efficient authentication from hard learning problems. Journal of Cryptology. 30(4), 1238–1275.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1191 |
Kollár R, Novak S. 2017. Existence of traveling waves for the generalized F–KPP equation. Bulletin of Mathematical Biology. 79(3), 525–559.
View
| DOI
| Download Preprint (ext.)
2017 | Conference Paper | IST-REx-ID: 1192 |
Kazda A, Kolmogorov V, Rolinek M. 2017. Even delta-matroids and the complexity of planar Boolean CSPs. SODA: Symposium on Discrete Algorithms, 307–326.
View
| Files available
| DOI
| Download Submitted Version (ext.)