Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4165 Publications
2016 | Conference Paper | IST-REx-ID: 1225 | 
Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., & Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-44618-9_21
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1226 |
Fiedorczuk, K., Letts, J. A., Degliesposti, G., Kaszuba, K., Skehel, M., & Sazanov, L. A. (2016). Atomic structure of the entire mammalian mitochondrial complex i. Nature. Nature Publishing Group. https://doi.org/10.1038/nature19794
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | 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
View
| Files available
| DOI
2016 | 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
View
| Files available
| DOI
2016 | 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
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | 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
View
| DOI
| Download Submitted Version (ext.)
2016 | 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 | 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
View
| DOI
| Download Submitted Version (ext.)
2016 | 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
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | 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
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | 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
View
| Files available
| DOI
2016 | 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 | 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
View
| Files available
| DOI
2016 | 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 | 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
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1241 |
Uecker, H., & Hermisson, J. (2016). The role of recombination in evolutionary rescue. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.180299
View
| DOI
| Download Preprint (ext.)
2016 | 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
View
| DOI
| Download Preprint (ext.)
2016 | 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 | 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
View
| DOI
| Download Submitted Version (ext.)
2016 | 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