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.

4957 Publications

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

Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary Distributions. Zenodo, 2023, doi:10.5281/ZENODO.7548214.

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

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

Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.

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

2023 | Published | Book Chapter | IST-REx-ID: 14992 |

Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.” Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.

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

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

Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.

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

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

Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.

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

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

Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.

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

2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 |

Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.

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

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

Curk, Samo. Aggregation_data. Figshare, 2023.

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

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

Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.

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

2023 | Submitted | Preprint | IST-REx-ID: 15039 |

Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.

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

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 |

Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata, 15, Springer Nature, 2023, doi:10.1007/s10711-023-00862-3.

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

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

Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics, vol. 253, Springer Nature, 2023, pp. 501–54, doi:10.1007/s11856-022-2448-6.

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

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

Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis, vol. 58, Springer Nature, 2023, pp. 573–615, doi:10.1007/s11118-021-09951-y.