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.

2576 Publications


2021 | Conference Paper | IST-REx-ID: 9356 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, n.d.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
A singlet triplet hole spin qubit in planar Ge
D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials (2021).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Underspecification in Deep Learning
M. Phuong, Underspecification in Deep Learning, IST Austria, 2021.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9470 | OA
Unboxing mutations: Connecting mutation types with evolutionary consequences
E.L. Berdan, A. Blanckaert, T. Slotte, A. Suh, A.M. Westram, I. Fragata, Molecular Ecology 30 (2021) 2710–2723.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9467 | OA
Suppression of turbulence and travelling waves in a vertical heated pipe
E. Marensi, S. He, A.P. Willis, Journal of Fluid Mechanics 919 (2021).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9468 | OA
Extending drawings of complete graphs into arrangements of pseudocircles
A.M. Arroyo Guevara, R.B. Richter, M. Sunohara, SIAM Journal on Discrete Mathematics 35 (2021) 1050–1076.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Shear-induced ordering in systems with competing interactions: A machine learning study
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020).
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Neurodevelopmental disorders: From genetics to functional pathways
I. Parenti, L.E. Garcia Rabaneda, H. Schön, G. Novarino, Trends in Neurosciences 43 (2020) 608–621.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry 64 (2020) 304–323.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7962 | OA
Almost all string graphs are intersection graphs of plane convex sets
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
View | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7968 | OA
Analytic model of chiral-induced spin selectivity
A. Ghazaryan, Y. Paltiel, M. Lemeshko, The Journal of Physical Chemistry C 124 (2020) 11716–11721.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7971 | OA
Gully quantum Hall ferromagnetism in biased trilayer graphene
P. Rao, M. Serbyn, Physical Review B 101 (2020).
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7985 | OA
Lithium-oxygen batteries and related systems: Potential, status, and future
W. Kwak, D. Sharon, C. Xia, H. Kim, L. Johnson, P. Bruce, L. Nazar, Y. Sun, A. Frimer, M. Noked, S.A. Freunberger, D. Aurbach, Chemical Reviews 120 (2020) 6626–6683.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips)
U. Wagner, E. Welzl, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Homotopic curve shortening and the affine curve-shortening flow
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications