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.
6238 Publications
2020 | Published | Journal Article | IST-REx-ID: 8790 | 
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 4018–29, doi:10.1109/TCAD.2020.3012859.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8383
Alistarh, Dan-Adrian, et al. “Brief Announcement: Why Extension-Based Proofs Fail.” Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56, doi:10.1145/3382734.3405743.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara, Alan M., et al. “Inserting One Edge into a Simple Drawing Is Hard.” Graph-Theoretic Concepts in Computer Science, vol. 12301, Springer Nature, 2020, pp. 325–38, doi:10.1007/978-3-030-60440-0_26.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8536 |
Mondelli, Marco, et al. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” IEEE International Symposium on Information Theory - Proceedings, vol. 2020–June, 401–406, IEEE, 2020, doi:10.1109/ISIT44484.2020.9174141.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8386 |
Zhang, Ran. Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8386.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 6761 |
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Thesis | IST-REx-ID: 7996 |
Kukucka, Josip. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7996.
[Published Version]
View
| Files available
| DOI
2020 | Published | Book Chapter | IST-REx-ID: 19986 |
Chatterjee, Krishnendu, et al. “Termination Analysis of Probabilistic Programs with Martingales.” Foundations of Probabilistic Programming, Cambridge University Press, 2020, pp. 221–58, doi:10.1017/9781108770750.008.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7618 |
Pitrik, Jozsef, and Daniel Virosztek. “Quantum Hellinger Distances Revisited.” Letters in Mathematical Physics, vol. 110, no. 8, Springer Nature, 2020, pp. 2039–52, doi:10.1007/s11005-020-01282-0.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6649 |
Benedikter, Niels P., et al. “Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics, vol. 374, Springer Nature, 2020, pp. 2097–2150, doi:10.1007/s00220-019-03505-5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7866 |
Fellner, Klemens, and Michael Kniely. “Uniform Convergence to Equilibrium for a Family of Drift–Diffusion Models with Trap-Assisted Recombination and the Limiting Shockley–Read–Hall Model.” Journal of Elliptic and Parabolic Equations, vol. 6, Springer Nature, 2020, pp. 529–98, doi:10.1007/s41808-020-00068-8.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8978 |
Laukoter, Susanne, et al. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” STAR Protocols, vol. 1, no. 3, 100215, Elsevier, 2020, doi:10.1016/j.xpro.2020.100215.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8038 |
Fink, Johannes M., et al. “Efficient Microwave Frequency Conversion Mediated by a Photonics Compatible Silicon Nitride Nanobeam Oscillator.” Quantum Science and Technology, vol. 5, no. 3, 034011, IOP Publishing, 2020, doi:10.1088/2058-9565/ab8dce.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7910 |
Barzanjeh, Shabir, et al. “Microwave Quantum Illumination Using a Digital Receiver.” Science Advances, vol. 6, no. 19, eabb0451, AAAS, 2020, doi:10.1126/sciadv.abb0451.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 9001 |
Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” IEEE National Radar Conference - Proceedings, vol. 2020, no. 9, 9266397, IEEE, 2020, doi:10.1109/RadarConf2043947.2020.9266397.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 13071 |
Hease, William J., et al. Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State. Zenodo, 2020, doi:10.5281/ZENODO.4266025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8755 |
Peruzzo, Matilda, et al. “Surpassing the Resistance Quantum with a Geometric Superinductor.” Physical Review Applied, vol. 14, no. 4, 044055, American Physical Society, 2020, doi:10.1103/PhysRevApplied.14.044055.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 13070 |
Peruzzo, Matilda, et al. Surpassing the Resistance Quantum with a Geometric Superinductor. Zenodo, 2020, doi:10.5281/ZENODO.4052882.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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
| PubMed | Europe PMC
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