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.

6507 Publications

2021 | Published | Journal Article | IST-REx-ID: 9394 |

Koch EL, Morales HE, Larsson J, et al. Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis. Evolution Letters. 2021;5(3):196-213. doi:10.1002/evl3.227

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

2021 | Research Data Reference | IST-REx-ID: 12987 |

Koch E, Morales HE, Larsson J, et al. Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis. 2021. doi:10.5061/DRYAD.ZGMSBCCB4

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

2021 | Published | Journal Article | IST-REx-ID: 9350 |

Arslan FN, Eckert J, Schmidt T, Heisenberg C-PJ. Holding it together: when cadherin meets cadherin. Biophysical Journal. 2021;120:4182-4192. doi:10.1016/j.bpj.2021.03.025

2021 | Draft | Preprint | IST-REx-ID: 12077 |

Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv. doi:10.48550/arXiv.2104.14946

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

2021 | Draft | Preprint | IST-REx-ID: 12076 |

Shute AL. Sums of four squareful numbers. arXiv. doi:10.48550/arXiv.2104.06966

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

2021 | Draft | Preprint | IST-REx-ID: 10803 |

Konstantinov NH, Lampert C. Fairness through regularization for learning to rank. arXiv. doi:10.48550/arXiv.2102.05996

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

2021 | Draft | Preprint | IST-REx-ID: 10762 |

Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for non-additive systems. arXiv. doi:10.48550/arXiv.2105.15193

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

2021 | Published | Conference Paper | IST-REx-ID: 10665 |

Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.

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

2021 | Published | Conference Paper | IST-REx-ID: 10667 |

Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi:10.48550/arXiv.2111.03165

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

2021 | Published | Conference Paper | IST-REx-ID: 10666 |

Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. Adversarial training is not ready for robot learning. In: 2021 IEEE International Conference on Robotics and Automation. ICRA. ; 2021:4140-4147. doi:10.1109/ICRA48506.2021.9561036

2021 | Published | Thesis | PhD | IST-REx-ID: 9022 |

Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022

[Published Version] View | Files available | DOI

2021 | Published | Thesis | MS | IST-REx-ID: 10422 |

Piankov A. Towards designer materials using customizable particle shape. 2021. doi:10.15479/at:ista:10422

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 10030 |

Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 9733 |

Feliciangeli D. The polaron at strong coupling. 2021. doi:10.15479/at:ista:9733

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 9225 |

Feliciangeli D, Rademacher SAE, Seiringer R. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-020-01350-5

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

2021 | Draft | Preprint | IST-REx-ID: 9792 |

Feliciangeli D, Gerolin A, Portinale L. A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. arXiv. doi:10.48550/arXiv.2106.11217

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

2021 | Draft | Preprint | IST-REx-ID: 9787 |

Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv. doi:10.48550/arXiv.2101.12566

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

2021 | Draft | Preprint | IST-REx-ID: 9791 |

Feliciangeli D, Rademacher SAE, Seiringer R. The effective mass problem for the Landau-Pekar equations. arXiv. doi:10.48550/arXiv.2107.03720

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

2021 | Published | Conference Paper | IST-REx-ID: 9987 |

Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: 33rd International Conference on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366. doi:10.1007/978-3-030-81685-8_16

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

2021 | Published | Thesis | PhD | IST-REx-ID: 10199 |

Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199

[Published Version] View | Files available | DOI

Institute of Science and Technology Austria (ISTA)

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

6507 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6507 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options