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.

6753 Publications

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

Marensi, Elena, et al. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall Turbulence.” Journal of Fluid Mechanics, vol. 954, A10, Cambridge University Press, 2023, doi:10.1017/jfm.2022.1001.

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

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

Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical Review Letters, vol. 131, no. 3, 034002, American Physical Society, 2023, doi:10.1103/physrevlett.131.034002.

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

Fäßler, Florian, et al. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.” Science Advances, vol. 9, no. 3, add6495, American Association for the Advancement of Science, 2023, doi:10.1126/sciadv.add6495.

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

Fäßler, Florian, et al. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions, vol. 51, no. 1, Portland Press, 2023, pp. 87–99, doi:10.1042/bst20220221.

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

Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:10.1007/978-3-031-48621-0_11.

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

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

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi: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, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.

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

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

Auerbach, Benedikt, et al. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 271–300, doi:10.1007/978-3-031-48621-0_10.

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

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

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.

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

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

Zens, Bettina. Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12491.