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.

2424 Publications


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, n.d., pp. 39–44.
View | Files available | 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 | Journal Article | IST-REx-ID: 6105   OA
A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology (2019).
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) 064428.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6232   OA
Boundary regularity of stochastic PDEs
M. Gerencser, Annals of Probability 47 (2019) 804–834.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6174   OA
Kosterlitz-Thouless scaling at many-body localization phase transitions
P.T. Dumitrescu, A. Goremykina, S.A. Parameswaran, M. Serbyn, R. Vasseur, Physical Review B 99 (2019).
View | DOI | Download (ext.) | arXiv
 

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: 6465   OA
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019) 2013.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6352   OA
Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure
A.A. Temnov, K.A. Rogov, A.N. Sklifas, E.V. Klychnikova, M. Hartl, K. Djinovic-Carugo, A. Charnagalov, Molecular Biology Reports (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6415
Pathogens and disease defense of invasive ants
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 6725   OA
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6559
Multiscale dynamics of branching morphogenesis
E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6566   OA
Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks
M. Ibáñez, A. Genç, R. Hasler, Y. Liu, O. Dobrozhan, O. Nazarenko, M. de la Mata, J. Arbiol, A. Cabot, M.V. Kovalenko, ACS Nano 13 (2019) 6572–6580.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6504
Auxin-mediated statolith production for root gravitropism
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist (2019).
View | 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 | Conference Paper | IST-REx-ID: 6528   OA
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 60.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6617   OA
The choice of representative volumes in the approximation of effective properties of random materials
J.L. Fischer, Archive for Rational Mechanics and Analysis (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6631
Cell division and tissue mechanics
B.G. Godard, C.-P.J. Heisenberg, Current Opinion in Cell Biology 60 (2019) 114–120.
View | 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 | 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: 6650   OA
Volume-aware design of composite molds
T. Alderighi, L. Malomo, D. Giorgi, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 38 (2019) 110.
View | Files available | 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 | Journal Article | IST-REx-ID: 6763
Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
View | DOI | PubMed | Europe PMC
 

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: 5828 View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6821
Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses
M.R. Yourick, B.A. Sandkam, W.J. Gammerdinger, D. Escobar-Camacho, S.P. Nandamuri, F.E. Clark, B. Joyce, M.A. Conte, T.D. Kocher, K.L. Carleton, Molecular Ecology Resources (2019).
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).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6840   OA
Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019) 063101.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6491
Publisher correction: Resonant electro-optic frequency comb
A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 569 (2019) E11.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5986
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 | Thesis | IST-REx-ID: 6681   OA
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 | Thesis | IST-REx-ID: 6179   OA
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 | 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, p. 8793840.
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6890
Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
View | DOI | PubMed | Europe PMC
 

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 (2019) 1900151.
View | Files available | DOI
 

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: 5944   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5886   OA
Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon
X. Li, G. Bighin, E. Yakaboylu, M. Lemeshko, Molecular Physics (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5906
Analytically Solvable Renormalization Group for the Many-Body Localization Transition
A. Goremykina, R. Vasseur, M. Serbyn, Physical Review Letters 122 (2019).
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5817
Limiting shapes of confined lipid vesicles
B. Kavcic, A. Sakashita, H. Noguchi, P. Ziherl, Soft Matter 15 (2019) 602–614.
View | 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 | 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) e0212699.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6194
The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6062
Supplementary Code and Data for the paper "The Entorhinal Cognitive Map is Attracted to Goals"
M. Nardin, Supplementary Code and Data for the Paper “The Entorhinal Cognitive Map Is Attracted to Goals,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Counting rational points on biquadratic hypersurfaces
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6377
Disruption of endocytosis through chemical inhibition of clathrin heavy chain function
W. Dejonghe, I. Sharma, B. Denoo, S. De Munck, Q. Lu, K. Mishev, H. Bulut, E. Mylle, R. De Rycke, M.K. Vasileva, D.V. Savatin, W. Nerinckx, A. Staes, A. Drozdzecki, D. Audenaert, K. Yperman, A. Madder, J. Friml, D. Van Damme, K. Gevaert, V. Haucke, S.N. Savvides, J. Winne, E. Russinova, Nature Chemical Biology (2019).
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed