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.

6492 Publications


2020 | Journal Article | IST-REx-ID: 9164 | OA
Focus on active colloids and nanoparticles
T. Speck, J. Tailleur, J.A. Palacci, New Journal of Physics 22 (2020).
View | Files available | DOI
 

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 | Journal Article | IST-REx-ID: 9196
Modelled distributions of Triebel–Lizorkin type
S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
View | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9197
All-pay bidding games on graphs
G. Avni, R. Ibsen-Jensen, J. Tkadlec, Proceedings of the AAAI Conference on Artificial Intelligence 34 (2020) 1798–1805.
View | DOI | arXiv
 

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 | Journal Article | IST-REx-ID: 9208
A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, SN Applied Sciences 2 (2020).
View | 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 | Journal Article | IST-REx-ID: 9011
Calypso: Private data management for decentralized ledgers
E. Kokoris Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, B. Ford, Proceedings of the VLDB Endowment 14 (2020) 586–599.
View | DOI
 

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 | Journal Article | IST-REx-ID: 7778 | OA
Self-assembly-based posttranslational protein oscillators
O. Kimchi, C.P. Goodrich, A. Courbet, A.I. Curatolo, N.B. Woodall, D. Baker, M.P. Brenner, Science Advances 6 (2020).
View | Files available | DOI
 

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: 8169
Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group
H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7149
Chromatinopathies: A focus on Cornelia de Lange syndrome
L. Avagliano, I. Parenti, P. Grazioli, E. Di Fede, C. Parodi, M. Mariani, F.J. Kaiser, A. Selicorni, C. Gervasini, V. Massa, Clinical Genetics 97 (2020) 3–11.
View | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 9526 | OA
DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts
J. Choi, D.B. Lyons, M.Y. Kim, J.D. Moore, D. ZILBERMAN, Molecular Cell 77 (2020) 310–323.e7.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 9397
Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, IST Austria, n.d.
View | Files available | DOI
 

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: 9578 | OA
Nearly-linear monotone paths in edge-ordered graphs
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, A.Z. Wagner, Israel Journal of Mathematics 238 (2020) 663–685.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9576 | OA
Halfway to Rota’s basis conjecture
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, International Mathematics Research Notices 2020 (2020) 8007–8026.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9581 | OA
Almost all Steiner triple systems have perfect matchings
M.A. Kwan, Proceedings of the London Mathematical Society 121 (2020) 1468–1495.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9577 | OA
Ramsey graphs induce subgraphs of quadratically many sizes
M.A. Kwan, B. Sudakov, International Mathematics Research Notices 2020 (2020) 1621–1638.
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9582 | OA
Dense induced bipartite subgraphs in triangle-free graphs
M.A. Kwan, S. Letzter, B. Sudakov, T. Tran, Combinatorica 40 (2020) 283–305.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9573 | OA
Universality of random permutations
X. He, M.A. Kwan, Bulletin of the London Mathematical Society 52 (2020) 515–529.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9583 | OA
Almost all Steiner triple systems are almost resolvable
A. Ferber, M.A. Kwan, Forum of Mathematics 8 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

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 | Thesis | IST-REx-ID: 8653
The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, IST Austria, 2020.
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: 9658 | OA
Classical nucleation theory predicts the shape of the nucleus in homogeneous solidification
B. Cheng, M. Ceriotti, G.A. Tribello, The Journal of Chemical Physics 152 (2020).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 9666 | OA
Predicting the phase diagram of titanium dioxide with random search and pattern recognition
A. Reinhardt, C.J. Pickard, B. Cheng, Physical Chemistry Chemical Physics 22 (2020) 12697–12705.
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 9664 | OA
Computing the heat conductivity of fluids from density fluctuations
B. Cheng, D. Frenkel, Physical Review Letters 125 (2020).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 9671 | OA
Liquid water contains the building blocks of diverse ice phases
B. Monserrat, J.G. Brandenburg, E.A. Engel, B. Cheng, Nature Communications 11 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9675
Mapping materials and molecules
B. Cheng, R.-R. Griffiths, S. Wengert, C. Kunkel, T. Stenczel, B. Zhu, V.L. Deringer, N. Bernstein, J.T. Margraf, K. Reuter, G. Csanyi, Accounts of Chemical Research 53 (2020) 1981–1991.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9685 | OA
Evidence for supercritical behaviour of high-pressure liquid hydrogen
B. Cheng, G. Mazzola, C.J. Pickard, M. Ceriotti, Nature 585 (2020) 217–220.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Preprint | IST-REx-ID: 9699 | OA
Extracting ice phases from liquid water: Why a machine-learning water model generalizes so well
B. Monserrat, J.G. Brandenburg, E.A. Engel, B. Cheng, ArXiv (n.d.).
View | Download Submitted Version (ext.) | arXiv
 

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: 8040
Charge transfer and chemo-mechanical coupling in respiratory complex I
C. Gupta, U. Khaniya, C.K. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A. Sazanov, C. Chipot, A. Singharoy, Journal of the American Chemical Society 142 (2020) 9220–9230.
View | Files available | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 8013 | OA
Think: Theory for Africa
C.B. Currin, P.N. Khoza, A.D. Antrobus, P.E. Latham, T.P. Vogels, J.V. Raimondo, PLOS Computational Biology 15 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 8014 | OA
Neural mechanisms of attending to items in working memory
S.G. Manohar, N. Zokaei, S.J. Fallon, T.P. Vogels, M. Husain, Neuroscience and Biobehavioral Reviews 101 (2019) 1–12.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 8227 | OA
AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody
K.M. Ilieva, J. Singer, H.J. Bax, S. Crescioli, L. Montero‐Morales, S. Mele, H.S. Sow, C. Stavraka, D.H. Josephs, J.F. Spicer, H. Steinkellner, E. Jensen‐Jarolim, A.N.J. Tutt, S.N. Karagiannis, Allergy 74 (2019) 1985–1989.
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8228 | OA
AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice
J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz, S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8229 | OA
Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model
A.S. Ondracek, D. Heiden, G.J. Oostingh, E. Fuerst, J. Singer, C. Bergmayr, J. Rohrhofer, E. Jensen-Jarolim, A. Duschl, E. Untersmayr, Nutrients 11 (2019).
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8263 | OA
Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow
P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary Biology 19 (2019).
View | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 8296
Rethinking general-purpose decentralized computing
E.C. Alp, E. Kokoris Kogias, G. Fragkouli, B. Ford, in:, Proceedings of the Workshop on Hot Topics in Operating Systems, ACM, 2019, pp. 105–112.
View | DOI
 

2019 | Preprint | IST-REx-ID: 8303 | OA
Robust and scalable consensus for sharded distributed ledgers
E. Kokoris Kogias, Cryptology EPrint Archive 2019 (n.d.).
View | Download Preprint (ext.)
 

2019 | Preprint | IST-REx-ID: 8304 | OA
SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, Cryptology EPrint Archive 2019 (n.d.).
View | Download Preprint (ext.)
 

Search

Filter Publications