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 |

J. Kretinsky, T. Meggendorfer, and M. Weininger, “Stopping criteria for value iteration on stochastic games with quantitative objectives,” in 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, United States, 2023, vol. 2023.

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

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

Y. Zhang, “Zero-error communication over adversarial MACs,” IEEE Transactions on Information Theory, vol. 69, no. 7. IEEE, pp. 4093–4127, 2023.

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

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

N. Polyanskii and Y. Zhang, “Codes for the Z-channel,” IEEE Transactions on Information Theory, vol. 69, no. 10. IEEE, pp. 6340–6357, 2023.

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

U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative automata,” in 34th International Conference on Concurrency Theory, Antwerp, Belgium, 2023, vol. 279.

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

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

E. Hollwey, A. Briffa, M. Howard, and D. Zilberman, “Concepts, mechanisms and implications of long-term epigenetic inheritance,” Current Opinion in Genetics & Development, vol. 81, no. 8. Elsevier, 2023.

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

R. K. Harish et al., “Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation,” Development, vol. 150, no. 19. Company of Biologists, 2023.

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

J. Tkadlec, K. Kaveh, K. Chatterjee, and M. A. Nowak, “Evolutionary dynamics of mutants that modify population structure,” Journal of the Royal Society Interface, vol. 20, no. 208. Royal Society, 2023.

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

Z. Zhu, F. Locatello, and V. Cevher, “Sample complexity bounds for score-matching: Causal discovery and generative modeling,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023, vol. 36, pp. 3325–3337.

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

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

F. Montagna et al., “Assumption violations in causal discovery and the robustness of score matching,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023, vol. 36.

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

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

F. Napoli, L. M. Becker, and P. Schanda, “Protein dynamics detected by magic-angle spinning relaxation dispersion NMR,” Current Opinion in Structural Biology, vol. 82, no. 10. Elsevier, 2023.

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

M. Bulíček, J. Málek, and E. Maringová, “On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary,” Journal of Mathematical Fluid Mechanics, vol. 25, no. 3. Springer Nature, 2023.

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

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

B. Auerbach, M. Cueto Noval, G. Pascual Perez, and K. Z. Pietrzak, “On the cost of post-compromise security in concurrent Continuous Group-Key Agreement,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14371, pp. 271–300.

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

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

F. Fäßler et al., “ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning,” Science Advances, vol. 9, no. 3. American Association for the Advancement of Science, 2023.

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

F. Fäßler, M. Javoor, and F. K. Schur, “Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM,” Biochemical Society Transactions, vol. 51, no. 1. Portland Press, pp. 87–99, 2023.

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

B. Zens, “Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography,” Institute of Science and Technology Austria, 2023.