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
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control, International Conference on Hybrid Systems: Computation and Control, vol. 22. 39–44.
View | Files available | DOI | Download (ext.) | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 6105   OA
Kutzer M, Kurtz J, Armitage SAO. 2019. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology.
View | Files available | DOI
 

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

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

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

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

2019 | Journal Article | IST-REx-ID: 6465   OA
Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 10(1), 2013.
View | Files available | DOI
 

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

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

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed