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. (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   OA
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   OA
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   OA
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   OA
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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed