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.
5695 Publications
2020 | Published | Journal Article | IST-REx-ID: 9249 | 
Biswas R, Largeteau-Skapin G, Zrour R, Andres E. 2020. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 4(1), 143–158.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 9299 |
Pach J, Tardos G, Tóth G. 2020. Crossings between non-homotopic edges. 28th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network VisualizationLNCS vol. 12590, 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9415 |
Kurtz M, Kopinsky J, Gelashvili R, Matveev A, Carr J, Goin M, Leiserson W, Moore S, Nell B, Shavit N, Alistarh D-A. 2020. Inducing and exploiting activation sparsity for fast neural network inference. 37th International Conference on Machine Learning, ICML 2020. ICML: International Conference on Machine Learning vol. 119, 5533–5543.
[Published Version]
View
| Files available
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 142(20), 9220–9230.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta C, Khaniya U, Chan C, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I, American Chemical Society, 10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8332 |
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 7514 |
Mayer S. 2020. The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7790 |
Deuchert A, Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 8, e20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9308 |
Avvakumov S, Wagner U, Mabillard I, Skopenkov AB. 2020. Eliminating higher-multiplicity intersections, III. Codimension 2. Russian Mathematical Surveys. 75(6), 1156–1158.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 14694 |
Alt J, Erdös L, Krüger TH. 2020. The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. 25, 1421–1539.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7944 |
Masárová Z. 2020. Reconfiguration problems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8156 |
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Draft | Preprint | IST-REx-ID: 10022 |
Forkert DL, Maas J, Portinale L. Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv, 2008.10962.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Submitted | Preprint | IST-REx-ID: 8063 |
Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation with factored depths, locations, and appearances. arXiv, 2004.00642.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Research Data | IST-REx-ID: 8834 |
Katsaros G. 2020. Enhancement of proximity induced superconductivity in planar Germanium, Institute of Science and Technology Austria, 10.15479/AT:ISTA:8834.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8529 |
Arnold GM, Wulf M, Barzanjeh S, Redchenko E, Rueda Sanchez AR, Hease WJ, Hassani F, Fink JM. 2020. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. 11, 4460.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9114 |
Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel HGL, Fink JM. 2020. Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. 1(2), 020315.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7933 |
Maslov M, Lemeshko M, Yakaboylu E. 2020. Synthetic spin-orbit coupling mediated by a bosonic environment. Physical Review B. 101(18), 184104.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 14125 |
Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC