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
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.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

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 | 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: 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. Tkacik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1244 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1247 | OA
ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling
M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Rolčík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.
View | DOI | Download Submitted Version (ext.)
 

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

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

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

2016 | Journal Article | IST-REx-ID: 1251 | OA
TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics
J. Zhu, A. Bailly, M. Zwiewka, V. Sovero, M. Di Donato, P. Ge, J. Oehri, B. Aryal, P. Hao, M. Linnert, N. Burgardt, C. Lücke, M. Weiwad, M. Michel, O. Weiergräber, S. Pollmann, E. Azzarello, S. Mancuso, N. Ferro, Y. Fukao, C. Hoffmann, R. Wedlich Söldner, J. Friml, C. Thomas, M. Geisler, Plant Cell 28 (2016) 930–948.
View | DOI | Download Submitted Version (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1253 | OA
How MicroRNAs Are involved in splitting the mind
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1254 | OA
Uniform expansivity outside a critical neighborhood in the quadratic family
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1255 | OA
Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction
R. Peuß, K. Wensing, L. Woestmann, H. Eggert, B. Milutinovic, M. Sroka, J. Scharsack, J. Kurtz, S. Armitage, Royal Society Open Science 3 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1256 | OA
From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1257 | OA
A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1259 | OA
Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1260 | OA
The dual of the space of interactions in neural network models
D. De Martino, International Journal of Modern Physics C 27 (2016) 1650067.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1261 | OA View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1263 | OA
Efficient microwave to optical photon conversion: An electro-optical realization
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1264 | OA
Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1266 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1267 | OA
Nonexistence of large nuclei in the liquid drop model
R. Frank, R. Killip, P. Nam, Letters in Mathematical Physics 106 (2016) 1033–1036.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1269 | OA
Plant hormones in interactions with the environment
E. Benková, Plant Molecular Biology 91 (2016) 597.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1270 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1271 | OA
Steering cell migration by alternating blebs and actin-rich protrusions
A. Diz Muñoz, P. Romanczuk, W. Yu, M. Bergert, K. Ivanovitch, G. Salbreux, C.-P.J. Heisenberg, E. Paluch, BMC Biology 14 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1272 | OA
Generalized offsetting of planar structures using skeletons
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1273 | OA
Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3
S. Porco, A. Larrieu, Y. Du, A. Gaudinier, T. Goh, K. Swarup, R. Swarup, B. Kuempers, A. Bishopp, J. Lavenus, I. Casimiro, K. Hill, E. Benková, H. Fukaki, S. Brady, B. Scheres, B. Peéet, M. Bennett, Development 143 (2016) 3340–3349.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1274 | OA
Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1276 | OA
Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex
P. Postila, K. Kaszuba, P. Kuleta, I. Vattulainen, M. Sarewicz, A. Osyczka, T. Róg, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1277 | OA
Danger-associated peptide signaling in Arabidopsis requires clathrin
F. Ortiz Morea, D. Savatin, W. Dejonghe, R. Kumar, Y. Luo, M. Adamowski, J. Van Begin, K. Dressano, G. De Oliveira, X. Zhao, Q. Lu, A. Madder, J. Friml, D. De Moura, E. Russinova, PNAS 113 (2016) 11028–11033.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1278 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1279 | OA
Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the CA1 area of the hippocampus
K. Kovács, J. O’Neill, P. Schönenberger, M. Penttonen, D.K. Rangel Guerrero, J.L. Csicsvari, PLoS One 11 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1280 | OA
Fixed energy universality for generalized wigner matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1281 | OA
Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor
E. Bouguyon, F. Perrine Walker, M. Pervent, J. Rochette, C. Cuesta, E. Benková, A. Martinière, L. Bach, G. Krouk, A. Gojon, P. Nacry, Plant Physiology 172 (2016) 1237–1248.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1282 | OA
On eigenvalues of random complexes
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1286 | OA
Rotation of cold molecular ions inside a Bose-Einstein condensate
B. Midya, M. Tomza, R. Schmidt, M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 94 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1287 | OA
Modes and exceptional points in waveguides with impedance boundary conditions
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1289 | OA
The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, R. Kuvaev, S. Kashin, Pattern Recognition Letters 83 (2016) 13–22.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1290 | OA
Compounds that select against the tetracycline-resistance efflux pump
L. Stone, M. Baym, T. Lieberman, R.P. Chait, J. Clardy, R. Kishony, Nature Chemical Biology 12 (2016) 902–904.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications