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.

5430 Publications


2019 | Conference Paper | IST-REx-ID: 7230   OA
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 230–243.
View | DOI | Download (ext.) | arXiv
 

2019 | 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 (2019).
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5828 View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6092   OA
Quantum many-body dynamics of the Einstein-de Haas effect
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019).
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7026   OA
Emergent gene expression responses to drug combinations predict higher-order drug interactions
M. Lukacisin, T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6681
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7280   OA
Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019) 1380.
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7083   OA
Mechanistic origin of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (n.d.).
View | Download (ext.)
 

2019 | Thesis | IST-REx-ID: 6371
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7420   OA
GGA2 and RAB13 promote activity-dependent β1-integrin recycling
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019) jcs233387.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7437   OA
Distributed learning over unreliable networks
C. Yu, H. Tang, C. Renggli, S. Kassing, A. Singla, D.-A. Alistarh, C. Zhang, J. Liu, in:, 36th International Conference on Machine Learning, ICML 2019, IMLS, 2019, pp. 12481–12512.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7418
MIS compensation: Optimizing sampling techniques in multiple importance sampling
O. Karlík, M. Šik, P. Vévoda, T. Skrivan, J. Křivánek, ACM Transactions on Graphics 38 (2019) 151.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7413   OA
Bogoliubov theory in the Gross–Pitaevskii limit
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Acta Mathematica 222 (2019) 219–335.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7393   OA
Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast
H.E. Morales, R. Faria, K. Johannesson, T. Larsson, M. Panova, A.M. Westram, R.K. Butlin, Science Advances 5 (2019) eaav9963.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7406
Isolation of synaptic vesicles from genetically engineered cultured neurons
C. Mckenzie, M. Spanova, A.J. Johnson, S. Kainrath, V. Zheden, H.H. Sitte, H.L. Janovjak, Journal of Neuroscience Methods 312 (2019) 114–121.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7401   OA
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 39.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6035   OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7398   OA
A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2
F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 290   OA
Colloquium: Many-body localization, thermalization, and entanglement
D. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019) 021001.
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6179
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6186   OA
Cusp universality for random matrices, II: The real symmetric case
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6857   OA
Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna
B. Giese, J.L. Friess, M.F. Schetelig, N.H. Barton, P. Messer, F. Debarre, H. Meimberg, N. Windbichler, C. Boete, BioEssays 41 (2019) 1900151.
View | Files available | DOI
 

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

2019 | Conference Paper | IST-REx-ID: 7468   OA
Map inference via block-coordinate Frank-Wolfe algorithm
P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019, pp. 11138–11147.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7451   OA
Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition
A. Vukics, A. Dombi, J.M. Fink, P. Domokos, Quantum 3 (2019) 150.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5986   OA
A proof of the orbit conjecture for flipping edge-labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014
Non-polynomial worst-case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6477   OA
Colloquium: Many-body localization, thermalization, and entanglement
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019) 021001.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6713   OA
An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019) e42014.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6338
Hippocampal reactivation of random trajectories resembling Brownian diffusion
F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 1–12.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151   OA View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7160
Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes)
J.E. Salazar, D. Severin, T.A. Vega Zuniga, P. Fernández-Aburto, A. Deichler, M. Sallaberry A., J. Mpodozis, Brain, Behavior and Evolution 94 (2019) 27–36.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6819   OA
Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019) 494.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
Local single ring theorem on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 138   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429   OA
Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5944   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
A fast and simple contact printing approach to generate 2D protein nanopatterns
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050   OA
Two circles and only a straightedge
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6163
Rhombic dodecahedron grid—coordinate system and 3D digital object definitions
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, in:, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2019, pp. 27–37.
View | DOI
 

2019 | Research Data | IST-REx-ID: 6074   OA
Supplementary data for the research paper "Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"
C. Dotter, G. Novarino, Supplementary Data for the Research Paper “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6086   OA
Singular analytic linear cocycles with negative infinite Lyapunov exponents
C. Sadel, D. Xu, Ergodic Theory and Dynamical Systems 39 (2019) 1082–1098.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
Fluid dynamics during bleb formation in migrating cells in vivo
M. Goudarzi, A. Boquet-Pujadas, J.C. Olivo-Marin, E. Raz, PLOS ONE 14 (2019).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed