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.

2425 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. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; :39-44. doi:10.1145/3302504.3311804
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. Semantic fault localization and suspiciousness ranking. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13
View | Files available | DOI
 

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

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

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

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

2019 | Journal Article | IST-REx-ID: 6338
Stella F, Baracskay P, O’Neill J, Csicsvari JL. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 2019;102:1-12. doi:10.1016/j.neuron.2019.01.052
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. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 2019;10(1):2013. doi:10.1038/s41467-019-09974-5
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6352   OA
Temnov AA, Rogov KA, Sklifas AN, et al. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. 2019. doi:10.1007/s11033-019-04765-z
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6415
Cremer S. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 2019;33:63-68. doi:10.1016/j.cois.2019.03.011
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed