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.
6465 Publications
2019 |
Published |
Conference Paper |
IST-REx-ID: 10190 |
Chatterjee K, Pavlogiannis A, Toman V. Value-centric dynamic partial order reduction. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Vol 3. ACM; 2019. doi:10.1145/3360550
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 105 |
Marsh A, Novarino G, Lockhart P, Leventer R. CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. 2019;27:161-166. doi:10.1038/s41431-018-0231-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 319 |
Gerencser M, Hairer M. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. 2019;173(3-4):697–758. doi:10.1007/s00440-018-0841-1
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 405 |
Virosztek D. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 2019;576:67-78. doi:10.1016/j.laa.2018.03.002
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 429 |
Ajanki OH, Erdös L, Krüger TH. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 2019;173(1-2):293–373. doi:10.1007/s00440-018-0835-z
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 175 |
Browning TD, Loughran D. Sieving rational points on varieties. Transactions of the American Mathematical Society. 2019;371(8):5757-5785. doi:10.1090/tran/7514
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 7576 |
Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 61. EasyChair; 2019:41-61. doi:10.29007/m75b
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 7606 |
Hledik M, Sokolowski TR, Tkačik G. A tight upper bound on mutual information. In: IEEE Information Theory Workshop, ITW 2019. IEEE; 2019. doi:10.1109/ITW44776.2019.8989292
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 7639
Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. Function norms for neural networks. In: Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00097
View
| DOI
| WoS
2019 |
Published |
Conference Paper |
IST-REx-ID: 7640 |
Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. Detecting visual relationships using box attention. In: Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00217
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
earlier version | 2019 |
Draft |
Preprint |
IST-REx-ID: 7950 |
Biniaz A, Jain K, Lubiw A, et al. Token swapping on trees. arXiv. doi:10.48550/arXiv.1903.06981
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 8 |
Trébuchet G, Cattenoz PB, Zsámboki J, et al. The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal of Neuroscience. 2019;39(2):238-255. doi:10.1523/JNEUROSCI.1059-18.2018
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 80 |
Deuchert A, Seiringer R, Yngvason J. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. 2019;368(2):723-776. doi:10.1007/s00220-018-3239-0
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Conference Paper |
IST-REx-ID: 8175 |
Betea D, Bouttier J, Nejjar P, Vuletíc M. New edge asymptotics of skew Young diagrams via free boundaries. In: Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Formal Power Series and Algebraic Combinatorics; 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
earlier version | 2019 |
Draft |
Preprint |
IST-REx-ID: 8182 |
Avvakumov S, Kudrya S. Vanishing of all equivariant obstructions and the mapping degree. arXiv. doi:10.48550/arXiv.1910.12628
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Draft |
Preprint |
IST-REx-ID: 8184 |
Avvakumov S, Karasev R, Skopenkov A. Stronger counterexamples to the topological Tverberg conjecture. arXiv. doi:10.48550/arXiv.1908.08731
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |
Draft |
Preprint |
IST-REx-ID: 8185 |
Avvakumov S, Karasev R. Envy-free division using mapping degree. arXiv. doi:10.48550/arXiv.1907.11183
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Book Chapter |
IST-REx-ID: 8281
Barton NH, Etheridge A. Mathematical models in population genetics. In: Balding D, Moltke I, Marioni J, eds. Handbook of Statistical Genomics. 4th ed. Wiley; 2019:115-144. doi:10.1002/9781119487845.ch4
View
| DOI
| WoS
2019 |
Submitted |
Preprint |
IST-REx-ID: 8305 |
Kokoris Kogias E, Spiegelman A, Malkhi D, Abraham I. Bootstrapping consensus without trusted setup: Fully asynchronous distributed key generation. Cryptology ePrint Archive.
[Preprint]
View
| Download Preprint (ext.)
2019 |
Published |
Conference Paper |
IST-REx-ID: 8570 |
Althoff M, Bak S, Forets M, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. In: EPiC Series in Computing. Vol 61. EasyChair; 2019:14-40. doi:10.29007/bj1w
[Published Version]
View
| DOI
| Download Published Version (ext.)