Please note that ISTA 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.
4958 Publications
2020 | Published | Conference Paper | IST-REx-ID: 10328
Lambert, Nicholas J., et al. “New Designs and Noise Channels in Electro-Optic Microwave to Optical up-Conversion.” OSA Quantum 2.0 Conference, QTu8A.1, Optica Publishing Group, 2020, doi:10.1364/QUANTUM.2020.QTu8A.1.
View
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 10556 | 
Kokoris Kogias, Eleftherios, et al. “Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures.” Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767, doi:10.1145/3372297.3423364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 | Patent | IST-REx-ID: 10557 |
Ford, Bryan, et al. Cryptographically Verifiable Data Structure Having Multi-Hop Forward and Backwards Links and Associated Systems and Methods. 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 10672 |
Lechner, Mathias. “Learning Representations for Binary-Classification without Backpropagation.” 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 10673 |
Hasani, Ramin, et al. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–93.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 10861
Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” International Journal on Software Tools for Technology Transfer, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58, doi:10.1007/s10009-020-00582-z.
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 10862 |
Bao, Zhigang, et al. “Spectral Rigidity for Addition of Random Matrices at the Regular Edge.” Journal of Functional Analysis, vol. 279, no. 7, 108639, Elsevier, 2020, doi:10.1016/j.jfa.2020.108639.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 10866 |
Duan, Jiahua, et al. “Twisted Nano-Optics: Manipulating Light at the Nanoscale with Twisted Phonon Polaritonic Slabs.” Nano Letters, vol. 20, no. 7, American Chemical Society, 2020, pp. 5323–29, doi:10.1021/acs.nanolett.0c01673.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 10867 |
Akopyan, Arseniy, and Roman Karasev. “Waist of Balls in Hyperbolic and Spherical Spaces.” International Mathematics Research Notices, vol. 2020, no. 3, Oxford University Press, 2020, pp. 669–97, doi:10.1093/imrn/rny037.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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: 8986 |
Zhang, Yuzhou, et al. “Functional Innovations of PIN Auxin Transporters Mark Crucial Evolutionary Transitions during Rise of Flowering Plants.” Science Advances, vol. 6, no. 50, eabc8895, AAAS, 2020, doi:10.1126/sciadv.abc8895.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8283 |
Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” International Journal of Molecular Sciences, vol. 21, no. 16, 5272, MDPI, 2020, doi:10.3390/ijms21165727.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7582 |
Moturu, Taraka Ramji, et al. “Molecular Evolution and Diversification of Proteins Involved in MiRNA Maturation Pathway.” Plants, vol. 9, no. 3, 299, MDPI, 2020, doi:10.3390/plants9030299.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8822 |
Hajny, Jakub. Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8822.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7810 |
Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” European Symposium on Programming, vol. 12075, Springer Nature, 2020, pp. 112–40, doi:10.1007/978-3-030-44914-8_5.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Asadi, Ali, et al. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.” Automated Technology for Verification and Analysis, vol. 12302, Springer Nature, 2020, pp. 253–70, doi:10.1007/978-3-030-59152-6_14.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8533 |
Chatterjee, Krishnendu, et al. “Simplified Game of Life: Algorithms and Complexity.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 22:1-22:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.22.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–87, doi:10.1145/3385412.3385969.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8789 |
Kleshnina, Maria, et al. “Prioritised Learning in Snowdrift-Type Games.” Mathematics, vol. 8, no. 11, 1945, MDPI, 2020, doi:10.3390/math8111945.
[Published Version]
View
| Files available
| DOI
| WoS
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