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 | Conference Paper | IST-REx-ID: 7635 |

Koval, N., Sokolova, M., Fedorov, A., Alistarh, D.-A., & Tsitelov, D. (2020). Testing concurrency on the JVM with Lincheck. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 423–424). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3332466.3374503

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

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

Gridchyn, I., Schönenberger, P., O’Neill, J., & Csicsvari, J. L. (2020). Assembly-specific disruption of hippocampal replay leads to selective memory deficit. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.01.021

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

Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332

[Published Version] View | Files available | DOI

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

Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980

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

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

Filakovský, M., Wagner, U., & Zhechev, S. Y. (2020). Embeddability of simplicial complexes is undecidable. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2020–January, pp. 767–785). Salt Lake City, UT, United States: SIAM. https://doi.org/10.1137/1.9781611975994.47

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

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

Pȩkalski, J., Rzadkowski, W., & Panagiotopoulos, A. Z. (2020). Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0005194

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

Sixt, M. K., & Lämmermann, T. (2020). T cells: Bridge-and-channel commute to the white pulp. Immunity. Elsevier. https://doi.org/10.1016/j.immuni.2020.04.020

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

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

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

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

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

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

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

Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (n.d.). Current status and future perspectives of Lithium metal batteries. IST Austria. https://doi.org/10.15479/AT:ISTA:8067

[Published Version] View | Files available | DOI

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

Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources. Elsevier. https://doi.org/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, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202008253

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

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

He, P., Zhang, Y., & Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2020.07.006

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

Schlemmer, W., Nothdurft, P., Petzold, A., Riess, G., Frühwirt, P., Schmallegger, M., … Spirk, S. (2020). CCDC 1991959: Experimental Crystal Structure Determination. CCDC. https://doi.org/10.5517/ccdc.csd.cc24vsrk

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

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

Hajny, J., Prat, T., Rydza, N., Rodriguez Solovey, L., Tan, S., Verstraeten, I., … Friml, J. (2020). Receptor kinase module targets PIN-dependent auxin transport during canalization. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aba3178

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

Liu, D., Kumar, R., LAN, C., Johnson, A. J., Siao, W., Vanhoutte, I., … Russinova, E. (2020). Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.20.00384

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

Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2

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

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

Miranti, R., Septianto, R. D., Ibáñez, M., Kovalenko, M. V., Matsushita, N., Iwasa, Y., & Bisri, S. Z. (2020). Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids. Applied Physics Letters. AIP Publishing. https://doi.org/10.1063/5.0025965

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

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

Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair. https://doi.org/10.29007/zkf6

[Published Version] View | 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