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.

6285 Publications


2020 | Report | IST-REx-ID: 8151
Maslov, M., Kondrashov, F., Artner, C., Hennessey-Wesen, M., Kavcic, B., Machnik, N. N., … Tomanek, I. (2020). Core Project Proceedings. IST Austria.
View | Files available
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:8155
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov, S. (2020). Topological methods in geometry and discrete mathematics. IST Austria. https://doi.org/10.15479/AT:ISTA:8156
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter, S., Pauler, F., Beattie, R. J., Amberg, N., Hansen, A. H., Streicher, C., … Hippenmeyer, S. (2020). Cell-type specificity of genomic imprinting in cerebral cortex. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.06.031
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter, G., & Wintraecken, M. (2020). Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. AKJournals. https://doi.org/10.1556/012.2020.57.2.1454
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski, S., Westram, A. M., Zagrodzka, Z. B., Eyres, I., Broquet, T., Johannesson, K., & Butlin, R. K. (2020). The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0545
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni, J., Butlin, R. K., Lucek, K., Savolainen, V., & Westram, A. M. (2020). Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0528
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang, H., Hess, J., Pickup, M., Field, D., Ingvarsson, P. K., Liu, J., & Lexer, C. (2020). Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0544
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson, B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.013001
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 8173
Kainrath, S., & Janovjak, H. L. (2020). Design and application of light-regulated receptor tyrosine kinases. In D. Niopek (Ed.), Photoswitching Proteins (Vol. 2173, pp. 233–246). Springer Nature. https://doi.org/10.1007/978-1-0716-0755-8_16
View | DOI
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild, R. (2020). Amplified centrosomes in dendritic cells promote immune cell effector functions. IST Austria. https://doi.org/10.15479/AT:ISTA:8181
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson, P. M., Tsiminaki, V., & Lampert, C. (2020). Leveraging 2D data to learn textured 3D mesh generation. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 7498–7507). Virtual: CVF.
View | Files available | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8189
Yu, X., Liu, J., Li, J., Luo, Z., Zuo, Y., Xing, C., … Cabot, A. (2020). Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. Elsevier. https://doi.org/10.1016/j.nanoen.2020.105116
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8191
Alistarh, D.-A., Brown, T. A., & Singhal, N. (2020). Memory tagging: Minimalist synchronization for scalable concurrent data structures. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 37–49). Virtual Event, United States: ACM. https://doi.org/10.1145/3350755.3400213
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., & Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu, Y., Dong, Q.-L., Liu, L.-L., & Yao, J.-C. (2020). New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. Springer Nature. https://doi.org/10.1007/s11081-020-09544-5
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer, A. A., & Gulden, T. (n.d.). Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden, T., Berg, E., Rudner, M. S., & Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.9.1.015
View | Files available | DOI
 

Search

Filter Publications