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.

6767 Publications

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 | 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 | Journal Article | IST-REx-ID: 14466 |

Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780

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

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

Marensi, E., Yalniz, G., Hof, B., & Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2022.1001

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

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

Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., & Hof, B. (2023). Direct path from turbulence to time-periodic solutions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.131.034002

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

Auerbach, B., Hoffmann, C., & Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature. https://doi.org/10.1007/978-3-031-48621-0_11

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

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: 12787 |

Svoboda, J., Tkadlec, J., Kaveh, K., & Chatterjee, K. (2023). Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society. https://doi.org/10.1098/rspa.2022.0685

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

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, LA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/075280-2050

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

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

Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LA, United States: Neural Information Processing Systems Foundation.

[Published Version] View | Files available | arXiv

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, LA, 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: 13310 |

Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17

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

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

Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028

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

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

Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15

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

Research Groups

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

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

6767 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options