en
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 
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (n.d.). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804
View
| Files available
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6042
Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6105
Kutzer, M., Kurtz, J., & Armitage, S. A. O. (2019). A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. https://doi.org/10.1111/1365-2656.12953
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6092
Mentink, J. H., Katsnelson, M., & Lemeshko, M. (2019). Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B, 99(6), 064428. https://doi.org/10.1103/PhysRevB.99.064428
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6232
Gerencser, M. (2019). Boundary regularity of stochastic PDEs. Annals of Probability, 47(2), 804–834. https://doi.org/10.1214/18-AOP1272
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6174
Dumitrescu, P. T., Goremykina, A., Parameswaran, S. A., Serbyn, M., & Vasseur, R. (2019). Kosterlitz-Thouless scaling at many-body localization phase transitions. Physical Review B, 99(9). https://doi.org/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, J. L. (2019). Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron, 102, 1–12. https://doi.org/10.1016/j.neuron.2019.01.052
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6465
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. https://doi.org/10.1038/s41467-019-09974-5
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6352
Temnov, A. A., Rogov, K. A., Sklifas, A. N., Klychnikova, E. V., 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. https://doi.org/10.1007/s11033-019-04765-z
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. https://doi.org/10.1016/j.cois.2019.03.011
View
| DOI