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.

2497 Publications


2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” Edited by Constantin Enea and Ruzica Piskac. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6105   OA
Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Journal of Animal Ecology, 2019. https://doi.org/10.1111/1365-2656.12953.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6023   OA
Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants 5, no. 2 (2019): 160–66. https://doi.org/10.1038/s41477-019-0363-6.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6028   OA
Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics, 2019. https://doi.org/10.1002/cpa.21816.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, n.d. https://doi.org/10.1145/3302504.3311804.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6174   OA
Dumitrescu, Philipp T., Anna Goremykina, Siddharth A. Parameswaran, Maksym Serbyn, and Romain Vasseur. “Kosterlitz-Thouless Scaling at Many-Body Localization Phase Transitions.” Physical Review B 99, no. 9 (2019). https://doi.org/10.1103/physrevb.99.094205.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6092   OA
Mentink, Johann H, Mikhail Katsnelson, and Mikhail Lemeshko. “Quantum Many-Body Dynamics of the Einstein-de Haas Effect.” Physical Review B 99, no. 6 (2019): 064428. https://doi.org/10.1103/PhysRevB.99.064428.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6232   OA
Gerencser, Mate. “Boundary Regularity of Stochastic PDEs.” Annals of Probability 47, no. 2 (2019): 804–34. https://doi.org/10.1214/18-AOP1272.
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6179
Schröder, Dominik J. From Dyson to Pearcey: Universal Statistics in Random Matrix Theory. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:th6179.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed