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.




6439 Publications

2020 | Published | Conference Paper | IST-REx-ID: 7635 | OA
Koval, Nikita, et al. “Testing Concurrency on the JVM with Lincheck.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 423–24, doi:10.1145/3332466.3374503.
[Published Version] View | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 7684 | OA
Gridchyn, Igor, et al. “Assembly-Specific Disruption of Hippocampal Replay Leads to Selective Memory Deficit.” Neuron, vol. 106, no. 2, Elsevier, 2020, p. 291–300.e6, doi:10.1016/j.neuron.2020.01.021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8332 | OA
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.
[Published Version] View | Files available | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský, Marek, et al. “Embeddability of Simplicial Complexes Is Undecidable.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2020–January, SIAM, 2020, pp. 767–85, doi:10.1137/1.9781611975994.47.
[Published Version] View | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., et al. “Shear-Induced Ordering in Systems with Competing Interactions: A Machine Learning Study.” The Journal of Chemical Physics, vol. 152, no. 20, 204905, AIP Publishing, 2020, doi:10.1063/5.0005194.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 7876 | OA
Sixt, Michael K., and Tim Lämmermann. “T Cells: Bridge-and-Channel Commute to the White Pulp.” Immunity, vol. 52, no. 5, Elsevier, 2020, pp. 721–23, doi:10.1016/j.immuni.2020.04.020.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8167 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 8194 | OA
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
 
earlier version | 2020 | Submitted | Technical Report | IST-REx-ID: 8067 | OA
Varzi, Alberto, et al. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria, doi:10.15479/AT:ISTA:8067.
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8361 | OA
Varzi, Alberto, et al. “Current Status and Future Perspectives of Lithium Metal Batteries.” Journal of Power Sources, vol. 480, no. 12, 228803, Elsevier, 2020, doi:10.1016/j.jpowsour.2020.228803.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition, vol. 59, no. 51, Wiley, 2020, pp. 22943–46, doi:10.1002/anie.202008253.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8271 | OA
He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” Molecular Plant, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40, doi:10.1016/j.molp.2020.07.006.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Research Data Reference | IST-REx-ID: 9780 | OA
Schlemmer, Werner, et al. CCDC 1991959: Experimental Crystal Structure Determination. CCDC, 2020, doi:10.5517/ccdc.csd.cc24vsrk.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 8721 | OA
Hajny, Jakub, et al. “Receptor Kinase Module Targets PIN-Dependent Auxin Transport during Canalization.” Science, vol. 370, no. 6516, American Association for the Advancement of Science, 2020, pp. 550–57, doi:10.1126/science.aba3178.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8607 | OA
Liu, D., et al. “Endocytosis of BRASSINOSTEROID INSENSITIVE1 Is Partly Driven by a Canonical Tyrosine-Based Motif.” Plant Cell, vol. 32, no. 11, American Society of Plant Biologists, 2020, pp. 3598–612, doi:10.1105/tpc.20.00384.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Conference Paper | IST-REx-ID: 8572 | OA
Althoff, Matthias, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 16–48, doi:10.29007/7dt2.
[Published Version] View | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 8746 | OA
Miranti, Retno, et al. “Electron Transport in Iodide-Capped Core@shell PbTe@PbS Colloidal Nanocrystal Solids.” Applied Physics Letters, vol. 117, no. 17, 173101, AIP Publishing, 2020, doi:10.1063/5.0025965.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed