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.

2522 Publications


2020 | Journal Article | IST-REx-ID: 5681 | OA
Hikaru, I., Wojtan, C. J., Thuerey, N., Igarashi, T., & Ando, R. (2020). Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2018.2883628
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6184 | OA
Alt, J., Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Correlated random matrices: Band rigidity and edge universality. Annals of Probability. Project Euclid.
View | Files available | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6185 | OA
Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Cusp universality for random matrices I: Local law and the complex Hermitian case. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03657-4
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6358 | OA
Carlen, E. A., & Maas, J. (2020). Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-019-02434-w
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6359 | OA
Dareiotis, K., & Gerencser, M. (2020). On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-EJP479
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6488 | OA
Cipolloni, G., & Erdös, L. (2020). Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices. Random Matrices: Theory and Application. World Scientific Publishing. https://doi.org/10.1142/S2010326320500069
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6563 | OA
Filakovský, M., & Vokřínek, L. (2020). Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-019-09419-x
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6593 | OA
Shehu, Y., Li, X.-H., & Dong, Q.-L. (2020). An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. Springer Nature. https://doi.org/10.1007/s11075-019-00758-y
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6649 | OA
Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (2020). Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03505-5
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6761 | OA
Avni, G., Henzinger, T. A., & Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2019.06.031
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6796 | OA
Stella, F., Urdapilleta, E., Luo, Y., & Treves, A. (2020). Partial coherence and frustration in self-organizing spherical grids. Hippocampus. Wiley. https://doi.org/10.1002/hipo.23144
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6808 | OA
Jahr, W., Velicky, P., & Danzl, J. G. (2020). Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. Elsevier. https://doi.org/10.1016/j.ymeth.2019.07.019
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2020 | Journal Article | IST-REx-ID: 6965 | OA
Rychlewicz, K. P. (2020). The positivity of local equivariant Hirzebruch class for toric varieties. Bulletin of the London Mathematical Society. Wiley. https://doi.org/10.1112/blms.12442
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6997 | OA
Zhang, Y., & Friml, J. (2020). Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. Wiley. https://doi.org/10.1111/nph.16203
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7004 | OA
Rapcak, M., Soibelman, Y., Yang, Y., & Zhao, G. (2020). Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03575-5
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
Donahue, R., Maes, M. E., Grosser, J., & Nickells, R. (2020). BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. Springer Nature. https://doi.org/10.1007/s12035-019-01783-7
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7084 | OA
Ghosh, S., Matty, M., Baumbach, R., Bauer, E. D., Modic, K. A., Shekhter, A., … Ramshaw, B. J. (2020). One-component order parameter in URu2Si2 uncovered by resonant  ultrasound spectroscopy and machine learning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aaz4074
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 71 | OA
Gladbach, P., Kopfer, E., & Maas, J. (2020). Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/19M1243440
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7142 | OA
Gallei, M. C., Luschnig, C., & Friml, J. (2020). Auxin signalling in growth: Schrödinger’s cat out of the bag. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2019.10.003
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 8909 | OA
Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (n.d.). A singlet triplet hole spin qubit in planar Ge. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8910 | OA
Valentini, M., Peñaranda, F., Hofmann, A. C., Brauns, M., Hauschild, R., Krogstrup, P., … Katsaros, G. (n.d.). Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8911 | OA
Scappucci, G., Kloeffel, C., Zwanenburg, F. A., Loss, D., Myronov, M., Zhang, J.-J., … Veldhorst, M. (n.d.). The germanium quantum information route. Nature Reviews Materials. Springer Nature. https://doi.org/10.1038/s41578-020-00262-z
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8912 | OA
Sarac, N. E., Altun, Ö. F., Atam, K. T., Karahoda, S., Kaya, K., & Yenigün, H. (n.d.). Boosting expensive synchronizing heuristics. Expert Systems with Applications. Elsevier. https://doi.org/10.1016/j.eswa.2020.114203
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8914 | OA
Salamatina, A., Yang, J. H., Brenner-Morton, S., Bikoff, J. B., Fang, L., Kintner, C. R., … Sweeney, L. B. J. (2020). Differential loss of spinal interneurons in a mouse model of ALS. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2020.08.011
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8924 | OA
Nibau, C., Dadarou, D., Kargios, N., Mallioura, A., Fernandez-Fuentes, N., Cavallari, N., & Doonan, J. H. (2020). A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2020.586870
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8930 | OA
Kavcic, B. (2020). Analysis scripts and research data for the paper “Minimal biophysical model of combined antibiotic action.” IST Austria. https://doi.org/10.15479/AT:ISTA:8930
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8940 | OA
Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2020). Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00250-8
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8943 | OA
Tan, S., Di Donato, M., Glanc, M., Zhang, X., Klíma, P., Liu, J., … Friml, J. (2020). Non-steroidal anti-inflammatory drugs target TWISTED DWARF1-regulated actin dynamics and auxin transport-mediated plant development. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2020.108463
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8944 | OA
Zemlicka, M., Kopčík, M., Szabó, P., Samuely, T., Kačmarčík, J., Neilinger, P., … Samuely, P. (2020). Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.102.180508
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8949 | OA
Zhang, X., Mennicke, C. V., Xiao, G., Beattie, R. J., Haider, M., Hippenmeyer, S., & Ghashghaei, H. T. (2020). Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. MDPI. https://doi.org/10.3390/cells9122662
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8955 | OA
Rizzo, R., Zhang, X., Wang, J. W. J. L., Lombardi, F., & Ivanov, P. C. (2020). Network physiology of cortico–muscular interactions. Frontiers in Physiology. Frontiers. https://doi.org/10.3389/fphys.2020.558070
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8958 | OA
Li, X. (2020). Rotation of coupled cold molecules in the presence of a many-body environment. IST Austria. https://doi.org/10.15479/AT:ISTA:8958
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8966 | OA
Schauer, A., & Heisenberg, C.-P. J. (n.d.). Reassembling gastrulation. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2020.12.014
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8971 | OA
Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Wan, W., & Schur, F. K. (2020). Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-20286-x
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8973 | OA
Redig, F., Saada, E., & Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. Project Euclid. https://doi.org/10.1214/20-EJP536
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8978 | OA
Laukoter, S., Amberg, N., Pauler, F., & Hippenmeyer, S. (2020). Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. Elsevier. https://doi.org/10.1016/j.xpro.2020.100215
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8986 | OA
Zhang, Y., Rodriguez Solovey, L., Li, L., Zhang, X., & Friml, J. (2020). Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. AAAS. https://doi.org/10.1126/sciadv.abc8895
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8987 | OA
Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In Progress in Cryptology (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 9000 | OA
Grah, R., Zoller, B., & Tkačik, G. (2020). Nonequilibrium models of optimal enhancer function. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.2006731117
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9007 | OA
Browning, T. D., & Sawin, W. (2020). Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. European Mathematical Society. https://doi.org/10.4171/CMH/499
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9039 | OA
Fischer, J. L., Laux, T., & Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1322182
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9103 | OA
Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9104 | OA
Bao, Z., Erdös, L., & Schnelli, K. (2020). On the support of the free additive convolution. Journal d’Analyse Mathematique. Springer Nature. https://doi.org/10.1007/s11854-020-0135-2
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9111 | OA
Brown, A., Bobrowski, O., Munch, E., & Wang, B. (2020). Probabilistic convergence and stability of random mapper graphs. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-020-00063-x
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9114 | OA
Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel, H. G. L., & Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.1.020315
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9160 | OA
Semeradova, H., Montesinos López, J. C., & Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2020.100048
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9156 | OA
Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. Walter de Gruyter. https://doi.org/10.1515/cmb-2020-0101
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9157 | OA
Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. Walter de Gruyter. https://doi.org/10.1515/cmb-2020-0100
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8750 | OA
Forets, M., Freire, D., & Schilling, C. (2020). Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. Virtual Conference: IEEE. https://doi.org/10.1109/MEMOCODE51338.2020.9314994
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., & Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1921205117
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7511 | OA
Turoňová, B., Hagen, W. J. H., Obr, M., Mosalaganti, S., Beugelink, J. W., Zimmerli, C. E., … Beck, M. (2020). Benchmarking tomographic acquisition schemes for high-resolution structural biology. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-14535-2
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8188 | OA
Henderson, P. M., & Lampert, C. (2020). Unsupervised object-centric video generation and decomposition in 3D. In 34th Conference on Neural Information Processing Systems (Vol. 33, pp. 3106–3117). Vancouver, Canada: Curran Associates.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9194 | OA
Lauk, N., Sinclair, N., Barzanjeh, S., Covey, J. P., Saffman, M., Spiropulu, M., & Simon, C. (2020). Perspectives on quantum transduction. Quantum Science and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ab788a
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9195 | OA
Lambert, N. J., Rueda Sanchez, A. R., Sedlmeir, F., & Schwefel, H. G. L. (2020). Coherent conversion between microwave and optical photons - An overview of physical implementations. Advanced Quantum Technologies. Wiley. https://doi.org/10.1002/qute.201900077
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9198 | OA
Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784). Proceedings of Machine Learning Research.
View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8569 | OA
Hansen, A. H., & Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers. https://doi.org/10.3389/fcell.2020.574382
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7665 | OA
Eguchi, K., Velicky, P., Hollergschwandtner, E., Itakura, M., Fukazawa, Y., Danzl, J. G., & Shigemoto, R. (2020). Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions. Frontiers in Cellular Neuroscience. Frontiers Media. https://doi.org/10.3389/fncel.2020.00063
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9221 | OA
Nguyen, Q., & Mondelli, M. (2020). Global convergence of deep networks with one wide layer followed by pyramidal topology. In 34th Conference on Neural Information Processing Systems (Vol. 33, pp. 11961–11972). Vancouver, Canada: Curran Associates.
View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8725 | OA
Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2020). The splay-list: A distribution-adaptive concurrent skip-list. In 34th International Symposium on Distributed Computing (Vol. 179, p. 3:1-3:18). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2020.3
View | Files available | DOI | arXiv
 

2020 | Research Data | IST-REx-ID: 8834 | OA
Katsaros, G. (2020). Enhancement of proximity induced superconductivity in planar Germanium. IST Austria. https://doi.org/10.15479/AT:ISTA:8834
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8831 | OA
Aggarwal, K., Hofmann, A. C., Jirovec, D., Prieto Gonzalez, I., Sammak, A., Botifoll, M., … Katsaros, G. (n.d.). Enhancement of proximity induced superconductivity in planar Germanium. arXiv.
View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 7541 | OA
Gao, F., Wang, J.-H., Watzinger, H., Hu, H., Rančić, M. J., Zhang, J.-Y., … Zhang, J.-J. (2020). Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201906523
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 9222 | OA
Katsaros, G. (2020). Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling. IST Austria. https://doi.org/10.15479/AT:ISTA:9222
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9249 | OA
Biswas, R., Largeteau-Skapin, G., Zrour, R., & Andres, E. (2020). Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. De Gruyter. https://doi.org/10.1515/mathm-2020-0106
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). IST Austria. https://doi.org/10.15479/AT:ISTA:8254
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8755 | OA
Peruzzo, M., Trioni, A., Hassani, F., Zemlicka, M., & Fink, J. M. (2020). Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.14.044055
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7910 | OA
Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination using a digital receiver. Science Advances. AAAS. https://doi.org/10.1126/sciadv.abb0451
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9001 | OA
Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination with a digital phase-conjugated receiver. In IEEE National Radar Conference - Proceedings (Vol. 2020). Florence, Italy: IEEE. https://doi.org/10.1109/RadarConf2043947.2020.9266397
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 8951 | OA
Nagy-Staron, A. A. (2020). Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” IST Austria. https://doi.org/10.15479/AT:ISTA:8951
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9299 | OA
Pach, J., Tardos, G., & Tóth, G. (2020). Crossings between non-homotopic edges. In 28th International Symposium on Graph Drawing and Network Visualization (Vol. 12590, pp. 359–371). Virtual, Online: Springer Nature. https://doi.org/10.1007/978-3-030-68766-3_28
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9308 | OA
Avvakumov, S., Wagner, U., Mabillard, I., & Skopenkov, A. B. (2020). Eliminating higher-multiplicity intersections, III. Codimension 2. Russian Mathematical Surveys. IOP Publishing. https://doi.org/10.1070/RM9943
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7525 | OA
Bhandari, P. (2020). Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. IST Austria. https://doi.org/10.15479/AT:ISTA:7525
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7889 | OA
Mitiouchkina, T., Mishin, A. S., Gonzalez Somermeyer, L., Markina, N. M., Chepurnyh, T. V., Guglya, E. B., … Sarkisyan, K. S. (2020). Plants with genetically encoded autoluminescence. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-020-0500-9
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8434 | OA
Dimchev, G. A., Amiri, B., Humphries, A. C., Schaks, M., Dimchev, V., Stradal, T. E. B., … Rottner, K. (2020). Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.239020
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7161 | OA
Shehu, Y., Gibali, A., & Sagratella, S. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature. https://doi.org/10.1007/s10957-019-01616-6
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7577 | OA
Shehu, Y., & Iyiola, O. S. (n.d.). Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. Taylor & Francis. https://doi.org/10.1080/00036811.2020.1736287
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8728 | OA
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
Goharshady, A. K., & Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier. https://doi.org/10.1016/j.ress.2019.106665
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. IST Austria. https://doi.org/10.15479/AT:ISTA:7258
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt, M. K., & Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. Journal of Cell Biology. https://doi.org/10.1083/jcb.202007029
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 27 | OA
Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14601
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 8 | OA
Trébuchet, G., Cattenoz, P. B., Zsámboki, J., Mazaud, D., Siekhaus, D. E., Fanto, M., & Giangrande, A. (2019). The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1059-18.2018
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 80 | OA
Deuchert, A., Seiringer, R., & Yngvason, J. (2019). Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-018-3239-0
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 8175 | OA
Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). New edge asymptotics of skew Young diagrams via free boundaries. In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana, Slovenia: Formal Power Series and Algebraic Combinatorics.
View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8182 | OA
Avvakumov, S., & Kudrya, S. (n.d.). Vanishing of all equivariant obstructions and the mapping degree. arXiv. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8184 | OA
Avvakumov, S., Karasev, R., & Skopenkov, A. (n.d.). Stronger counterexamples to the topological Tverberg conjecture. arXiv. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8185 | OA
Avvakumov, S., & Karasev, R. (n.d.). Envy-free division using mapping degree. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, P., Fu, H., Chatterjee, K., Deng, Y., & Xu, M. (2019). Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In Proceedings of the ACM on Programming Languages (Vol. 4). ACM. https://doi.org/10.1145/3371093
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 8570 | OA
Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., … Schupp, S. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40). Montreal, Canada: EasyChair. https://doi.org/10.29007/bj1w
View | DOI | Download Published Version (ext.)
 

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. American Mathematical Society. https://doi.org/10.1090/tran/7514
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 196 | OA
Lang, M., & Shkolnikov, M. (2019). Harmonic dynamics of the Abelian sandpile. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1812015116
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Research Data | IST-REx-ID: 7154 | OA
Guseinov, R. (2019). Supplementary data for “Programming temporal morphing of self-actuated shells.” IST Austria. https://doi.org/10.15479/AT:ISTA:7154
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7156 | OA
Rueda Sanchez, A. R., Hease, W. J., Barzanjeh, S., & Fink, J. M. (2019). Electro-optic entanglement source for microwave to telecom quantum state transfer. Npj Quantum Information. Springer Nature. https://doi.org/10.1038/s41534-019-0220-5
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7165 | OA
Guerrero, P., Perez-Carrasco, R., Zagórski, M. P., Page, D., Kicheva, A., Briscoe, J., & Page, K. M. (2019). Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. The Company of Biologists. https://doi.org/10.1242/dev.176297
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 7172 | OA
Vasileva, M. K. (2019). Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. IST Austria. https://doi.org/10.15479/AT:ISTA:7172
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7179 | OA
Klotz, L., Wendler, O., Frischknecht, R., Shigemoto, R., Schulze, H., & Enz, R. (2019). Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. FASEB. https://doi.org/10.1096/fj.201901543R
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications