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.

6313 Publications


2016 | Conference Paper | IST-REx-ID: 1234 | OA
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1235 | OA
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1237
Computation of cubical Steenrod squares
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1238 | OA
Endosomal interactions during root hair growth
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1239
Cortical flow-driven shapes of nonadherent cells
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 116 (2016).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1240 | OA
Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).
View | Files available | DOI
 

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

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

2016 | Journal Article | IST-REx-ID: 1243
Bacterial autoimmunity due to a restriction-modification system
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
View | Files available | DOI
 

Search

Filter Publications