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.
11357 Publications
2016 |
Published |
Journal Article |
IST-REx-ID: 18426 |
Non‐rigid puzzles
O. Litany, E. Rodolà, A.M. Bronstein, M.M. Bronstein, D. Cremers, Computer Graphics Forum 35 (2016) 135–143.
[Preprint]
View
| DOI
| Download Preprint (ext.)
O. Litany, E. Rodolà, A.M. Bronstein, M.M. Bronstein, D. Cremers, Computer Graphics Forum 35 (2016) 135–143.
2016 |
Published |
Journal Article |
IST-REx-ID: 18430
Sparsity and nullity: Paradigms for analysis dictionary learning
X. Bian, H. Krim, A.M. Bronstein, L. Dai, SIAM Journal on Imaging Sciences 9 (2016) 1107–1126.
View
| DOI
X. Bian, H. Krim, A.M. Bronstein, L. Dai, SIAM Journal on Imaging Sciences 9 (2016) 1107–1126.
2016 |
Published |
Conference Paper |
IST-REx-ID: 18434 |
Computing and processing correspondences with functional maps
M. Ovsjanikov, E. Corman, M. Bronstein, E. Rodolà, M. Ben-Chen, L. Guibas, F. Chazal, A.M. Bronstein, in:, SIGGRAPH ASIA 2016 Courses, ACM, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Ovsjanikov, E. Corman, M. Bronstein, E. Rodolà, M. Ben-Chen, L. Guibas, F. Chazal, A.M. Bronstein, in:, SIGGRAPH ASIA 2016 Courses, ACM, 2016.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1227 |
Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
[Submitted Version]
View
| Files available
| DOI
| WoS
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1229 |
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
[Submitted Version]
View
| Files available
| DOI
| WoS
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1230 |
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1231 |
On the complexity of scrypt and proofs of space in the parallel random oracle model
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
2016 |
Published |
Journal Article |
IST-REx-ID: 1232
The architecture of respiratory supercomplexes
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.
View
| DOI
| WoS
J.A. Letts, K. Fiedorczuk, L.A. Sazanov, Nature 537 (2016) 644–648.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1233 |
Standard security does imply security against selective opening for markov distributions
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1234 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1235 |
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1236 |
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
[Submitted Version]
View
| Files available
| DOI
| WoS
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
2016 |
Published |
Conference Paper |
IST-REx-ID: 1237
Computation of cubical Steenrod squares
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
View
| DOI
| WoS
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
2016 |
Published |
Journal Article |
IST-REx-ID: 1238 |
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).
[Published Version]
View
| Files available
| DOI
| WoS
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
2016 |
Published |
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
| WoS
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 116 (2016).
2016 |
Published |
Journal Article |
IST-REx-ID: 1240 |
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).
[Published Version]
View
| Files available
| DOI
| WoS
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).
2016 |
Published |
Journal Article |
IST-REx-ID: 1241 |
The role of recombination in evolutionary rescue
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.
2016 |
Published |
Journal Article |
IST-REx-ID: 1242 |
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).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
2016 |
Published |
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
| WoS
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
2016 |
Published |
Journal Article |
IST-REx-ID: 1244 |
Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.