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
Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” Nature Materials, Springer Nature, 2021, doi:10.1038/s41563-021-01022-2.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Jirovec, Daniel. Research Data for “A Singlet-Triplet Hole Spin Qubit Planar Ge.” IST Austria, 2021, doi:10.15479/AT:ISTA:9323.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong, Mary. Underspecification in Deep Learning. IST Austria, 2021, doi:10.15479/AT:ISTA:9418.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner, Herbert, et al. “A Step in the Delaunay Mosaic of Order K.” Journal of Geometry, vol. 112, no. 1, 15, Springer Nature, 2021, doi:10.1007/s00022-021-00577-4.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9470 | OA
Berdan, Emma L., et al. “Unboxing Mutations: Connecting Mutation Types with Evolutionary Consequences.” Molecular Ecology, vol. 30, no. 12, Wiley, 2021, pp. 2710–23, doi:10.1111/mec.15936.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9467 | OA
Marensi, Elena, et al. “Suppression of Turbulence and Travelling Waves in a Vertical Heated Pipe.” Journal of Fluid Mechanics, vol. 919, A17, Cambridge University Press, 2021, doi:10.1017/jfm.2021.371.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9468 | OA
Arroyo Guevara, Alan M., et al. “Extending Drawings of Complete Graphs into Arrangements of Pseudocircles.” SIAM Journal on Discrete Mathematics, vol. 35, no. 2, Society for Industrial and Applied Mathematics, 2021, pp. 1050–76, doi:10.1137/20M1313234.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. IST Austria, 2021, doi:10.15479/AT:ISTA:8934.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., et al. “Shear-Induced Ordering in Systems with Competing Interactions: A Machine Learning Study.” The Journal of Chemical Physics, vol. 152, no. 20, 204905, AIP, 2020, doi:10.1063/5.0005194.
View | DOI | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications