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.
5939 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10414 | 
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9644 |
Chatterjee, Krishnendu, et al. “Proving Non-Termination by Program Reversal.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–48, doi:10.1145/3453483.3454093.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9293 |
Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” Artificial Intelligence, vol. 297, no. 8, 103499, Elsevier, 2021, doi:10.1016/j.artint.2021.103499.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Avni, Guy, et al. “Bidding Mechanisms in Graph Games.” Journal of Computer and System Sciences, vol. 119, no. 8, Elsevier, 2021, pp. 133–44, doi:10.1016/j.jcss.2021.02.008.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10007 |
Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10007.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9418 |
Phuong, Mary. Underspecification in Deep Learning. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9418.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8606 |
He, P., et al. “GhARF16-1 Modulates Leaf Development by Transcriptionally Regulating the GhKNOX2-1 Gene in Cotton.” Plant Biotechnology Journal, vol. 19, no. 3, Wiley, 2021, pp. 548–62, doi:10.1111/pbi.13484.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8603 |
Frank, Rupert, and Robert Seiringer. “Quantum Corrections to the Pekar Asymptotics of a Strongly Coupled Polaron.” Communications on Pure and Applied Mathematics, vol. 74, no. 3, Wiley, 2021, pp. 544–88, doi:10.1002/cpa.21944.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8673 |
Modic, Kimberly A., et al. “Scale-Invariant Magnetic Anisotropy in RuCl3 at High Magnetic Fields.” Nature Physics, vol. 17, Springer Nature, 2021, pp. 240–44, doi:10.1038/s41567-020-1028-0.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9056 |
Osang, Georg F. Multi-Cover Persistence and Delaunay Mosaics. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9056.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8723 |
Li, Shigang, et al. “Breaking (Global) Barriers in Parallel Stochastic Optimization with Wait-Avoiding Group Averaging.” IEEE Transactions on Parallel and Distributed Systems, vol. 32, no. 7, 9271898, IEEE, 2021, doi:10.1109/TPDS.2020.3040606.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8708 |
Simon, Alexis, et al. “How Do Species Barriers Decay? Concordance and Local Introgression in Mosaic Hybrid Zones of Mussels.” Journal of Evolutionary Biology, vol. 34, no. 1, Wiley, 2021, pp. 208–23, doi:10.1111/jeb.13709.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8816 |
Runkel, Ingo, and Lorant Szegedy. “Area-Dependent Quantum Field Theory.” Communications in Mathematical Physics, vol. 381, no. 1, Springer Nature, 2021, pp. 83–117, doi:10.1007/s00220-020-03902-1.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8818
Ramirez Villegas, Juan F., et al. “Coupling of Hippocampal Theta and Ripples with Pontogeniculooccipital Waves.” Nature, vol. 589, no. 7840, Springer Nature, 2021, pp. 96–102, doi:10.1038/s41586-020-2914-4.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8757 |
Bozelos, Panagiotis, and Tim P. Vogels. “Talking Science, Online.” Nature Reviews Neuroscience, vol. 22, no. 1, Springer Nature, 2021, pp. 1–2, doi:10.1038/s41583-020-00408-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8792 |
Marveggio, Alice, and Giulio Schimperna. “On a Non-Isothermal Cahn-Hilliard Model Based on a Microforce Balance.” Journal of Differential Equations, vol. 274, no. 2, Elsevier, 2021, pp. 924–70, doi:10.1016/j.jde.2020.10.030.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8992 |
Tan, Shutang, et al. “Pho-View of Auxin: Reversible Protein Phosphorylation in Auxin Biosynthesis, Transport and Signaling.” Molecular Plant, vol. 14, no. 1, Elsevier, 2021, pp. 151–65, doi:10.1016/j.molp.2020.11.004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8928 |
Arnoux, Stéphanie, et al. “Genomic Inference of Complex Domestication Histories in Three Solanaceae Species.” Journal of Evolutionary Biology, vol. 34, no. 2, Wiley, 2021, pp. 270–83, doi:10.1111/jeb.13723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9037 |
Ivanov, Grigory. “No-Dimension Tverberg’s Theorem and Its Corollaries in Banach Spaces of Type P.” Bulletin of the London Mathematical Society, vol. 53, no. 2, London Mathematical Society, 2021, pp. 631–41, doi:10.1112/blms.12449.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9046 |
Römhild, Roderich, and Dan I. Andersson. “Mechanisms and Therapeutic Potential of Collateral Sensitivity to Antibiotics.” PLoS Pathogens, vol. 17, no. 1, e1009172, Public Library of Science, 2021, doi:10.1371/journal.ppat.1009172.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC