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.

2615 Publications


2020 | Thesis | IST-REx-ID: 8958 | OA
Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8966 | OA
Reassembling gastrulation
A. Schauer, C.-P.J. Heisenberg, Developmental Biology (n.d.).
View | DOI | Download Published Version (ext.)
 

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

2020 | Journal Article | IST-REx-ID: 8973 | OA
Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8978 | OA View | Files available | DOI | PubMed | Europe PMC
 

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

2020 | Conference Paper | IST-REx-ID: 8987 | OA
Delayed authentication: Preventing replay and relay attacks in private contact tracing
K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 9000 | OA
Nonequilibrium models of optimal enhancer function
R. Grah, B. Zoller, G. Tkačik, PNAS 117 (2020) 31614–31622.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9007 | OA
Free rational points on smooth hypersurfaces
T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9039 | OA
Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies
J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis 52 (2020) 6222–6233.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9103 | OA
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9104 | OA
On the support of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9111 | OA
Probabilistic convergence and stability of random mapper graphs
A. Brown, O. Bobrowski, E. Munch, B. Wang, Journal of Applied and Computational Topology (2020).
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9114 | OA
Bidirectional electro-optic wavelength conversion in the quantum ground state
W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel, J.M. Fink, PRX Quantum 1 (2020).
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 9156 | OA
The weighted Gaussian curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 74–88.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9157 | OA
The weighted mean curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
View | Files available | DOI
 

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

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

2020 | Journal Article | IST-REx-ID: 7511 | OA
Benchmarking tomographic acquisition schemes for high-resolution structural biology
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 9194 | OA
Perspectives on quantum transduction
N. Lauk, N. Sinclair, S. Barzanjeh, J.P. Covey, M. Saffman, M. Spiropulu, C. Simon, Quantum Science and Technology 5 (2020).
View | Files available | DOI
 

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

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

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

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

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

2020 | Conference Paper | IST-REx-ID: 8725 | OA
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
View | Files available | DOI | arXiv
 

2020 | Research Data | IST-REx-ID: 8834 | OA View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 7541 | OA
Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials 32 (2020).
View | Files available | DOI
 
 

2020 | Journal Article | IST-REx-ID: 9249 | OA
Digital objects in rhombic dodecahedron grid
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
View | Files available | DOI
 
 

2020 | Journal Article | IST-REx-ID: 8755 | OA
Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, Physical Review Applied 14 (2020).
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7910 | OA
Microwave quantum illumination using a digital receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9001 | OA
Microwave quantum illumination with a digital phase-conjugated receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar Conference - Proceedings, IEEE, 2020.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
 

2020 | Conference Paper | IST-REx-ID: 9299 | OA
Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9308 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, U. Wagner, I. Mabillard, A.B. Skopenkov, Russian Mathematical Surveys 75 (2020) 1156–1158.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data Reference | IST-REx-ID: 9326 | OA
Charge transfer and chemo-mechanical coupling in respiratory complex I
C. Gupta, U. Khaniya, C. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A. Sazanov, C. Chipot, A. Singharoy, (2020).
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8740 | OA
Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Optogenetic alteration of hippocampal network activity
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7949 | OA
The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis
Smith S, Zhu S, Joos L, Roberts I, Nikonorova N, Vu L, Stes E, Cho H, Larrieu A, Xuan W, Goodall B, van de Cotte B, Waite J, Rigal A, R Harborough S, Persiau G, Vanneste S, Kirschner G, Vandermarliere E, Martens L, Stahl Y, Audenaert D, Friml J, Felix G, Simon R, Bennett M, Bishopp A, De Jaeger G, Ljung K, Kepinski S, Robert S, Nemhauser J, Hwang I, Gevaert K, Beeckman T, De Smet I. 2020. The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis. Molecular & Cellular Proteomics. 19(8), 1248–1262.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 9375 | OA
Haplotype tagging reveals parallel formation of hybrid races in two butterfly species
J.I. Meier, P.A. Salazar, M. Kučka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, BioRxiv (n.d.).
View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8724 | OA
On the sample complexity of adversarial multi-source PAC learning
N.H. Konstantinov, E. Frantar, D.-A. Alistarh, C. Lampert, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 5416–5425.
View | Files available | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9415 | OA
Inducing and exploiting activation sparsity for fast neural network inference
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 7802 | OA
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7652 | OA
Gene amplification as a form of population-level gene expression regulation
I. Tomanek, R. Grah, M. Lagator, A.M.C. Andersson, J.P. Bollback, G. Tkačik, C.C. Guet, Nature Ecology & Evolution 4 (2020) 612–625.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, IST Austria, 2020.
View | Files available | DOI
 

2020 | Book Chapter | IST-REx-ID: 7572 | OA
Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7942 | OA
Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
M. Hartstein, Y.T. Hsu, K.A. Modic, J. Porras, T. Loew, M.L. Tacon, H. Zuo, J. Wang, Z. Zhu, M.K. Chan, R.D. Mcdonald, G.G. Lonzarich, B. Keimer, S.E. Sebastian, N. Harrison, Nature Physics 16 (2020) 841–847.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7464 | OA
Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7569 | OA
The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7166 | OA
Collective force generation by molecular motors is determined by strain-induced unbinding
M.C. Ucar, R. Lipowsky, Nano Letters 20 (2020) 669–676.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7525 | OA
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
Salicylic acid targets protein phosphatase 2A to attenuate growth in plants
S. Tan, M.F. Abas, I. Verstraeten, M. Glanc, G. Molnar, J. Hajny, P. Lasák, I. Petřík, E. Russinova, J. Petrášek, O. Novák, J. Pospíšil, J. Friml, Current Biology 30 (2020) 381–395.e8.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7500 | OA
Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis
E. Mazur, I. Kulik, J. Hajny, J. Friml, New Phytologist 226 (2020) 1375–1383.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8822 | OA
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (JoVE) (2020).
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902 | OA
Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7889 | OA
Plants with genetically encoded autoluminescence
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8434 | OA
Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation
G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7258 | OA
New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7161 | OA
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7577 | OA
Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis (n.d.) 1–25.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8728 | OA
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 6918 | OA
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Zena Werb (1945-2020): Cell biology in context
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 27 | OA
Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 8 | OA
The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate
G. Trébuchet, P.B. Cattenoz, J. Zsámboki, D. Mazaud, D.E. Siekhaus, M. Fanto, A. Giangrande, Journal of Neuroscience 39 (2019) 238–255.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 80 | OA
Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
View | Files available | DOI
 

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

2019 | Preprint | IST-REx-ID: 8182 | OA View | Files available | Download Preprint (ext.) | arXiv
 

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

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

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2019.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 8570 | OA
ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
View | DOI | Download Published Version (ext.)
 

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

2019 | Journal Article | IST-REx-ID: 196 | OA
Harmonic dynamics of the Abelian sandpile
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Research Data | IST-REx-ID: 7154 | OA View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7165 | OA
Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 7172 | OA
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7180 | OA
Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7181 | OA
Large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7182 | OA
Systematic Y2H screening reveals extensive effector-complex formation
A. Alcântara, J. Bosch, F. Nazari, G. Hoffmann, M.C. Gallei, S. Uhse, M.A. Darino, T. Olukayode, D. Reumann, L. Baggaley, A. Djamei, Frontiers in Plant Science 10 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7183 | OA
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 7186 | OA
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7190 | OA
In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7197 | OA
Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 72 | OA
Limit law of a second class particle in TASEP with non-random initial condition
P. Ferrari, P. Ghosal, P. Nejjar, Annales de l’institut Henri Poincare (B) Probability and Statistics 55 (2019) 1203–1225.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7200 | OA
Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films
P. Brighi, M. Grilli, B. Leridon, S. Caprara, Physical Review B 100 (2019).
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7201 | OA
SparCML: High-performance sparse communication for machine learning
C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, T. Hoefler, in:, International Conference for High Performance Computing, Networking, Storage and Analysis, SC, ACM, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications