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.

2621 Publications


2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In Proceedings - Annual IEEE Symposium on Foundations of Computer Science (Vol. 2016–December). New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/FOCS.2016.88
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen, S., Barton, N. H., & Schlötterer, C. (2016). Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msw210
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. Elsevier. https://doi.org/10.1016/j.plrev.2016.10.004
View | Files available | 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 . Elsevier. https://doi.org/10.1016/j.zool.2016.03.006
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu, F., Rishishwar, L., Sivadas, A., Mitchell, G., King, J., Murphy, T., … 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. American Society for Microbiology. https://doi.org/10.1128/JCM.01511-16
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. Mathematical Association of America. https://doi.org/10.4169/amer.math.monthly.123.6.609
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 (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer. https://doi.org/10.1007/978-3-319-48989-6_47
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. Wiley-Blackwell. https://doi.org/10.1002/cphc.201601042
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, J. A., Degliesposti, G., Fiedorczuk, K., Skehel, M., & Sazanov, L. A. (2016). Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M116.735142
View | DOI | Download Submitted Version (ext.)
 

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. Cell Press. https://doi.org/10.1016/j.cub.2016.08.067
View | Files available | 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. Polish Academy of Sciences Publishing House.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, A., Van Alphen, P., Hasdemir, D., Kramer, G., Iqbal, M., Van Grondelle, W., … 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. American Society for Microbiology. https://doi.org/10.1128/AEM.00256-16
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. Institute of Mathematical Statistics. https://doi.org/10.1214/15-AOP1023
View | DOI | Download Preprint (ext.)
 

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 (pp. 1–19). Presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA: AIAA. https://doi.org/10.2514/6.2016-3764
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 . F1000 Research Ltd. . https://doi.org/10.12688/f1000research.7654.1
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. Springer. https://doi.org/10.1007/s00454-015-9742-6
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. European Mathematical Society. https://doi.org/10.4171/JST/132
View | DOI | Download Preprint (ext.)
 

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 (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-44618-9_21
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk, K., Letts, J. A., Degliesposti, G., Kaszuba, K., Skehel, M., & Sazanov, L. A. (2016). Atomic structure of the entire mammalian mitochondrial complex i. Nature. Nature Publishing Group. https://doi.org/10.1038/nature19794
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, T. A., Jiang, Y., & Schilling, C. (2016). Discrete abstraction of multiaffine systems (Vol. 9957, pp. 128–144). Presented at the HSB: Hybrid Systems Biology, Grenoble, France: Springer. https://doi.org/10.1007/978-3-319-47151-8_9
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_16
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, P., Gupta, A., & Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_16
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen, J. F., Chen, B., Kamath Hosdurg, C., Kolmogorov, V., Pietrzak, K. Z., & Tessaro, S. (2016). On the complexity of scrypt and proofs of space in the parallel random oracle model (Vol. 9666, pp. 358–387). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-662-49896-5_13
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer, G., Heuer, F., Kiltz, E., & Pietrzak, K. Z. (2016). Standard security does imply security against selective opening for markov distributions (Vol. 9562, pp. 282–305). Presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-662-49096-9_12
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-662-49674-9_7
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah, H. M., & Fuchsbauer, G. (2016). Constrained PRFs for unbounded inputs with short keys (Vol. 9696, pp. 445–463). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_24
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Constrained PRFs for unbounded inputs (Vol. 9610, pp. 413–428). Presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-29485-8_24
View | Files available | 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. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2015.01262
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1240 | OA
Kornienko, A., Dotter, C., Guenzl, P., Gisslinger, H., Gisslinger, B., Cleary, C., … Barlow, D. (2016). Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-016-0873-8
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. Genetics Society of America. https://doi.org/10.1534/genetics.115.180299
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242 | OA
Sokolowski, T. R., 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. American Institute of Physics. https://doi.org/10.1103/PhysRevE.93.022404
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1244 | OA
Recouvreux, P., Sokolowski, T. R., Grammoustianou, A., Tenwolde, P., & Dogterom, M. (2016). Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1419248113
View | DOI | Download Submitted Version (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1247 | OA
Karampelias, M., Neyt, P., De Groeve, S., Aesaert, S., Coussens, G., Rolčík, J., … Van Lijsebettens, M. (2016). ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1501343112
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1248 | OA
Tkačik, G., & Bialek, W. (2016). Information processing in living systems. Annual Review of Condensed Matter Physics. Annual Reviews. https://doi.org/10.1146/annurev-conmatphys-031214-014803
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1249 | OA
Saha, A., Nishikawa, M., Behrndt, M., Heisenberg, C.-P. J., Julicher, F., & Grill, S. (2016). Determining physical properties of the cell cortex. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2016.02.013
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1250 | OA
Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1251 | OA
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 | OA
Harker, S., Kokubu, H., Mischaikow, K., & Pilarczyk, P. (2016). Inducing a map on homology from a correspondence. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12812
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1253 | OA
Tsai, L., & Siegert, S. (2016). How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. American Medical Association. https://doi.org/10.1001/jamapsychiatry.2015.3144
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1254 | OA
Golmakani, A., Luzzatto, S., & Pilarczyk, P. (2016). Uniform expansivity outside a critical neighborhood in the quadratic family. Experimental Mathematics. Taylor and Francis. https://doi.org/10.1080/10586458.2015.1048011
View | DOI | Download Preprint (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1256 | OA
Jiang, Y., Yang, Y., Liu, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria: IEEE. https://doi.org/10.1109/RTAS.2016.7461337
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1257 | OA
Sadel, C., & Virág, B. (2016). A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-016-2600-4
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2016). Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-016-9209-x
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1260 | OA
De Martino, D. (2016). The dual of the space of interactions in neural network models. International Journal of Modern Physics C. World Scientific Publishing. https://doi.org/10.1142/S0129183116500674
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1261 | OA
Maas, J., & Matthes, D. (2016). Long-time behavior of a finite volume discretization for a fourth order diffusion equation. Nonlinearity. IOP Publishing Ltd. https://doi.org/10.1088/0951-7715/29/7/1992
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1263 | OA
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Efficient microwave to optical photon conversion: An electro-optical realization. Optica. OSA Publishing. https://doi.org/10.1364/OPTICA.3.000597
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1264 | OA
Sancho Andrés, G., Soriano Ortega, E., Gao, C., Bernabé Orts, J., Narasimhan, M., Müller, A., … Marcote, M. (2016). Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00373
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1266 | OA
Chalk, M. J., Gutkin, B., & Denève, S. (2016). Neural oscillations as a signature of efficient coding in the presence of synaptic delays. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.13824
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1267 | OA
Frank, R., Killip, R., & Nam, P. (2016). Nonexistence of large nuclei in the liquid drop model. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0860-8
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1269 | OA
Benková, E. (2016). Plant hormones in interactions with the environment. Plant Molecular Biology. Springer. https://doi.org/10.1007/s11103-016-0501-8
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria.
View | Files available | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra, R. K., Kim, S., Guzmán, J., & Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms11552
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1121 | OA
Acar, H. (2016). Selective barriers to horizontal gene transfer. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
Novak, S. (2016). Evolutionary proccesses in variable emvironments. IST Austria.
View | Files available
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul, M. (2016). Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. IST Austria. https://doi.org/10.15479/AT:ISTA:43
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1124 | OA
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2016). Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002382
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2016.0811
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad. https://doi.org/10.5061/dryad.cq7t1
View | Files available | DOI | Download Published Version (ext.)
 

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. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005148
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Barton, N. H. (2016). Data from: How does epistasis influence the response to selection? Dryad. https://doi.org/10.5061/dryad.s5s7r
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner, A. F., Eichner, A., Müller, J., REVERSAT, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, S., Bergmiller, T., Bischofberger, A. M., & Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv270
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, V., Thapper, J., & Živný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/130945648
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris, M., & Sixt, M. K. (2015). Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2015.08.001
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev, R., Kynčl, J., Paták, P., Patakova, Z., & Tancer, M. (2015). Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9720-z
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2015). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 259–268). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728608
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L., … Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.92.022514
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk, J., Schickling, T., & Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. Wiley. https://doi.org/10.1002/pssb.201552082
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, M., Kaczmarczyk, J., & Spałek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.92.125135
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkačik, G., & Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004304
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1698 | OA
Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., & Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.001
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker, H., Setter, D., & Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. Springer. https://doi.org/10.1007/s00285-014-0802-y
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
Van Loon, E., Katsnelson, M., & Lemeshko, M. (2015). Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.92.081106
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkačik, G., Mora, T., Marre, O., Amodei, D., Palmer, S., Berry Ii, M., & Bialek, W. (2015). Thermodynamics and signatures of criticality in a network of neurons. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1514188112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
Deuchert, A., Hainzl, C., & Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-015-0787-5
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706 | OA
Pentina, A., & Ben David, S. (2015). Multi-task and lifelong learning of kernels (Vol. 9355, pp. 194–208). Presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada: Springer. https://doi.org/10.1007/978-3-319-24486-0_13
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter, J., Kanodia, A., Gupta, R., Nowak, M., & Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society. https://doi.org/10.1098/rspb.2015.1041
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
Akopyan, A., & Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. SIAM. https://doi.org/10.1137/140993843
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
Ratheesh, A., Belyaeva, V., & Siekhaus, D. E. (2015). Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2015.07.003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière, É., Hubard, A., & de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9679-9
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.06.003
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. https://doi.org/10.1109/ICRA.2015.7139019
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
Ando, R., Thürey, N., & Wojtan, C. J. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12576
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793 | OA
Symonova, O., Topp, C., & Edelsbrunner, H. (2015). DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0127657
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1804 | OA
Altmeyer, S., Do, Y., & Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep10781
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807 | OA
Goldman, M., & Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences. https://doi.org/10.1051/cocv/2014040
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1810 | OA
Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. Elsevier. https://doi.org/10.1016/j.mib.2015.05.008
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811 | OA
Safari, L., Santos, J., Amaro, P., Jänkälä, K., & Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4921227
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications