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.

6687 Publications

2023 | Research Data Reference | IST-REx-ID: 22868 |

Raw data for: Too much information? Males convey parasite levels using more signal modalities than females utilise.
A. Pal, J. Mihir, M. Thaker, (2023).

View | Files available | DOI | Download None (ext.)

2023 | Research Data Reference | IST-REx-ID: 22905 |

Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, (2023).

View | Files available | DOI | Download None (ext.)

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

Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).

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

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

Assumption violations in causal discovery and the robustness of score matching
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.

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

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

Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.

[Published Version] View | Files available | arXiv

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

Sample complexity bounds for score-matching: Causal discovery and generative modeling
Z. Zhu, F. Locatello, V. Cevher, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 3325–3337.

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

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

Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.

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

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

Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.

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

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

Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.

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

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

Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.

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

2023 | Research Data Reference | IST-REx-ID: 15027 |

aggregation_data
S. Curk, (2023).

[Published Version] View | Files available | Download Published Version (ext.)

2023 | Research Data Reference | IST-REx-ID: 23012 |

Directed percolation and puff jamming near the transition to pipe turbulence
G. Lemoult, (2023).

View | Files available | DOI | Download None (ext.)

2023 | Research Data Reference | IST-REx-ID: 22961 |

Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus
M. Zupancic, E. Keimpema, E. Tretiakov, P. Bhandari, S. Eder, I. Lev, W. Härtig, M. Zimmer, F. Clotman, T. Harkany, (2023).

View | Files available | DOI | Download None (ext.)

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

Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.