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: 1179 | OA
Pietrzak KZ, Maciej S. 2016. Pseudoentropy: Lower-bounds for chain rules and transformations. TCC: Theory of Cryptography Conference, LNCS, vol. 9985, 183–203.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1181
Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. 2016. Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience. 36(45), 11394–11401.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee K, Ibsen-Jensen R, Tkadlec J. 2016. Robust draws in balanced knockout tournaments. IJCAI: International Joint Conference on Artificial Intelligence vol. 2016–January, 172–179.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler S, Heinze J, Schrempf A. 2016. Mating and longevity in ant males. Ecology and Evolution. 6(24), 8903–8906.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1185
Cucinotta M, Manrique S, Guazzotti A, Quadrelli N, Mendes M, Benková E, Colombo L. 2016. Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. Development. 143(23), 4419–4424.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez J, Saleh M, Alcorlo M, Gómez Mejóa A, Pantoja Uceda D, Treviño M, Vob F, Abdullah M, Galán Bartual S, Seinen J, Sánchez Murcia P, Gago F, Bruix M, Hammerschmidt S, Hermoso J. 2016. Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. 6, 38094.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1188 | OA
De Martino D, Masoero D. 2016. Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth. Journal of Statistical Mechanics: Theory and Experiment. 2016(12), 123502.
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1189 | OA
Jochum C. 2016. Dissipative Few-Body Quantum Systems. Technical University Vienna.
View | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen S, Barton NH, Schlötterer C. 2016. Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. 34(1), 174–184.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1200 | OA
Hilbe C, Traulsen A. 2016. Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze. Physics of Life Reviews. 19, 29–31.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1201
Renkawitz J, Sixt MK. 2016. Formin’ a nuclear protection. Cell. 167(6), 1448–1449.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic B, Peuß R, Ferro K, Kurtz J. 2016. Immune priming in arthropods: an update focusing on the red flour beetle. Zoology . 119(4), 254–261.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu F, Rishishwar L, Sivadas A, Mitchell G, King J, Murphy T, Gilsdorf J, Mayer L, Wang X. 2016. Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. Journal of Clinical Microbiology. 54(12), 3010–3017.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir A, Lemeshko M, Tokieda T. 2016. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 123(6), 609–612.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko E, Lemeshko M. 2016. Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. 17(22), 3649–3654.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts JA, Degliesposti G, Fiedorczuk K, Skehel M, Sazanov LA. 2016. Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. 291(47), 24657–24675.
View | DOI | Download Submitted Version (ext.)
 

2016 | Book Chapter | IST-REx-ID: 1210
Zhu Q, Žádníková P, Smet D, Van Der Straeten D, Benková E. 2016.Real time analysis of the apical hook development. In: Plant Hormones. Methods in Molecular Biology, vol. 1497, 1–8.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. 2016. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. 26(22), 3026–3032.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1214
Martius GS, Hostettler R, Knoll A, Der R. 2016. Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm. IEEE RSJ International Conference on Intelligent Robots and Systems IROS vol. 2016–November, 7759138.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten J, Reininghaus J, Hotz I, Hege H, Noack B, Daviller G, Morzyński M. 2016. Acceleration feature points of unsteady shear flows. Archives of Mechanics. 68(1), 55–80.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar V, Hons M, Punzón C, Stein J, Sancho D, Fresno Forcelledo M, Cuesta N. 2016. Efficient T-cell priming and activation requires signaling through prostaglandin E2 (EP) receptors. Immunology and Cell Biology. 94(1), 39–51.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr A, Van Alphen P, Hasdemir D, Kramer G, Iqbal M, Van Grondelle W, Hoefsloot H, Choi Y, Hellingwerf K. 2016. Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. Applied and Environmental Microbiology. 82(14), 4180–4189.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee J, Schnelli K, Stetler B, Yau H. 2016. Bulk universality for deformed wigner matrices. Annals of Probability. 44(3), 2349–2425.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 122 | OA
Waitukaitis SR, Van Hecke M. 2016. Origami building blocks: Generic and special four-vertices. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 93(2), 023003.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić G, Stoll A, Bevirt J, Grah R, Moore M. 2016. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. AIAA: Aviation Technology, Integration, and Operations Conference, 1–19.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko J, Glanc M, Perrot Rechenmann C, Friml J. 2016. Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. F1000 Research . 5, 86.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin O, Nikitenko A. 2016. Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. 55(1), 1–20.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese R, Lee D, Sadel C, Spitzer W, Stolz G. 2016. Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. 6(3), 557–600.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1224
Teitel Z, Pickup M, Field D, Barrett S. 2016. The dynamics of resource allocation and costs of reproduction in a sexually dimorphic, wind-pollinated dioecious plant. Plant Biology. 18(1), 98–103.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. 2016. Practical round-optimal blind signatures in the standard model from weaker assumptions. SCN: Security and Cryptography for Networks, LNCS, vol. 9841, 391–408.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk K, Letts JA, Degliesposti G, Kaszuba K, Skehel M, Sazanov LA. 2016. Atomic structure of the entire mammalian mitochondrial complex i. Nature. 538(7625), 406–410.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong H, Bartocci E, Bogomolov S, Grosu R, Henzinger TA, Jiang Y, Schilling C. 2016. Discrete abstraction of multiaffine systems. HSB: Hybrid Systems Biology, LNCS, vol. 9957, 128–144.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. 2016. On the complexity of scrypt and proofs of space in the parallel random oracle model. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9666, 358–387.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1232
Letts JA, Fiedorczuk K, Sazanov LA. 2016. The architecture of respiratory supercomplexes. Nature. 537(7622), 644–648.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. 2016. Standard security does imply security against selective opening for markov distributions. TCC: Theory of Cryptography Conference, LNCS, vol. 9562, 282–305.
View | DOI | Download Submitted Version (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 445–463.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. 2016. Computation of cubical Steenrod squares. CTIC: Computational Topology in Image Context, LNCS, vol. 9667, 140–151.
View | DOI
 

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

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

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

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

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

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

Search

Filter Publications