Please note that ISTA 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.

519 Publications


2018 | Published | Conference Paper | IST-REx-ID: 78 | OA
Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018). Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_13
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 6002 | OA
Napiórkowski, M. M., Reuvers, R., & Solovej, J. P. (2018). The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-018-1232-6
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 19494 | OA
Chan, S. (2018). Rational right triangles of a given area. The American Mathematical Monthly. Taylor & Francis. https://doi.org/10.1080/00029890.2018.1495491
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 14007 | OA
Baykusheva, D. R., & Wörner, H. J. (2017). Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/1361-6455/aa62b5
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 14009
Jordan, I., Huppert, M., Pabst, S., Kheifets, A. S., Baykusheva, D. R., & Wörner, H. J. (2017). Spin-orbit delays in photoemission. Physical Review A. American Physical Society. https://doi.org/10.1103/physreva.95.013404
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 11572 | OA
Matthee, J. J., Sobral, D., Darvish, B., Santos, S., Mobasher, B., Paulino-Afonso, A., … Alegre, L. (2017). Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stx2061
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1168 | OA
Perrone, E., Rappold, A., & Müller, W. (2017). D inf s optimality in copula models. Statistical Methods and Applications. Springer. https://doi.org/10.1007/s10260-016-0375-6
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 17696 | OA
Visbal, E., Bryan, G. L., & Haiman, Z. (2017). What is the maximum mass of a Population III galaxy? Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stx909
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 17698 | OA
Tang, Y., MacFadyen, A., & Haiman, Z. (2017). On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stx1130
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 6117 | OA
Chen, C., Itakura, E., Nelson, G. M., Sheng, M., Laurent, P., Fenk, L. A., … de Bono, M. (2017). IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. Springer Nature. https://doi.org/10.1038/nature20818
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.10.001
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 7725
Reger, J., Lind, M. I., Robinson, M. R., & Beckerman, A. P. (2017). Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-017-0373-6
View | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 8306 | OA
Syta, E., Jovanovic, P., Kokoris Kogias, E., Gailly, N., Gasser, L., Khoffi, I., … Ford, B. (2017). Scalable bias-resistant distributed randomness. In 2017 IEEE Symposium on Security and Privacy (pp. 444–460). San Jose, CA, United States: IEEE. https://doi.org/10.1109/SP.2017.45
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 7064 | OA
Modic, K. A., Ramshaw, B. J., Betts, J. B., Breznay, N. P., Analytis, J. G., McDonald, R. D., & Shekhter, A. (2017). Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-017-00264-6
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 17949 | OA
Yin, X., Zang, Y., Zhu, L., Low, J. Z., Liu, Z.-F., Cui, J., … Campos, L. M. (2017). A reversible single-molecule switch based on activated antiaromaticity. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aao2615
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Thesis | IST-REx-ID: 992 | OA
Rolinek, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_815
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1073 | OA
Čadek, M., Krcál, M., & Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9855-6
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, & R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek (pp. 407–447). Springer. https://doi.org/10.1007/978-3-319-44479-6_17
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1207 | OA
Bao, Z., Erdös, L., & Schnelli, K. (2017). Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-016-2805-6
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-303030805-6

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed