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.

5954 Publications

2021 | Published | Conference Paper | IST-REx-ID: 9644 |

Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093

2021 | Published | Journal Article | IST-REx-ID: 9293 |

Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2021.103499

2021 | Published | Journal Article | IST-REx-ID: 9239 |

Avni, G., Henzinger, T. A., & Žikelić, Đ. (2021). Bidding mechanisms in graph games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2021.02.008

2021 | Published | Thesis | IST-REx-ID: 10007 |

Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007

[Published Version] View | Files available | DOI

2021 | Published | Thesis | IST-REx-ID: 9418 |

Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 8606 |

He, P., Zhang, Y., Li, H., Fu, X., Shang, H., Zou, C., … Xiao, G. (2021). GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton. Plant Biotechnology Journal. Wiley. https://doi.org/10.1111/pbi.13484

2021 | Published | Journal Article | IST-REx-ID: 8603 |

Frank, R., & Seiringer, R. (2021). Quantum corrections to the Pekar asymptotics of a strongly coupled polaron. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.21944

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 8673 |

Modic, K. A., McDonald, R. D., Ruff, J. P. C., Bachmann, M. D., Lai, Y., Palmstrom, J. C., … Shekhter, A. (2021). Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-1028-0

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Thesis | IST-REx-ID: 9056 |

Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 8723 |

Li, S., Tal Ben-Nun, T. B.-N., Nadiradze, G., Girolamo, S. D., Dryden, N., Alistarh, D.-A., & Hoefler, T. (2021). Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems. IEEE. https://doi.org/10.1109/TPDS.2020.3040606

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 8708 |

Simon, A., Fraisse, C., El Ayari, T., Liautard‐Haag, C., Strelkov, P., Welch, J. J., & Bierne, N. (2021). How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels. Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/jeb.13709

2021 | Published | Journal Article | IST-REx-ID: 8816 |

Runkel, I., & Szegedy, L. (2021). Area-dependent quantum field theory. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-020-03902-1

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 8818

Ramirez Villegas, J. F., Besserve, M., Murayama, Y., Evrard, H. C., Oeltermann, A., & Logothetis, N. K. (2021). Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2914-4

2021 | Published | Journal Article | IST-REx-ID: 8757 |

Bozelos, P., & Vogels, T. P. (2021). Talking science, online. Nature Reviews Neuroscience. Springer Nature. https://doi.org/10.1038/s41583-020-00408-6

2021 | Published | Journal Article | IST-REx-ID: 8792 |

Marveggio, A., & Schimperna, G. (2021). On a non-isothermal Cahn-Hilliard model based on a microforce balance. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2020.10.030

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 8992 |

Tan, S., Luschnig, C., & Friml, J. (2021). Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2020.11.004

2021 | Published | Journal Article | IST-REx-ID: 8928 |

Arnoux, S., Fraisse, C., & Sauvage, C. (2021). Genomic inference of complex domestication histories in three Solanaceae species. Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/jeb.13723

2021 | Published | Journal Article | IST-REx-ID: 9037 |

Ivanov, G. (2021). No-dimension Tverberg’s theorem and its corollaries in Banach spaces of type p. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.12449

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9046 |

Römhild, R., & Andersson, D. I. (2021). Mechanisms and therapeutic potential of collateral sensitivity to antibiotics. PLoS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1009172

2021 | Published | Journal Article | IST-REx-ID: 9098 |

Ivanov, G. (2021). On the volume of projections of the cross-polytope. Discrete Mathematics. Elsevier. https://doi.org/10.1016/j.disc.2021.112312

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

Research Groups

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

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

5954 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options