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

2019 | Journal Article | IST-REx-ID: 6174   OA
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   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. https://doi.org/10.1038/s41467-019-09974-5
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6352   OA
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
 

2019 | Journal Article | IST-REx-ID: 6713   OA
Castro, J. P., Yancoskie, M. N., Marchini, M., Belohlavy, S., Hiramatsu, L., Kučka, M., … Chan, Y. F. (2019). An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. ELife, 8, e42014. https://doi.org/10.7554/eLife.42014
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6725   OA
Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2019.77
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6559
Hannezo, E. B., & Simons, B. D. (2019). Multiscale dynamics of branching morphogenesis. Current Opinion in Cell Biology, 60, 99–105. https://doi.org/10.1016/j.ceb.2019.04.008
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6566   OA
Ibáñez, M., Genç, A., Hasler, R., Liu, Y., Dobrozhan, O., Nazarenko, O., … Kovalenko, M. V. (2019). Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks. ACS Nano, 13(6), 6572–6580. https://doi.org/10.1021/acsnano.9b00346
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6504
Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated statolith production for root gravitropism. New Phytologist. https://doi.org/10.1111/nph.15932
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
Bao, Z., Erdös, L., & Schnelli, K. (2019). Local single ring theorem on optimal scale. Annals of Probability, 47(3), 1270–1334. https://doi.org/10.1214/18-AOP1284
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6528   OA
Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124, p. 60). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITCS.2019.60
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6617   OA
Fischer, J. L. (2019). The choice of representative volumes in the approximation of effective properties of random materials. Archive for Rational Mechanics and Analysis. https://doi.org/10.1007/s00205-019-01400-w
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6631
Godard, B. G., & Heisenberg, C.-P. J. (2019). Cell division and tissue mechanics. Current Opinion in Cell Biology, 60, 114–120. https://doi.org/10.1016/j.ceb.2019.05.007
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner, H., Virk, Z., & Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.31
View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed