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, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. 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, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Offline Witness Encryption,” 9696:285–303. Springer, 2016. 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, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. 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, Joel F, Binyi Chen, Chethan Kamath Hosdurg, Vladimir Kolmogorov, Krzysztof Z Pietrzak, and Stefano Tessaro. “On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model,” 9666:358–87. Springer, 2016. 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, James A, Karol Fiedorczuk, and Leonid A Sazanov. “The Architecture of Respiratory Supercomplexes.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature19774.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1233 |
Fuchsbauer, Georg, Felix Heuer, Eike Kiltz, and Krzysztof Z Pietrzak. “Standard Security Does Imply Security against Selective Opening for Markov Distributions,” 9562:282–305. Springer, 2016. 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, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. 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, Hamza M, and Georg Fuchsbauer. “Constrained PRFs for Unbounded Inputs with Short Keys,” 9696:445–63. Springer, 2016. 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, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Constrained PRFs for Unbounded Inputs,” 9610:413–28. Springer, 2016. 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, Marek, and Pawel Pilarczyk. “Computation of Cubical Steenrod Squares,” 9667:140–51. Springer, 2016. https://doi.org/10.1007/978-3-319-39441-1_13.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1238 |
Wangenheim, Daniel von, Amparo Rosero, George Komis, Olga Šamajová, Miroslav Ovečka, Boris Voigt, and Jozef Šamaj. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science. Frontiers Research Foundation, 2016. https://doi.org/10.3389/fpls.2015.01262.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1239
Callan Jones, Andrew, Verena Ruprecht, Stefan Wieser, Carl-Philipp J Heisenberg, and Raphaël Voituriez. “Cortical Flow-Driven Shapes of Nonadherent Cells.” Physical Review Letters. American Physical Society, 2016. https://doi.org/10.1103/PhysRevLett.116.028102.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1240 |
Kornienko, Aleksandra, Christoph Dotter, Philipp Guenzl, Heinz Gisslinger, Bettina Gisslinger, Ciara Cleary, Robert Kralovics, Florian Pauler, and Denise Barlow. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology. BioMed Central, 2016. https://doi.org/10.1186/s13059-016-0873-8.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1242 |
Sokolowski, Thomas R, Aleksandra Walczak, William Bialek, and Gašper Tkačik. “Extending the Dynamic Range of Transcription Factor Action by Translational Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2016. https://doi.org/10.1103/PhysRevE.93.022404.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1243
Pleska, Maros, Long Qian, Reiko Okura, Tobias Bergmiller, Yuichi Wakamoto, Edo Kussell, and Calin C Guet. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2015.12.041.
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1244 |
Recouvreux, Pierre, Thomas R Sokolowski, Aristea Grammoustianou, Pieter Tenwolde, and Marileen Dogterom. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1419248113.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” In Proceedings of the ACM Conference on Computer Supported Cooperative Work, 26:365–68. ACM, 2016. https://doi.org/10.1145/2818052.2869122.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1246 |
Kabakova, Irina, Anouk De Hoogh, Ruben Van Der Wel, Matthias Wulf, Boris Le Feber, and Laurens Kuipers. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep22665.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1248 |
Tkačik, Gašper, and William Bialek. “Information Processing in Living Systems.” Annual Review of Condensed Matter Physics. Annual Reviews, 2016. https://doi.org/10.1146/annurev-conmatphys-031214-014803.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1249 |
Saha, Arnab, Masatoshi Nishikawa, Martin Behrndt, Carl-Philipp J Heisenberg, Frank Julicher, and Stephan Grill. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal. Biophysical Society, 2016. https://doi.org/10.1016/j.bpj.2016.02.013.
[Published Version]
View
| Files available
| DOI