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.

2975 Publications


2020 | Journal Article | IST-REx-ID: 8742 | OA
Browning TD, Heath-Brown R. 2020. The geometric sieve for quadrics. Forum Mathematicum.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8740 | OA
Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. 2020. Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. eLife. 9.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8743
Salces-Castellano A, Stankowski S, Arribas P, Patino J, Karger DN, Butlin R, Emerson BC. 2020. Long-term cloud forest response to climate warming revealed by insect speciation history. Evolution.
View | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds, IST Austria, xviii+120p.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8750 | OA
Forets M, Freire D, Schilling C. Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 8724
Konstantinov NH, Frantar E, Alistarh D-A, Lampert C. On the sample complexity of adversarial multi-source PAC learning. arXiv.
View | arXiv
 

2020 | Preprint | IST-REx-ID: 8725 | OA
Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. The splay-list: A distribution-adaptive concurrent skip-list. arXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8697 | OA
Fischer JL, Kniely M. 2020. Variance reduction for effective energies of random lattices in the Thomas-Fermi-von Weizsäcker model. Nonlinearity. 33(11), 5733–5772.
View | Files available | DOI | arXiv
 

2020 | Preprint | IST-REx-ID: 7901 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Correlation energy of a weakly interacting Fermi gas.
View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming , LIPIcs, vol. 168.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara AM, Bensmail J, Bruce Richter R. 2020. Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. 2020. Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7605 | OA
Alistarh D-A, Fedorov A, Koval N. 2020. In search of the fastest concurrent union-find algorithm. 23rd International Conference on Principles of Distributed Systems. OPODIS: International Conference on Principles of Distributed Systems, LIPIcs, vol. 153. 15:1-15:16.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov S, Nivasch G. 2020. Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7952 | OA
Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova Z. 2020. Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164.
View | Files available | DOI | arXiv
 

2020 | Preprint | IST-REx-ID: 7463 | OA
Lombardi F, Shriki O, Herrmann HJ, de Arcangelis L. 2020. Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. bioRxiv.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications