Please note that IST 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.

2988 Publications


2016 | Conference Paper | IST-REx-ID: 1227 | OA
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Offline witness encryption,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 285–303.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
J. F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K. Z. Pietrzak, and S. Tessaro, “On the complexity of scrypt and proofs of space in the parallel random oracle model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9666, pp. 358–387.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
G. Fuchsbauer, F. Heuer, E. Kiltz, and K. Z. Pietrzak, “Standard security does imply security against selective opening for markov distributions,” presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel, 2016, vol. 9562, pp. 282–305.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1235 | OA
H. M. Abusalah and G. Fuchsbauer, “Constrained PRFs for unbounded inputs with short keys,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 445–463.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Constrained PRFs for unbounded inputs,” presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA, 2016, vol. 9610, pp. 413–428.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1238 | OA
D. von Wangenheim et al., “Endosomal interactions during root hair growth,” Frontiers in Plant Science, vol. 6, no. JAN2016, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1240 | OA
A. Kornienko et al., “Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans,” Genome Biology, vol. 17, no. 1, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1241 | OA
H. Uecker and J. Hermisson, “The role of recombination in evolutionary rescue,” Genetics, vol. 202, no. 2, pp. 721–732, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242 | OA
T. R. Sokolowski, A. Walczak, W. Bialek, and G. Tkacik, “Extending the dynamic range of transcription factor action by translational regulation,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 93, no. 2, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1244 | OA
P. Recouvreux, T. R. Sokolowski, A. Grammoustianou, P. Tenwolde, and M. Dogterom, “Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells,” PNAS, vol. 113, no. 7, pp. 1811–1816, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1246 | OA
I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, and L. Kuipers, “Imaging of electric and magnetic fields near plasmonic nanowires,” Scientific Reports, vol. 6, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1247 | OA
M. Karampelias et al., “ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling,” PNAS, vol. 113, no. 10, pp. 2768–2773, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1248 | OA
G. Tkacik and W. Bialek, “Information processing in living systems,” Annual Review of Condensed Matter Physics, vol. 7, pp. 89–117, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1249 | OA
A. Saha, M. Nishikawa, M. Behrndt, C.-P. J. Heisenberg, F. Julicher, and S. Grill, “Determining physical properties of the cell cortex,” Biophysical Journal, vol. 110, no. 6, pp. 1421–1429, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1250 | OA
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Genetic manipulation of glycogen allocation affects replicative lifespan in E coli,” PLoS Genetics, vol. 12, no. 4, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1251 | OA
J. Zhu et al., “TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics,” Plant Cell, vol. 28, no. 4, pp. 930–948, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1252 | OA
S. Harker, H. Kokubu, K. Mischaikow, and P. Pilarczyk, “Inducing a map on homology from a correspondence,” Proceedings of the American Mathematical Society, vol. 144, no. 4, pp. 1787–1801, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications