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.
4958 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1227 | 
Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., & Schilling, C. (2016). Discrete abstraction of multiaffine systems (Vol. 9957, pp. 128–144). Presented at the HSB: Hybrid Systems Biology, Grenoble, France: Springer. https://doi.org/10.1007/978-3-319-47151-8_9
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1229 |
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_16
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1230 |
Daca, P., Gupta, A., & Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_16
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1231 |
Alwen, J. F., Chen, B., Kamath Hosdurg, C., Kolmogorov, V., Pietrzak, K. Z., & Tessaro, S. (2016). On the complexity of scrypt and proofs of space in the parallel random oracle model (Vol. 9666, pp. 358–387). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-662-49896-5_13
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1232
Letts, J. A., Fiedorczuk, K., & Sazanov, L. A. (2016). The architecture of respiratory supercomplexes. Nature. Nature Publishing Group. https://doi.org/10.1038/nature19774
View
| DOI
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: 1234 |
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-662-49674-9_7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1235 |
Abusalah, H. M., & Fuchsbauer, G. (2016). Constrained PRFs for unbounded inputs with short keys (Vol. 9696, pp. 445–463). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_24
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1236 |
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Constrained PRFs for unbounded inputs (Vol. 9610, pp. 413–428). Presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-29485-8_24
[Submitted Version]
View
| Files available
| DOI
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: 1238 |
von Wangenheim, D., Rosero, A., Komis, G., Šamajová, O., Ovečka, M., Voigt, B., & Šamaj, J. (2016). Endosomal interactions during root hair growth. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2015.01262
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1239
Callan Jones, A., Ruprecht, V., Wieser, S., Heisenberg, C.-P. J., & Voituriez, R. (2016). Cortical flow-driven shapes of nonadherent cells. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.116.028102
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1240 |
Kornienko, A., Dotter, C., Guenzl, P., Gisslinger, H., Gisslinger, B., Cleary, C., … Barlow, D. (2016). Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-016-0873-8
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1242 |
Sokolowski, T. R., Walczak, A., Bialek, W., & Tkačik, G. (2016). Extending the dynamic range of transcription factor action by translational regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.93.022404
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1243
Pleska, M., Qian, L., Okura, R., Bergmiller, T., Wakamoto, Y., Kussell, E., & Guet, C. C. (2016). Bacterial autoimmunity due to a restriction-modification system. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.12.041
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1244 |
Recouvreux, P., Sokolowski, T. R., Grammoustianou, A., Tenwolde, P., & Dogterom, M. (2016). Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1419248113
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1245
Pandey, V., & Chatterjee, K. (2016). Game-theoretic models identify useful principles for peer collaboration in online learning platforms. In Proceedings of the ACM Conference on Computer Supported Cooperative Work (Vol. 26, pp. 365–368). San Francisco, CA, USA: ACM. https://doi.org/10.1145/2818052.2869122
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1246 |
Kabakova, I., De Hoogh, A., Van Der Wel, R., Wulf, M., Le Feber, B., & Kuipers, L. (2016). Imaging of electric and magnetic fields near plasmonic nanowires. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep22665
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1248 |
Tkačik, G., & Bialek, W. (2016). Information processing in living systems. Annual Review of Condensed Matter Physics. Annual Reviews. https://doi.org/10.1146/annurev-conmatphys-031214-014803
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1249 |
Saha, A., Nishikawa, M., Behrndt, M., Heisenberg, C.-P. J., Julicher, F., & Grill, S. (2016). Determining physical properties of the cell cortex. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2016.02.013
[Published Version]
View
| Files available
| DOI