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.
1621 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1233 | 
Fuchsbauer, G., Heuer, F., Kiltz, E., & Pietrzak, K. Z. (2016). Standard security does imply security against selective opening for markov distributions (Vol. 9562, pp. 282–305). Presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-662-49096-9_12
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1237
Krcál, M., & Pilarczyk, P. (2016). Computation of cubical Steenrod squares (Vol. 9667, pp. 140–151). Presented at the CTIC: Computational Topology in Image Context, Marseille, France: Springer. https://doi.org/10.1007/978-3-319-39441-1_13
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1247 |
Karampelias, M., Neyt, P., De Groeve, S., Aesaert, S., Coussens, G., Rolčík, J., … Van Lijsebettens, M. (2016). ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1501343112
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1264 |
Sancho Andrés, G., Soriano Ortega, E., Gao, C., Bernabé Orts, J., Narasimhan, M., Müller, A., … Marcote, M. (2016). Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00373
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1291 |
Giuliani, A., & Seiringer, R. (2016). Periodic striped ground states in Ising models with competing interactions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-016-2665-0
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1292 |
Durst, S., Kegel, M., & Klukas, M. D. (2016). Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. Springer. https://doi.org/10.1007/s10474-016-0648-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1317
Fischer, J. L. (2016). Behaviour of free boundaries in thin-film flow: The regime of strong slippage and the regime of very weak slippage. Annales de l’Institut Henri Poincare (C) Non Linear Analysis. Elsevier. https://doi.org/10.1016/j.anihpc.2015.05.001
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1326 |
Brázdil, T., Kučera, A., & Novotný, P. (2016). Optimizing the expected mean payoff in Energy Markov Decision Processes (Vol. 9938, pp. 32–49). Presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan: Springer. https://doi.org/10.1007/978-3-319-46520-3_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1335 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative monitor automata (Vol. 9837, pp. 23–38). Presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53413-7_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1340 |
Hansen, K., Ibsen-Jensen, R., & Koucký, M. (2016). The big match in small space (Vol. 9928, pp. 64–76). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_6
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1348 |
Fulek, R. (2016). Bounded embeddings of graphs in the plane (Vol. 9843, pp. 31–42). Presented at the IWOCA: International Workshop on Combinatorial Algorithms, Helsinki, Finland: Springer. https://doi.org/10.1007/978-3-319-44543-4_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1365 |
Alwen, J. F., & Blocki, J. (2016). Efficiently computing data-independent memory-hard functions (Vol. 9815, pp. 241–271). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-662-53008-5_9
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1366 |
Gazi, P., & Tessaro, S. (2016). Provably robust sponge-based PRNGs and KDFs (Vol. 9665, pp. 87–116). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-662-49890-3_4
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1372 |
Pernisová, M., Prat, T., Grones, P., Haruštiaková, D., Matonohova, M., Spíchal, L., … Hejátko, J. (2016). Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis. New Phytologist. Wiley-Blackwell. https://doi.org/10.1111/nph.14049
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1369 |
Kolesnikov, A., & Lampert, C. (2016). Seed, expand and constrain: Three principles for weakly-supervised image segmentation (Vol. 9908, pp. 695–711). Presented at the ECCV: European Conference on Computer Vision, Amsterdam, The Netherlands: Springer. https://doi.org/10.1007/978-3-319-46493-0_42
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1381 |
Mabillard, I., & Wagner, U. (2016). Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range (Vol. 51, p. 51.1-51.12). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. https://doi.org/10.4230/LIPIcs.SoCG.2016.51
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1390
D’Antoni, L., Samanta, R., & Singh, R. (2016). QLOSE: Program repair with quantitative objectives (Vol. 9780, pp. 383–401). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_21
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1394 |
De Martino, D., Capuani, F., & De Martino, A. (2016). Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/3/036005
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1434 |
Bao, Z., Erdös, L., & Schnelli, K. (2016). Local stability of the free additive convolution. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2016.04.006
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1478 |
Seiringer, R., & Warzel, S. (2016). Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/18/3/035002
[Published Version]
View
| Files available
| DOI