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.
2550 Publications
2016 | Journal Article | IST-REx-ID: 1219 | 
Lee J, Schnelli K, Stetler B, Yau H. Bulk universality for deformed wigner matrices. Annals of Probability. 2016;44(3):2349-2425. doi:10.1214/15-AOP1023
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1220 |
Mikić G, Stoll A, Bevirt J, Grah R, Moore M. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. In: AIAA; 2016:1-19. doi:10.2514/6.2016-3764
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1221 |
Michalko J, Glanc M, Perrot Rechenmann C, Friml J. Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. F1000 Research . 2016;5. doi:10.12688/f1000research.7654.1
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1222 |
Musin O, Nikitenko A. Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. 2016;55(1):1-20. doi:10.1007/s00454-015-9742-6
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1223 |
Froese R, Lee D, Sadel C, Spitzer W, Stolz G. Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. 2016;6(3):557-600. doi:10.4171/JST/132
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1225 |
Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. Practical round-optimal blind signatures in the standard model from weaker assumptions. In: Vol 9841. Springer; 2016:391-408. doi:10.1007/978-3-319-44618-9_21
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1226 |
Fiedorczuk K, Letts JA, Degliesposti G, Kaszuba K, Skehel M, Sazanov LA. Atomic structure of the entire mammalian mitochondrial complex i. Nature. 2016;538(7625):406-410. doi:10.1038/nature19794
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1227 |
Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:10.1007/978-3-319-47151-8_9
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1229 |
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Offline witness encryption. In: Vol 9696. Springer; 2016:285-303. doi:10.1007/978-3-319-39555-5_16
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1230 |
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1231 |
Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. On the complexity of scrypt and proofs of space in the parallel random oracle model. In: Vol 9666. Springer; 2016:358-387. doi:10.1007/978-3-662-49896-5_13
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1233 |
Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. Standard security does imply security against selective opening for markov distributions. In: Vol 9562. Springer; 2016:282-305. doi:10.1007/978-3-662-49096-9_12
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1234 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1235 |
Abusalah HM, Fuchsbauer G. Constrained PRFs for unbounded inputs with short keys. In: Vol 9696. Springer; 2016:445-463. doi:10.1007/978-3-319-39555-5_24
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1236 |
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Constrained PRFs for unbounded inputs. In: Vol 9610. Springer; 2016:413-428. doi:10.1007/978-3-319-29485-8_24
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1238 |
von Wangenheim D, Rosero A, Komis G, et al. Endosomal interactions during root hair growth. Frontiers in Plant Science. 2016;6(JAN2016). doi:10.3389/fpls.2015.01262
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1240 |
Kornienko A, Dotter C, Guenzl P, et al. Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. 2016;17(1). doi:10.1186/s13059-016-0873-8
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1241 |
Uecker H, Hermisson J. The role of recombination in evolutionary rescue. Genetics. 2016;202(2):721-732. doi:10.1534/genetics.115.180299
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1242 |
Sokolowski TR, Walczak A, Bialek W, Tkačik G. Extending the dynamic range of transcription factor action by translational regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2016;93(2). doi:10.1103/PhysRevE.93.022404
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1244 |
Recouvreux P, Sokolowski TR, Grammoustianou A, Tenwolde P, Dogterom M. Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. 2016;113(7):1811-1816. doi:10.1073/pnas.1419248113
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1246 |
Kabakova I, De Hoogh A, Van Der Wel R, Wulf M, Le Feber B, Kuipers L. Imaging of electric and magnetic fields near plasmonic nanowires. Scientific Reports. 2016;6. doi:10.1038/srep22665
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1247 |
Karampelias M, Neyt P, De Groeve S, et al. ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. 2016;113(10):2768-2773. doi:10.1073/pnas.1501343112
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1248 |
Tkačik G, Bialek W. Information processing in living systems. Annual Review of Condensed Matter Physics. 2016;7:89-117. doi:10.1146/annurev-conmatphys-031214-014803
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1249 |
Saha A, Nishikawa M, Behrndt M, Heisenberg C-PJ, Julicher F, Grill S. Determining physical properties of the cell cortex. Biophysical Journal. 2016;110(6):1421-1429. doi:10.1016/j.bpj.2016.02.013
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1250 |
Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 2016;12(4). doi:10.1371/journal.pgen.1005974
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1251 |
Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1252 |
Harker S, Kokubu H, Mischaikow K, Pilarczyk P. Inducing a map on homology from a correspondence. Proceedings of the American Mathematical Society. 2016;144(4):1787-1801. doi:10.1090/proc/12812
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1253 |
Tsai L, Siegert S. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 2016;73(4):409-410. doi:10.1001/jamapsychiatry.2015.3144
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1254 |
Golmakani A, Luzzatto S, Pilarczyk P. Uniform expansivity outside a critical neighborhood in the quadratic family. Experimental Mathematics. 2016;25(2):116-124. doi:10.1080/10586458.2015.1048011
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1255 |
Peuß R, Wensing K, Woestmann L, et al. Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction. Royal Society Open Science. 2016;3(4). doi:10.1098/rsos.160138
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1256 |
Jiang Y, Yang Y, Liu H, et al. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. In: IEEE; 2016. doi:10.1109/RTAS.2016.7461337
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1257 |
Sadel C, Virág B. A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. 2016;343(3):881-919. doi:10.1007/s00220-016-2600-4
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1259 |
Bräunlich G, Hainzl C, Seiringer R. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 2016;19(2). doi:10.1007/s11040-016-9209-x
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1260 |
De Martino D. The dual of the space of interactions in neural network models. International Journal of Modern Physics C. 2016;27(6). doi:10.1142/S0129183116500674
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1261 |
Maas J, Matthes D. Long-time behavior of a finite volume discretization for a fourth order diffusion equation. Nonlinearity. 2016;29(7):1992-2023. doi:10.1088/0951-7715/29/7/1992
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon D, Natsopoulou M, Doublet V, et al. Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. 2016;283(1833). doi:10.1098/rspb.2016.0811
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1263 |
Rueda A, Sedlmeir F, Collodo M, et al. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 2016;3(6):597-604. doi:10.1364/OPTICA.3.000597
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1264 |
Sancho Andrés G, Soriano Ortega E, Gao C, et al. Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier. Plant Physiology. 2016;171(3):1965-1982. doi:10.1104/pp.16.00373
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1266 |
Chalk MJ, Gutkin B, Denève S. Neural oscillations as a signature of efficient coding in the presence of synaptic delays. eLife. 2016;5(2016JULY). doi:10.7554/eLife.13824
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1267 |
Frank R, Killip R, Nam P. Nonexistence of large nuclei in the liquid drop model. Letters in Mathematical Physics. 2016;106(8):1033-1036. doi:10.1007/s11005-016-0860-8
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1269 |
Benková E. Plant hormones in interactions with the environment. Plant Molecular Biology. 2016;91(6):597. doi:10.1007/s11103-016-0501-8
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1130 |
Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016.
View
| Files available
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1432 |
Mishra RK, Kim S, Guzmán J, Jonas PM. Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. 2016;7. doi:10.1038/ncomms11552
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396 |
Mishra RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz J. Quantitative analysis of haptotactic cell migration. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1121 |
Acar H. Selective barriers to horizontal gene transfer. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1131 |
Tugrul M. Evolution of transcriptional regulatory sequences. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125 |
Novak S. Evolutionary proccesses in variable emvironments. 2016.
View
| Files available
2016 | Research Data | IST-REx-ID: 5554 |
Tugrul M. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. 2016. doi:10.15479/AT:ISTA:43
View
| Files available
| DOI