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.

6743 Publications

2023 | Published | Conference Paper | IST-REx-ID: 13967 |

Kretinsky, J., Meggendorfer, T., & Weininger, M. (2023). Stopping criteria for value iteration on stochastic games with quantitative objectives. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (Vol. 2023). Boston, MA, United States: IEEE. https://doi.org/10.1109/LICS56636.2023.10175771

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

2023 | Published | Journal Article | IST-REx-ID: 14751 |

Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2023.3257239

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

2023 | Published | Journal Article | IST-REx-ID: 13269 |

Polyanskii, N., & Zhang, Y. (2023). Codes for the Z-channel. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2023.3292219

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

Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17

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

2023 | Journal Article | IST-REx-ID: 13965 |

Hollwey, E., Briffa, A., Howard, M., & Zilberman, D. (2023). Concepts, mechanisms and implications of long-term epigenetic inheritance. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2023.102087

2023 | Published | Journal Article | IST-REx-ID: 14774 |

Harish, R. K., Gupta, M., Zöller, D., Hartmann, H., Gheisari, A., Machate, A., … Brand, M. (2023). Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.201559

2023 | Published | Journal Article | IST-REx-ID: 14657 |

Tkadlec, J., Kaveh, K., Chatterjee, K., & Nowak, M. A. (2023). Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society Interface. Royal Society. https://doi.org/10.1098/rsif.2023.0355

2023 | Published | Conference Paper | IST-REx-ID: 14953 |

Zhu, Z., Locatello, F., & Cevher, V. (2023). Sample complexity bounds for score-matching: Causal discovery and generative modeling. In 37th Conference on Neural Information Processing Systems (Vol. 36, pp. 3325–3337). New Orleans, LO, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/075280-0147

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

2023 | Published | Conference Paper | IST-REx-ID: 14954 |

Montagna, F., Mastakouri, A. A., Eulig, E., Noceti, N., Rosasco, L., Janzing, D., … Locatello, F. (2023). Assumption violations in causal discovery and the robustness of score matching. In 37th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LO, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/075280-2050

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

2023 | Published | Journal Article | IST-REx-ID: 14036 |

Napoli, F., Becker, L. M., & Schanda, P. (2023). Protein dynamics detected by magic-angle spinning relaxation dispersion NMR. Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2023.102660

2023 | Published | Journal Article | IST-REx-ID: 14042 |

Bulíček, M., Málek, J., & Maringová, E. (2023). On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary. Journal of Mathematical Fluid Mechanics. Springer Nature. https://doi.org/10.1007/s00021-023-00803-w

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

2023 | Published | Conference Paper | IST-REx-ID: 14691 |

Auerbach, B., Cueto Noval, M., Pascual Perez, G., & Pietrzak, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-031-48621-0_10

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

2023 | Published | Journal Article | IST-REx-ID: 12334 |

Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A., … Schur, F. K. (2023). ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.add6495

2023 | Published | Journal Article | IST-REx-ID: 12421 |

Fäßler, F., Javoor, M., & Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst20220221

2023 | Published | Thesis | PhD | IST-REx-ID: 12491 |

Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12491