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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1855 Publications


2020 | Journal Article | IST-REx-ID: 6184   OA
Correlated random matrices: Band rigidity and edge universality
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
View | Files available | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7877   OA
MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome
I. Parenti, F. Diab, S.R. Gil, E. Mulugeta, V. Casa, R. Berutti, R.W.W. Brouwer, V. Dupé, J. Eckhold, E. Graf, B. Puisac, F. Ramos, T. Schwarzmayr, M.M. Gines, T. Van Staveren, W.F.J. Van Ijcken, T.M. Strom, J. Pié, E. Watrin, F.J. Kaiser, K.S. Wendt, Cell Reports 31 (2020) 107647.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7808   OA
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7810   OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896   OA
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, IST Austria, 2020.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed