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. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 2020;4(1):143-158. doi:10.1515/mathm-2020-0106
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 9299 |
Pach J, Tardos G, Tóth G. Crossings between non-homotopic edges. In: 28th International Symposium on Graph Drawing and Network Visualization. Vol 12590. LNCS. Springer Nature; 2020:359-371. doi:10.1007/978-3-030-68766-3_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9415 |
Kurtz M, Kopinsky J, Gelashvili R, et al. Inducing and exploiting activation sparsity for fast neural network inference. In: 37th International Conference on Machine Learning, ICML 2020. Vol 119. ; 2020:5533-5543.
[Published Version]
View
| Files available
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, et al. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 2020;142(20):9220-9230. doi:10.1021/jacs.9b13450
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta C, Khaniya U, Chan C, et al. Charge transfer and chemo-mechanical coupling in respiratory complex I. 2020. doi:10.1021/jacs.9b13450.s002
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8332 |
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 7514 |
Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:10.15479/AT:ISTA:7514
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7790 |
Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 2020;8. doi:10.1017/fms.2020.17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9308 |
Avvakumov S, Wagner U, Mabillard I, Skopenkov AB. Eliminating higher-multiplicity intersections, III. Codimension 2. Russian Mathematical Surveys. 2020;75(6):1156-1158. doi:10.1070/RM9943
[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. The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. 2020;25:1421-1539. doi:10.4171/dm/780
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7944 |
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8156 |
Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156
[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. doi:10.48550/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. doi:10.48550/arXiv.2004.00642
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Research Data | IST-REx-ID: 8834 |
Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. 2020. doi: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, et al. Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. 2020;11. doi:10.1038/s41467-020-18269-z
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9114 |
Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. 2020;1(2). doi:10.1103/prxquantum.1.020315
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7933 |
Maslov M, Lemeshko M, Yakaboylu E. Synthetic spin-orbit coupling mediated by a bosonic environment. Physical Review B. 2020;101(18). doi:10.1103/PhysRevB.101.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