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.




6587 Publications

2019 | Published | Conference Paper | IST-REx-ID: 10877 | OA
Frehse G, Abate A, Adzkiya D, Becchi A, Bu L, Cimatti A, Giacobbe M, Griggio A, Mover S, Mufid MS, Riouak I, Tonetta S, Zaffanella E. 2019. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems, EPiC Series in Computing, vol. 61, 1–13.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6240 | OA
Alt J, Erdös L, Krüger TH, Nemish Y. 2019. Location of the spectrum of Kronecker random matrices. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques. 55(2), 661–696.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6756 | OA
Pranav P, Adler RJ, Buchert T, Edelsbrunner H, Jones BJT, Schwartzman A, Wagner H, Van De Weygaert R. 2019. Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy & Astrophysics. 627, A163.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Submitted | Preprint | IST-REx-ID: 8305 | OA
Kokoris Kogias E, Spiegelman A, Malkhi D, Abraham I. Bootstrapping consensus without trusted setup: Fully asynchronous distributed key generation. Cryptology ePrint Archive, 2019/1015.
[Preprint] View | Download Preprint (ext.) | Cryptology ePrint
 
2019 | Published | Journal Article | IST-REx-ID: 6856 | OA
Pickup M, Barton NH, Brandvain Y, Fraisse C, Yakimowski S, Dixit T, Lexer C, Cereghetti E, Field D. 2019. Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist. 224(3), 1035–1047.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6788 | OA
Leopold NK, Petrat SP. 2019. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare. 20(10), 3471–3508.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7100 | OA
Jeblick M, Leopold NK, Pickl P. 2019. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics. 372(1), 1–69.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr M, Schur FK. 2019.Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging. In: Complementary Strategies to Study Virus Structure and Function. vol. 105, 117–159.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 6989 | OA
Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. 2019. Folding polyominoes with holes into a cube. Proceedings of the 31st Canadian Conference on Computational Geometry. CCCG: Canadian Conference in Computational Geometry, 164–170.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6419 | OA
Pokusaeva V, Usmanova DR, Putintseva E, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 15(4), e1008079.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 5678 | OA
Edelsbrunner H, Nikitenko A. 2019. Poisson–Delaunay Mosaics of Order k. Discrete and Computational Geometry. 62(4), 865–878.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 5947 | OA
Chatterjee B, Peri S, Sa M, Singhal N. 2019. A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries. ACM International Conference Proceeding Series. ICDCN: Conference on Distributed Computing and Networking, 168–177.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 5906 | OA
Goremykina A, Vasseur R, Serbyn M. 2019. Analytically solvable renormalization group for the many-body localization transition. Physical Review Letters. 122(4), 040601.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. Multiple alignment of His3 orthologues, Public Library of Science, 10.1371/journal.pgen.1008079.s010.
[Published Version] View | Files available | DOI
 
2019 | Published | Thesis | PhD | IST-REx-ID: 6179 | OA
Schröder DJ. 2019. From Dyson to Pearcey: Universal statistics in random matrix theory. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6182 | OA
Erdös L, Krüger TH, Schröder DJ. 2019. Random matrices with slow correlation decay. Forum of Mathematics, Sigma. 7, e8.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6186 | OA
Cipolloni G, Erdös L, Krüger TH, Schröder DJ. 2019. Cusp universality for random matrices, II: The real symmetric case. Pure and Applied Analysis . 1(4), 615–707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 7479 | OA
Phuong M, Lampert C. 2019. Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2019–October, 1355–1364.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed