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.
5694 Publications
2020 | Published | Conference Paper | IST-REx-ID: 9299 | 
Pach, János, et al. “Crossings between Non-Homotopic Edges.” 28th International Symposium on Graph Drawing and Network Visualization, vol. 12590, Springer Nature, 2020, pp. 359–71, doi:10.1007/978-3-030-68766-3_28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9415 |
Kurtz, Mark, et al. “Inducing and Exploiting Activation Sparsity for Fast Neural Network Inference.” 37th International Conference on Machine Learning, ICML 2020, vol. 119, 2020, pp. 5533–43.
[Published Version]
View
| Files available
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 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, Chitrak, et al. “Charge Transfer and Chemo-Mechanical Coupling in Respiratory Complex I.” Journal of the American Chemical Society, vol. 142, no. 20, American Chemical Society, 2020, pp. 9220–30, doi:10.1021/jacs.9b13450.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta, Chitrak, et al. Charge Transfer and Chemo-Mechanical Coupling in Respiratory Complex I. American Chemical Society, 2020, doi:10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8332 |
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 7514 |
Mayer, Simon. The Free Energy of a Dilute Two-Dimensional Bose Gas. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7514.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7790 |
Deuchert, Andreas, et al. “The Free Energy of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” Forum of Mathematics, Sigma, vol. 8, e20, Cambridge University Press, 2020, doi:10.1017/fms.2020.17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9308 |
Avvakumov, Sergey, et al. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” Russian Mathematical Surveys, vol. 75, no. 6, IOP Publishing, 2020, pp. 1156–58, doi:10.1070/RM9943.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 14694 |
Alt, Johannes, et al. “The Dyson Equation with Linear Self-Energy: Spectral Bands, Edges and Cusps.” Documenta Mathematica, vol. 25, EMS Press, 2020, pp. 1421–539, doi:10.4171/dm/780.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7944 |
Masárová, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8156 |
Avvakumov, Sergey. Topological Methods in Geometry and Discrete Mathematics. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8156.
[Published Version]
View
| Files available
| DOI
2020 | Draft | Preprint | IST-REx-ID: 10022 |
Forkert, Dominik L., et al. “Evolutionary Γ-Convergence of Entropic Gradient Flow Structures for Fokker-Planck Equations in Multiple Dimensions.” ArXiv, 2008.10962, doi:10.48550/arXiv.2008.10962.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Submitted | Preprint | IST-REx-ID: 8063 |
Anciukevicius, Titas, et al. “Object-Centric Image Generation with Factored Depths, Locations, and Appearances.” ArXiv, 2004.00642, doi:10.48550/arXiv.2004.00642.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Research Data | IST-REx-ID: 8834 |
Katsaros, Georgios. Enhancement of Proximity Induced Superconductivity in Planar Germanium. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8834.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8529 |
Arnold, Georg M., et al. “Converting Microwave and Telecom Photons with a Silicon Photonic Nanomechanical Interface.” Nature Communications, vol. 11, 4460, Springer Nature, 2020, doi:10.1038/s41467-020-18269-z.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9114 |
Hease, William J., et al. “Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State.” PRX Quantum, vol. 1, no. 2, 020315, American Physical Society, 2020, doi:10.1103/prxquantum.1.020315.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7933 |
Maslov, Mikhail, et al. “Synthetic Spin-Orbit Coupling Mediated by a Bosonic Environment.” Physical Review B, vol. 101, no. 18, 184104, American Physical Society, 2020, 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
2020 | Published | Conference Paper | IST-REx-ID: 14186 |
Locatello, Francesco, et al. “A Commentary on the Unsupervised Learning of Disentangled Representations.” The 34th AAAI Conference on Artificial Intelligence, vol. 34, no. 9, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–84, doi:10.1609/aaai.v34i09.7120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv