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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed