Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5502 Publications
2020 | Published | Journal Article | IST-REx-ID: 8162 | 
Laukoter, Susanne, et al. “Cell-Type Specificity of Genomic Imprinting in Cerebral Cortex.” Neuron, vol. 107, no. 6, Elsevier, 2020, p. 1160–1179.e9, doi:10.1016/j.neuron.2020.06.031.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8163 |
Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum Hungarica, vol. 57, no. 2, Akadémiai Kiadó, 2020, pp. 193–99, doi:10.1556/012.2020.57.2.1454.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8167 |
Stankowski, Sean, et al. “The Evolution of Strong Reproductive Isolation between Sympatric Intertidal Snails.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190545, The Royal Society, 2020, doi:10.1098/rstb.2019.0545.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8168 |
Kulmuni, Jonna, et al. “Towards the Completion of Speciation: The Evolution of Reproductive Isolation beyond the First Barriers.” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190528, The Royal Society, 2020, doi:10.1098/rstb.2019.0528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8169
Shang, Huiying, et al. “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, vol. 375, no. 1806, 20190544, The Royal Society, 2020, doi:10.1098/rstb.2019.0544.
[Published Version]
View
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8170 |
Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical Review Letters, vol. 125, no. 1, 013001, American Physical Society, 2020, doi:10.1103/PhysRevLett.125.013001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Book Chapter | IST-REx-ID: 8173
Kainrath, Stephanie, and Harald L. Janovjak. “Design and Application of Light-Regulated Receptor Tyrosine Kinases.” Photoswitching Proteins, edited by Dominik Niopek, vol. 2173, Springer Nature, 2020, pp. 233–46, doi:10.1007/978-1-0716-0755-8_16.
View
| DOI
2020 | Scientific Software | IST-REx-ID: 8181 |
Hauschild, Robert. Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions. IST Austria, 2020, doi:10.15479/AT:ISTA:8181.
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8186 |
Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–507, doi:10.1109/CVPR42600.2020.00752.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8188 |
Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” 34th Conference on Neural Information Processing Systems, vol. 33, Curran Associates, 2020, pp. 3106–3117.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8189
Yu, Xiaoting, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” Nano Energy, vol. 77, no. 11, 105116, Elsevier, 2020, doi:10.1016/j.nanoen.2020.105116.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8191
Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” Annual ACM Symposium on Parallelism in Algorithms and Architectures, no. 7, Association for Computing Machinery, 2020, pp. 37–49, doi:10.1145/3350755.3400213.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” Proceedings of the 30th International Conference on Automated Planning and Scheduling, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
| Files available
2020 | Published | Conference Paper | IST-REx-ID: 8194 |
Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8195 |
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8199 |
Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics, vol. 9, 015, SciPost Foundation, 2020, doi:10.21468/scipostphys.9.1.015.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8203 |
Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” Nano Letters, vol. 20, no. 7, American Chemical Society, 2020, pp. 5201–06, doi:10.1021/acs.nanolett.0c01466.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8220 |
Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 29, National Academy of Sciences, 2020, pp. 16969–75, doi:10.1073/pnas.1921205117.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Research Data | IST-REx-ID: 8254 |
Arathoon, Louise S. Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus). Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8254.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8261 |
Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron, vol. 107, no. 6, Elsevier, 2020, pp. 1212–25, doi:10.1016/j.neuron.2020.07.006.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC