Please note that ISTA 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.

8930 Publications


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).
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 9011 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 10862 | OA
Spectral rigidity for addition of random matrices at the regular edge
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 10867 | OA
Waist of balls in hyperbolic and spherical spaces
A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Research Data Reference | IST-REx-ID: 9799 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Research Data Reference | IST-REx-ID: 9798 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 6488 | OA
Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices
G. Cipolloni, L. Erdös, Random Matrices: Theory and Application 9 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8746 | OA
Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids
R. Miranti, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, Applied Physics Letters 117 (2020).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 7985 | OA
Lithium-oxygen batteries and related systems: Potential, status, and future
W. Kwak, D. Sharon, C. Xia, H. Kim, L. Johnson, P. Bruce, L. Nazar, Y. Sun, A. Frimer, M. Noked, S.A. Freunberger, D. Aurbach, Chemical Reviews 120 (2020) 6626–6683.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8721 | OA
Receptor kinase module targets PIN-dependent auxin transport during canalization
J. Hajny, T. Prat, N. Rydza, L. Rodriguez Solovey, S. Tan, I. Verstraeten, D. Domjan, E. Mazur, E. Smakowska-Luzan, W. Smet, E. Mor, J. Nolf, B. Yang, W. Grunewald, G. Molnar, Y. Belkhadir, B. De Rybel, J. Friml, Science 370 (2020) 550–557.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7968 | OA
Analytic model of chiral-induced spin selectivity
A. Ghazaryan, Y. Paltiel, M. Lemeshko, The Journal of Physical Chemistry C 124 (2020) 11716–11721.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 10866 | OA
Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs
J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20 (2020) 5323–5329.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 8588 | OA
Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, P.V. Santos, Physical Review B 102 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8769 | OA
Quantum impurity model for anyons
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7971 | OA
Gully quantum Hall ferromagnetism in biased trilayer graphene
P. Rao, M. Serbyn, Physical Review B 101 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 8634 | OA
Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7619 | OA
Arabidopsis flippases cooperate with ARF GTPase exchange factors to regulate the trafficking and polarity of PIN auxin transporters
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8607 | OA
Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif
D. Liu, R. Kumar, C. LAN, A.J. Johnson, W. Siao, I. Vanhoutte, P. Wang, K. Bender, K. Yperman, S. Martins, X. Zhao, G. Vert, D. Van Damme, J. Friml, E. Russinova, Plant Cell 32 (2020) 3598–3612.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7695 | OA
High temporal resolution reveals simultaneous plasma membrane recruitment of TPLATE complex subunits
J. Wang, E. Mylle, A.J. Johnson, N. Besbrugge, G. De Jaeger, J. Friml, R. Pleskot, D. van Damme, Plant Physiology 183 (2020) 986–997.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

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.
[Preprint] View | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8142 | OA
Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage
J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös, J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8084 | OA
Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7650 | OA
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8130 | OA
Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7235 | OA
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View | DOI
 

2020 | Book Chapter | IST-REx-ID: 10865 | OA
Witness maps and applications
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7611 | OA
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7236 | OA
Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7697 | OA
Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist 227 (2020) 1406–1416.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8765 | OA
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7343 | OA
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters 23 (2020) 565–574.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Disagreement in FST estimators: A case study from sex chromosomes
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources 20 (2020) 1517–1525.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie International Edition 59 (2020) 15913–1591.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7224 | OA
Habitat fragmentation and species diversity in competitive communities
J. Rybicki, N. Abrego, O. Ovaskainen, Ecology Letters 23 (2020) 506–517.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Research Data Reference | IST-REx-ID: 13060 | OA
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Research Data Reference | IST-REx-ID: 9780 | OA
CCDC 1991959: Experimental Crystal Structure Determination
W. Schlemmer, P. Nothdurft, A. Petzold, G. Riess, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7207 | OA
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7205 | OA
Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Book Chapter | IST-REx-ID: 7227
Zebrafish gastrulation: Putting fate in motion
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, in:, Gastrulation: From Embryonic Pattern to Form, Elsevier, 2020, pp. 343–375.
View | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7417 | OA
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6185 | OA
Cusp universality for random matrices I: Local law and the complex Hermitian case
L. Erdös, T.H. Krüger, D.J. Schröder, Communications in Mathematical Physics 378 (2020) 1203–1278.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 7629 | OA
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353 | OA
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8589 | OA
Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8284 | OA [Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7643 | OA
SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 7675 | OA
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 7460 | OA
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896 | OA
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7936 | OA
Localizing grouped instances for efficient detection in low-resource scenarios
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7937 | OA
A flexible selection scheme for minimum-effort transfer learning
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View | Files available
 

2020 | Book Chapter | IST-REx-ID: 8092 | OA
XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8587 | OA
Intermolecular forces and correlations mediated by a phonon bath
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 8341 | OA
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7580 | OA
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8012 | OA
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

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, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8703 | OA
Generalizing CGAL periodic Delaunay triangulations
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
[Published Version] View | Files available
 

2020 | Journal Article | IST-REx-ID: 9781 | OA
Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball
D. Feliciangeli, R. Seiringer, SIAM Journal on Mathematical Analysis 52 (2020) 605–622.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7489 | OA
Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
[Published Version] View | Files available | DOI | WoS
 

2020 | Preprint | IST-REx-ID: 10012 | OA [Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

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).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7573 | OA
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Preprint | IST-REx-ID: 10022 | OA [Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

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.
[Published Version] View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8644 | OA
Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8705 | OA
Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 10861
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 14125 | OA
SCIM: Universal single-cell matching with unpaired feature sets
Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 14186 | OA
A commentary on the unsupervised learning of disentangled representations
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, in:, The 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–13684.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 14188 | OA
Weakly-supervised disentanglement without compromises
F. Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, M. Tschannen, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 6348–6359.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 14187 | OA
Stochastic Frank-Wolfe for constrained finite-sum minimization
G. Négiar, G. Dresdner, A. Tsai, L.E. Ghaoui, F. Locatello, R.M. Freund, F. Pedregosa, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 7253–7262.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 14195 | OA
A sober look at the unsupervised learning of disentangled representations and their evaluation
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, Journal of Machine Learning Research 21 (2020).
[Published Version] View | Download Published Version (ext.) | arXiv
 

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).
[Published Version] View | Files available | DOI | WoS
 

2020 | Preprint | IST-REx-ID: 8813 | OA
Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2020 | Research Data Reference | IST-REx-ID: 9777 | OA
Maximizing crosstalk
R. Grah, T. Friedlander, (2020).
View | Files available | DOI | Download None (ext.)
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 14326 | OA
Object-centric learning with slot attention
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 71 | OA
Scaling limits of discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 5681 | OA
Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7996 | OA
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version] View | Files available | DOI | WoS | arXiv
 

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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

Search

Filter Publications