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.

2453 Publications


2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6419   OA
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics, 15(4), e1008079. https://doi.org/10.1371/journal.pgen.1008079
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6060
Vicoso, B. (2019). Supplementary data for “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome” (Huylman, Toups et al., 2019). . IST Austria. https://doi.org/10.15479/AT:ISTA:6060
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546
Valosková, K. (2019). The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6546
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6565
Kundu, A., Garcia Soto, M., & Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6596   OA
Shehu, Y. (2019). Convergence results of forward-backward algorithms for sum of monotone operators in Banach spaces. Results in Mathematics, 74(4), 138. https://doi.org/10.1007/s00025-019-1061-4
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6609   OA
Barzanjeh, S., Redchenko, E., Peruzzo, M., Wulf, M., Lewis, D., Arnold, G. M., & Fink, J. M. (2019). Stationary entangled radiation from micromechanical motion. Nature, 570, 480–483. https://doi.org/10.1038/s41586-019-1320-2
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6508
Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell, 177(6), 1463–1479.e18. https://doi.org/10.1016/j.cell.2019.04.030
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6515   OA
Dyer, R., Vegter, G., & Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. Journal of Computational Geometry , 10(1), 223–256. https://doi.org/10.20382/jocg.v10i1a9
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6611   OA
Glanc, M., Fendrych, M., & Friml, J. (2019). PIN2 polarity establishment in arabidopsis in the absence of an intact cytoskeleton. Biomolecules, 9(6), 222. https://doi.org/10.3390/biom9060222
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6628   OA
Vegter, G., & Wintraecken, M. (2019). The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. In The 31st Canadian Conference in Computational Geometry (pp. 275–279). Edmonton, Canada.
View | Files available
 

2019 | Conference Paper | IST-REx-ID: 6642   OA
Dostalík, M., Průša, V., & Skrivan, T. (2019). On diffusive variants of some classical viscoelastic rate-type models. In AIP Conference Proceedings (Vol. 2107, p. 020002). Zlin, Czech Republic: AIP. https://doi.org/10.1063/1.5109493
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6647   OA
Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2019). The crossing Tverberg theorem. In 35th International Symposium on Computational Geometry (Vol. 129, p. 38:1-38:13). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.38
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6680   OA
Sachdeva, H. (2019). Effect of partial selfing and polygenic selection on establishment in a new habitat. Evolution, 73(9), 1729–1745. https://doi.org/10.1111/evo.13812
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6673
Alistarh, D.-A., Nadiradze, G., & Koval, N. (2019). Efficiency guarantees for parallel incremental algorithms under relaxed schedulers. In 31st ACM Symposium on Parallelism in Algorithms and Architectures (pp. 145–154). Phoenix, AZ, United States: ACM Press. https://doi.org/10.1145/3323165.3323201
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6717   OA
Igler, C., & Abedon, S. T. (2019). Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision. Frontiers in Microbiology, 10, 1171. https://doi.org/10.3389/fmicb.2019.01171
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6659
Zenmyo, N., Tokumaru, H., Uchinomiya, S., Fuchida, H., Tabata, S., Hamachi, I., … Ojida, A. (2019). Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan, 92(5), 995–1000. https://doi.org/10.1246/bcsj.20190034
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6779   OA
Suri, B., Pallantla, R. K., Schatz, M. F., & Grigoriev, R. O. (2019). Heteroclinic and homoclinic connections in a Kolmogorov-like flow. Physical Review E, 100(1), 013112. https://doi.org/10.1103/physreve.100.013112
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6786   OA
Hubert, C., Baruchi, Y., Mazuz-Harpaz, Y., Cohen, K., Biermann, K., Lemeshko, M., … Santos, P. (2019). Attractive dipolar coupling between stacked exciton fluids. Physical Review X, 9(2), 021026. https://doi.org/10.1103/PhysRevX.9.021026
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6793   OA
Akopyan, A., & Izmestiev, I. (2019). The Regge symmetry, confocal conics, and the Schläfli formula. Bulletin of the London Mathematical Society. https://doi.org/10.1112/blms.12276
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6818
Yumusak, C., Prochazkova, A. J., Apaydin, D. H., Seelajaroen, H., Sariciftci, N. S., Weiter, M., … Kovalenko, A. (2019). Indigoidine - Biosynthesized organic semiconductor. Dyes and Pigments, 171. https://doi.org/10.1016/j.dyepig.2019.107768
View | DOI
 

2019 | Thesis | IST-REx-ID: 6849
Rangel Guerrero, D. K. (2019). The role of CCK-interneurons in regulating hippocampal network dynamics. IST Austria. https://doi.org/10.15479/AT:ISTA:6849
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6856   OA
Pickup, M., Barton, N. H., Brandvain, Y., Fraisse, C., Yakimowski, S., Dixit, T., … Field, D. (2019). Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist, 224(3), 1035–1047. https://doi.org/10.1111/nph.16180
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6868   OA
Byczkowicz, N., Eshra, A., Montanaro-Punzengruber, J.-C., Trevisiol, A., Hirrlinger, J., Kole, M. H., … Hallermann, S. (2019). HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons. ELife, 8, e42766. https://doi.org/10.7554/eLife.42766
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6832
Krndija, D., Marjou, F. E., Guirao, B., Richon, S., Leroy, O., Bellaiche, Y., … Vignjevic, D. M. (2019). Active cell migration is critical for steady-state epithelial turnover in the gut. Science, 365(6454), 705–710. https://doi.org/10.1126/science.aau3429
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6837
Tavano, S., & Heisenberg, C.-P. J. (2019). Migrasomes take center stage. Nature Cell Biology, 21(8), 918–920. https://doi.org/10.1038/s41556-019-0369-3
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6844   OA
Picco, N., Hippenmeyer, S., Rodarte, J., Streicher, C., Molnár, Z., Maini, P. K., & Woolley, T. E. (2019). A mathematical insight into cell labelling experiments for clonal analysis. Journal of Anatomy, 235(3), 686–696. https://doi.org/10.1111/joa.13001
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6762   OA
Friesecke, G., & Kniely, M. (2019). New optimal control problems in density functional theory motivated by photovoltaics. Multiscale Modeling and Simulation, 17(3), 926–947. https://doi.org/10.1137/18M1207272
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6750   OA
Hashemi, S. A., Condo, C., Mondelli, M., & Gross, W. J. (2019). Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing, 67(22), 8854897. https://doi.org/10.1109/TSP.2019.2944738
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6825
Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. IST Austria. https://doi.org/10.15479/AT:ISTA:6825
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6755   OA
Picard, M. A. L., Vicoso, B., Roquis, D., Bulla, I., Augusto, R. C., Arancibia, N., … Cosseau, C. (2019). Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome. Genome Biology and Evolution, 11(7), 1909–1922. https://doi.org/10.1093/gbe/evz133
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6919   OA
Qi, C., Minin, G. D., Vercellino, I., Wutz, A., & Korkhov, V. M. (2019). Structural basis of sterol recognition by human hedgehog receptor PTCH1. Science Advances, 5(9), eaaw6490. https://doi.org/10.1126/sciadv.aaw6490
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6933   OA
Censor-Hillel, K., Dory, M., Korhonen, J., & Leitersdorf, D. (2019). Fast approximate shortest paths in the congested clique. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin (pp. 74–83). Toronto, ON, Canada: ACM. https://doi.org/10.1145/3293611.3331633
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6940   OA
Bighin, G., Defenu, N., Nándori, I., Salasnich, L., & Trombettoni, A. (2019). Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models. Physical Review Letters, 123(10), 100601. https://doi.org/10.1103/physrevlett.123.100601
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6983   OA
Kelemen, R. K., Rajakaruna, H., Cockburn, I., & Ganusov, V. (2019). Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells. Frontiers in Immunology, 10. https://doi.org/10.3389/fimmu.2019.02153
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6988
Nicolai, L., Gärtner, F. R., & Massberg, S. (2019). Platelets in host defense: Experimental and clinical insights. Trends in Immunology, 40(10), 922–938. https://doi.org/10.1016/j.it.2019.08.004
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7001
Schwayer, C., Shamipour, S., Pranjic-Ferscha, K., Schauer, A., Balda, M., Tada, M., … Heisenberg, C.-P. J. (2019). Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell, 179(4), 937–952.e18. https://doi.org/10.1016/j.cell.2019.10.006
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6952   OA
Henderson, P. M., & Ferrari, V. (2019). Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. https://doi.org/10.1007/s11263-019-01219-8
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6894   OA
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. IST Austria. https://doi.org/10.15479/AT:ISTA:6894
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6899   OA
Bornhorst, D., Xia, P., Nakajima, H., Dingare, C., Herzog, W., Lecaudey, V., … Abdelilah-Seyfried, S. (2019). Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions. Nature Communications, 10(1), 4113. https://doi.org/10.1038/s41467-019-12068-x
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7013   OA
Orell, T., Michailidis, A., Serbyn, M., & Silveri, M. (2019). Probing the many-body localization phase transition with superconducting circuits. Physical Review B, 100(13), 134504. https://doi.org/10.1103/physrevb.100.134504
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6887   OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140, p. 7). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 73   OA
Erbar, M., Maas, J., & Wirth, M. (2019). On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations, 58(1). https://doi.org/10.1007/s00526-018-1456-1
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6972   OA
Lenzen, C., & Rybicki, J. (2019). Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM, 66(5), 32. https://doi.org/10.1145/3339471
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 151   OA
Fischer, J. L., & Kneuss, O. (2019). Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity. Journal of Differential Equations, 266(1), 257–311. https://doi.org/10.1016/j.jde.2018.07.045
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 175   OA
Browning, T. D., & Loughran, D. (2019). Sieving rational points on varieties. Transactions of the American Mathematical Society, 371(8), 5757–5785.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5789
Petridou, N., Grigolon, S., Salbreux, G., Hannezo, E., & Heisenberg, C.-P. J. (2019). Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology, 21, 169–178. https://doi.org/10.1038/s41556-018-0247-4
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5878
Budanur, N. B., & Fleury, M. (2019). State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science, 29(1), 013122. https://doi.org/10.1063/1.5058279
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5943
Klotz, L., Gumowski, K., & Wesfreid, J. E. (2019). Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics, 863, 386–406. https://doi.org/10.1017/jfm.2018.974
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. (C. Enea & R. Piskac, Eds.). Presented at the Verification, Model Checking, and Abstract Interpretation, VMCAI, Cascais, Portugal: Springer. https://doi.org/10.1007/978-3-030-11245-5_22
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed