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.
702 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” Proceedings of the 30th International Conference on Automated Planning and Scheduling, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
| Files available
2020 | Published | Journal Article | IST-REx-ID: 8134 | 
Mayer, Simon, and Robert Seiringer. “The Free Energy of the Two-Dimensional Dilute Bose Gas. II. Upper Bound.” Journal of Mathematical Physics, vol. 61, no. 6, 061901, AIP Publishing, 2020, doi:10.1063/5.0005950.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 15077 |
Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” 47th International Colloquium on Automata, Languages, and Programming, vol. 168, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ICALP.2020.7.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software, 2020.
[Preprint]
View
| Files available
| arXiv
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 | Journal Article | IST-REx-ID: 8268 |
Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” IEEE Transactions on Signal Processing, vol. 68, IEEE, 2020, pp. 4268–82, doi:10.1109/TSP.2020.3010355.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8319 |
Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” Physical Review A, vol. 102, no. 1, 012224, American Physical Society, 2020, doi:10.1103/PhysRevA.102.012224.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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 | Journal Article | IST-REx-ID: 8325 |
Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing of Superharmonic Functions.” Communications in Mathematical Physics, vol. 378, no. 9, Springer Nature, 2020, pp. 1649–75, doi:10.1007/s00220-020-03828-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8320
Mukba, S. A., et al. “Expanding the Genetic Code: Unnatural Base Pairs in Biological Systems.” Molecular Biology, vol. 54, no. 4, Springer Nature, 2020, pp. 475–84, doi:10.1134/S0026893320040111.
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8321
Mukba, S. A., et al. “Expanding the genetic code: Unnatural base pairs in biological systems.” Molekuliarnaia biologiia, vol. 54, no. 4, Russian Academy of Sciences, 2020, pp. 531–41, doi:10.31857/S0026898420040126.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 8600 |
Chatterjee, Krishnendu, et al. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.” 31st International Conference on Concurrency Theory, vol. 171, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.23.
[Published Version]
View
| Files available
| DOI
| arXiv
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: 8534 |
Jecker, Ismael R., et al. “Unary Prime Languages.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 51:1-51:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.51.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8599 |
Avni, Guy, and Thomas A. Henzinger. “A Survey of Bidding Games on Graphs.” 31st International Conference on Concurrency Theory, vol. 171, 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.2.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8581
Pinke, Gergely, et al. “Cryo-EM Structure of the Entire Mammalian F-Type ATP Synthase.” Nature Structural and Molecular Biology, vol. 27, no. 11, Springer Nature, 2020, pp. 1077–85, doi:10.1038/s41594-020-0503-8.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8644 |
Rzadkowski, Wojciech, et al. “Detecting Composite Orders in Layered Models via Machine Learning.” New Journal of Physics, vol. 22, no. 9, 093026, IOP Publishing, 2020, doi:10.1088/1367-2630/abae44.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8672 |
Chaigne, Agathe, et al. “Abscission Couples Cell Division to Embryonic Stem Cell Fate.” Developmental Cell, vol. 55, no. 2, Elsevier, 2020, pp. 195–208, doi:10.1016/j.devcel.2020.09.001.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8670 |
Zhang, Haonan. “Equality Conditions of Data Processing Inequality for α-z Rényi Relative Entropies.” Journal of Mathematical Physics, vol. 61, no. 10, 102201, AIP Publishing, 2020, doi:10.1063/5.0022787.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8699 |
Paris, Eugenio, et al. “Strain Engineering of the Charge and Spin-Orbital Interactions in Sr2IrO4.” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 40, National Academy of Sciences, 2020, pp. 24764–70, doi:10.1073/pnas.2012043117.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv