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 | OA
Koch EL, Morales HE, Larsson J, Westram AM, Faria R, Lemmon AR, Lemmon EM, Johannesson K, Butlin RK. 2021. Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis. Evolution Letters. 5(3), 196–213.
[Published Version] View | Files available | DOI | WoS
 
2021 | Research Data Reference | IST-REx-ID: 12987 | OA
Koch E, Morales HE, Larsson J, Westram AM, Faria R, Lemmon AR, Lemmon EM, Johannesson K, Butlin RK. 2021. Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis, Dryad, 10.5061/DRYAD.ZGMSBCCB4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 9350 | OA
Arslan FN, Eckert J, Schmidt T, Heisenberg C-PJ. 2021. Holding it together: when cadherin meets cadherin. Biophysical Journal. 120, 4182–4192.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 12076 | OA
Shute AL. Sums of four squareful numbers. arXiv, 2104.06966.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 10803 | OA
Konstantinov NH, Lampert C. Fairness through regularization for learning to rank. arXiv, 2102.05996.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 10762 | OA
Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for non-additive systems. arXiv, 10.48550/arXiv.2105.15193.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10667 | OA
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10666 | OA
Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. 2021. Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and AutomationICRA, 4140–4147.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Thesis | PhD | IST-REx-ID: 9022 | OA
Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | MS | IST-REx-ID: 10422 | OA
Piankov A. 2021. Towards designer materials using customizable particle shape. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10030 | OA
Portinale L. 2021. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 9733 | OA
Feliciangeli D. 2021. The polaron at strong coupling. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. 2021. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 111, 19.
[Published Version] View | Files available | DOI | WoS
 
2021 | Draft | Preprint | IST-REx-ID: 9792 | OA
Feliciangeli D, Gerolin A, Portinale L. A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. arXiv, 2106.11217.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 9787 | OA
Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv, 2101.12566.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 9791 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. The effective mass problem for the Landau-Pekar equations. arXiv, 2107.03720.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless model checking under a reads-value-from equivalence. 33rd International Conference on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol. 12759, 341–366.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10199 | OA
Toman V. 2021. Improved verification techniques for concurrent systems. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed