ISTA Research Explorer

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 | Journal Article | IST-REx-ID: 7619 |

Zhang, Xixi, et al. “Arabidopsis Flippases Cooperate with ARF GTPase Exchange Factors to Regulate the Trafficking and Polarity of PIN Auxin Transporters.” The Plant Cell, vol. 32, no. 5, American Society of Plant Biologists, 2020, pp. 1644–64, doi:10.1105/tpc.19.00869.

2020 | Published | Thesis | PhD | IST-REx-ID: 8589 |

Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 7636 |

Brown, Trevor A., et al. “Non-Blocking Interpolation Search Trees with Doubly-Logarithmic Running Time.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 276–91, doi:10.1145/3332466.3374542.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2020 | Published | Journal Article | IST-REx-ID: 7563 |

Yalniz, Gökhan, and Nazmi B. Budanur. “Inferring Symbolic Dynamics of Chaotic Flows from Persistence.” Chaos, vol. 30, no. 3, 033109, AIP Publishing, 2020, doi:10.1063/1.5122969.

2020 | Published | Journal Article | IST-REx-ID: 7643 |

Han, Huibin, et al. “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” Plant Physiology, vol. 183, no. 5, American Society of Plant Biologists, 2020, pp. 37–40, doi:10.1104/pp.20.00212.

2020 | Published | Conference Paper | IST-REx-ID: 7635 |

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 |

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.

2020 | Published | Thesis | PhD | IST-REx-ID: 8332 |

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 |

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 |

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 |

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.

2020 | Published | Journal Article | IST-REx-ID: 7876 |

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.

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.

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.

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

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 |

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 |

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 |

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.

2020 | Research Data Reference | IST-REx-ID: 9780 |

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

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6439 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6439 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options