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.

6514 Publications


2018 | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, S., Chatterjee, K., & Novotný, P. (2018). Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (Vol. 2). Presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/3158122
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 326 | OA
Sawada, K., Kawakami, R., Shigemoto, R., & Nemoto, T. (2018). Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience. Wiley. https://doi.org/10.1111/ejn.13901
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
Michailidis, A., Žnidarič, M., Medvedyeva, M., Abanin, D., Prosen, T., & Papić, Z. (2018). Slow dynamics in translation-invariant quantum lattice models. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.97.104307
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
Choueiri, G. H., Lopez Alonso, J. M., & Hof, B. (2018). Exceeding the asymptotic limit of polymer drag reduction. Physical Review Letters. American Physiological Society. https://doi.org/10.1103/PhysRevLett.120.124501
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 33 | OA
Bertl, J., Ringbauer, H., & Blum, M. (2018). Can secondary contact following range expansion be distinguished from barriers to gene flow? PeerJ. PeerJ Inc . https://doi.org/10.7717/peerj.5325
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
Clarke, E. M., Henzinger, T. A., Veith, H., & Bloem, R. (2018). Handbook of model checking (1st ed.). Springer. https://doi.org/10.1007/978-3-319-10575-8
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, K., Chemlík, M., & Topcu, U. (2018). Sensor synthesis for POMDPs with reachability objectives (Vol. 2018, pp. 47–55). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Delft, Netherlands: AAAI Press.
View | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 36 | OA
Vu, L., Zhu, T., Verstraeten, I., Van De Cotte, B., Gevaert, K., & De Smet, I. (2018). Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/ery204
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
Zagórski, M. P., & Kicheva, A. (2018). Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In Morphogen Gradients (Vol. 1863, pp. 47–63). Springer Nature. https://doi.org/10.1007/978-1-4939-8772-6_4
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Svozil, A. (2018). Algorithms and conditional lower bounds for planning problems. In 28th International Conference on Automated Planning and Scheduling . Delft, Netherlands: AAAI Press.
View | Files available | Download None (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 187 | OA
Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 131 | OA
Picard, M. A. L., Cosseau, C., Ferré, S., Quack, T., Grevelding, C., Couté, Y., & Vicoso, B. (2018). Evolution of gene dosage on the Z-chromosome of schistosome parasites. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.35684
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5586 | OA
Vicoso, B. (2018). Input files and scripts from “Evolution of gene dosage on the Z-chromosome of schistosome parasites” by Picard M.A.L., et al (2018). IST Austria. https://doi.org/10.15479/AT:ISTA:109
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5999 | OA
Yang, Y., & Zhao, G. (2018). The cohomological Hall algebra of a preprojective algebra. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/plms.12111
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9471 | OA
Frost, J. M., Kim, M. Y., Park, G. T., Hsieh, P.-H., Nakamura, M., Lin, S. J. H., … Fischer, R. L. (2018). FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1713333115
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 9567 | OA
Krivelevich, M., Kwan, M. A., Loh, P., & Sudakov, B. (2018). The random k‐matching‐free process. Random Structures and Algorithms. Wiley. https://doi.org/10.1002/rsa.20814
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9565 | OA
Ferber, A., Kwan, M. A., & Sudakov, B. (2018). Counting Hamilton cycles in sparse random directed graphs. Random Structures and Algorithms. Wiley. https://doi.org/10.1002/rsa.20815
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9568 | OA
Kwan, M. A., & Sudakov, B. (2018). Intercalates and discrepancy in random Latin squares. Random Structures and Algorithms. Wiley. https://doi.org/10.1002/rsa.20742
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9587 | OA
Kwan, M. A., Sudakov, B., & Vieira, P. (2018). Non-trivially intersecting multi-part families. Journal of Combinatorial Theory Series A. Elsevier. https://doi.org/10.1016/j.jcta.2017.12.001
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9659 | OA
Cheng, B., & Ceriotti, M. (2018). Communication: Computing the Tolman length for solid-liquid interfaces. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5038396
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Journal Article | IST-REx-ID: 9668 | OA
Cheng, B., Dellago, C., & Ceriotti, M. (2018). Theoretical prediction of the homogeneous ice nucleation rate: Disentangling thermodynamics and kinetics. Physical Chemistry Chemical Physics. Royal Society of Chemistry. https://doi.org/10.1039/c8cp04561e
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Journal Article | IST-REx-ID: 9665 | OA
Cheng, B., Paxton, A. T., & Ceriotti, M. (2018). Hydrogen diffusion and trapping in α-iron: The role of quantum and anharmonic fluctuations. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.120.225901
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Journal Article | IST-REx-ID: 9687 | OA
Cheng, B., & Ceriotti, M. (2018). Computing the absolute Gibbs free energy in atomistic simulations: Applications to defects in solids. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.97.054102
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 612 | OA
Luján, R., Aguado, C., Ciruela, F., Cózar, J., Kleindienst, D., De La Ossa, L., … Fukazawa, Y. (2018). Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. Springer. https://doi.org/10.1007/s00429-017-1568-y
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 449 | OA
Prat, T., Hajny, J., Grunewald, W., Vasileva, M. K., Molnar, G., Tejos, R., … Friml, J. (2018). WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007177
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 191 | OA
Grones, P., Abas, M. F., Hajny, J., Jones, A., Waidmann, S., Kleine Vehn, J., & Friml, J. (2018). PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. Scientific Reports. Springer. https://doi.org/10.1038/s41598-018-28188-1
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 15 | OA
Hons, M., Kopf, A., Hauschild, R., Leithner, A. F., Gärtner, F. R., Abe, J., … Sixt, M. K. (2018). Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/s41590-018-0109-z
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 402 | OA
Brown, M., Assen, F. P., Leithner, A. F., Abe, J., Schachner, H., Asfour, G., … Kerjaschki, D. (2018). Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aal3662
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 412 | OA
Adamowski, M., Narasimhan, M., Kania, U., Glanc, M., De Jaeger, G., & Friml, J. (2018). A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.17.00785
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 6263 | OA
Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:th1072
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51 | OA
Case, M. J. (2018). From the left to the right: A tale of asymmetries, environments, and hippocampal development. IST Austria. https://doi.org/10.15479/AT:ISTA:th_1032
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5914 | OA
Rangel Guerrero, D. K., Donnett, J. G., Csicsvari, J. L., & Kovács, K. (2018). Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning. ENeuro. Society of Neuroscience. https://doi.org/10.1523/ENEURO.0087-18.2018
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 395 | OA
Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . IST Austria. https://doi.org/10.15479/AT:ISTA:th_992
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 28
Contreras, X., & Hippenmeyer, S. (2018). Incorrect trafficking route leads to autism. Brain a Journal of Neurology. Oxford University Press. https://doi.org/10.1093/brain/awy218
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 544 | OA
György, A., Roblek, M., Ratheesh, A., Valosková, K., Belyaeva, V., Wachner, S., … Siekhaus, D. E. (2018). Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues. G3: Genes, Genomes, Genetics. Genetics Society of America. https://doi.org/10.1534/g3.117.300452
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 323 | OA
Leithner, A. F. (2018). Branched actin networks in dendritic cell biology. IST Austria. https://doi.org/10.15479/AT:ISTA:th_998
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10 | OA
Laukoter, S. (2018). Role of genomic imprinting in cerebral cortex development. IST Austria. https://doi.org/10.15479/AT:ISTA:th1057
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539 | OA
Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin cross-talk components. IST Austria. https://doi.org/10.15479/AT:ISTA:th_930
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48 | OA
Gridchyn, I. (2018). Reactivation content is important for consolidation of spatial memory. IST Austria. https://doi.org/10.15479/AT:ISTA:th_1042
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9 | OA
Belyaeva, V. (2018). Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . IST Austria. https://doi.org/10.15479/AT:ISTA:th1064
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 21 | OA
Espinoza Martinez, C. M., Guzmán, J., Zhang, X., & Jonas, P. M. (2018). Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-06899-3
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 67 | OA
Igler, C., Lagator, M., Tkačik, G., Bollback, J. P., & Guet, C. C. (2018). Evolutionary potential of transcription factors for gene regulatory rewiring. Nature Ecology and Evolution. Nature Publishing Group. https://doi.org/10.1038/s41559-018-0651-y
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5585 | OA
Igler, C., Lagator, M., Tkačik, G., Bollback, J. P., & Guet, C. C. (2018). Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring. IST Austria. https://doi.org/10.15479/AT:ISTA:108
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266 | OA
Mckenzie, C. (2018). Design and characterization of methods and biological components to realize synthetic neurotransmission . IST Austria. https://doi.org/10.15479/at:ista:th_1055
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 422 | OA
Kühnen, J., Scarselli, D., Schaner, M., & Hof, B. (2018). Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. Springer. https://doi.org/10.1007/s10494-018-9896-4
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 461 | OA
Kühnen, J., Song, B., Scarselli, D., Budanur, N. B., Riedl, M., Willis, A., … Hof, B. (2018). Destabilizing turbulence in pipe flow. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/s41567-017-0018-3
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Thesis | IST-REx-ID: 50 | OA
Capek, D. (2018). Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_1031
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
Steinrück, M. (2018). The influence of sequence context on the evolution of bacterial gene expression. IST Austria. https://doi.org/10.15479/AT:ISTA:th1059
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, K., Goharshady, A. K., & Velner, Y. (2018). Quantitative analysis of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89884-1_26
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, A. K., Behrouz, A., & Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In Proceedings of the IEEE International Conference on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE. https://doi.org/10.1109/Cybermatics_2018.2018.00231
View | Files available | DOI | arXiv
 

Search

Filter Publications