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. Stopping criteria for value iteration on stochastic games with quantitative objectives. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science. Vol 2023. IEEE; 2023. doi:10.1109/LICS56636.2023.10175771

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

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

Zhang Y. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 2023;69(7):4093-4127. doi: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. Codes for the Z-channel. IEEE Transactions on Information Theory. 2023;69(10):6340-6357. doi:10.1109/TIT.2023.3292219

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

Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi: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. Concepts, mechanisms and implications of long-term epigenetic inheritance. Current Opinion in Genetics & Development. 2023;81(8). doi:10.1016/j.gde.2023.102087

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

Harish RK, Gupta M, Zöller D, et al. Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation. Development. 2023;150(19). doi:10.1242/dev.201559

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

Tkadlec J, Kaveh K, Chatterjee K, Nowak MA. Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society Interface. 2023;20(208). doi:10.1098/rsif.2023.0355

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

Zhu Z, Locatello F, Cevher V. Sample complexity bounds for score-matching: Causal discovery and generative modeling. In: 37th Conference on Neural Information Processing Systems. Vol 36. Neural Information Processing Systems Foundation; 2023:3325-3337. doi:10.52202/075280-0147

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

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

Montagna F, Mastakouri AA, Eulig E, et al. Assumption violations in causal discovery and the robustness of score matching. In: 37th Conference on Neural Information Processing Systems. Vol 36. Neural Information Processing Systems Foundation; 2023. doi:10.52202/075280-2050

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

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

Napoli F, Becker LM, Schanda P. Protein dynamics detected by magic-angle spinning relaxation dispersion NMR. Current Opinion in Structural Biology. 2023;82(10). doi:10.1016/j.sbi.2023.102660

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

Bulíček M, Málek J, Maringová E. On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary. Journal of Mathematical Fluid Mechanics. 2023;25(3). doi: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 KZ. On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In: 21st International Conference on Theory of Cryptography. Vol 14371. Springer Nature; 2023:271-300. doi: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, et al. ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 2023;9(3). doi:10.1126/sciadv.add6495

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

Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221

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

Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491