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.
6713 Publications
2022 |
Published |
Conference Paper |
IST-REx-ID: 12775 |
Grover, Kush, et al. “Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.” 33rd International Conference on Concurrency Theory, vol. 243, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.CONCUR.2022.11.
[Published Version]
View
| Files available
| DOI
| arXiv
earlier version | 2022 |
Published |
Conference Paper |
IST-REx-ID: 12508 |
Henzinger, Thomas A., et al. “History-Deterministic Timed Automata.” 33rd International Conference on Concurrency Theory, vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21, doi:10.4230/LIPIcs.CONCUR.2022.14.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12236
Wang, Xiang, et al. “CoFeNiMnZnB as a High-Entropy Metal Boride to Boost the Oxygen Evolution Reaction.” ACS Applied Materials and Interfaces, vol. 14, no. 42, American Chemical Society, 2022, pp. 48212–19, doi:10.1021/acsami.2c11627.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 17076 |
Hillary, Robert F., et al. “Genome‐ and Epigenome‐wide Studies of Plasma Protein Biomarkers for Alzheimer’s Disease Implicate TBCA and TREM2 in Disease Risk.” Alzheimer’s & Dementia, vol. 14, no. 1, e12280, Wiley, 2022, doi:10.1002/dad2.12280.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 11705 |
Chang, Cheng, et al. “Surface Functionalization of Surfactant-Free Particles: A Strategy to Tailor the Properties of Nanocomposites for Enhanced Thermoelectric Performance.” Angewandte Chemie International Edition, vol. 61, no. 35, e202207002, Wiley, 2022, doi:10.1002/anie.202207002.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 11451 |
Parvizian, Mahsa, et al. “The Chemistry of Cu₃N and Cu₃PdN Nanocrystals.” Angewandte Chemie International Edition, vol. 61, no. 31, e202207013, Wiley, 2022, doi:10.1002/anie.202207013.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Research Data Reference |
IST-REx-ID: 11695 |
Parvizian, Mahsa, et al. Data for “The Chemistry of Cu3N and Cu3PdN Nanocrystals.” Zenodo, 2022, doi:10.5281/ZENODO.6542908.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |
Published |
Journal Article |
IST-REx-ID: 10652 |
Hosten, Onur. “Constraints on Probing Quantum Coherence to Infer Gravitational Entanglement.” Physical Review Research, vol. 4, no. 1, 013023, American Physical Society, 2022, doi:10.1103/PhysRevResearch.4.013023.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 11438 |
Li, Vyacheslav, et al. “Laser Frequency-Offset Locking at 10-Hz-Level Instability Using Hybrid Electronic Filters.” Physical Review Applied, vol. 17, no. 5, 054031, American Physical Society, 2022, doi:10.1103/physrevapplied.17.054031.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 11839 |
Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” Computer Vision – ECCV 2022, vol. 13681, Springer Nature, 2022, pp. 350–65, doi:10.1007/978-3-031-19803-8_21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 11775 |
Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” 22nd International Conference on Runtime Verification, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:10.1007/978-3-031-17196-3_11.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 12101 |
Chatterjee, Krishnendu, et al. “Complexity of Spatial Games.” 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 250, 11:1-11:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.FSTTCS.2022.11.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12257 |
Chatterjee, Krishnendu, et al. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.” Physical Review E, vol. 106, no. 3, 034321, American Physical Society, 2022, doi:10.1103/physreve.106.034321.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 10583 |
Struk, Sylwia, et al. “Transcriptional Analysis in the Arabidopsis Roots Reveals New Regulators That Link Rac-GR24 Treatment with Changes in Flavonol Accumulation, Root Hair Elongation and Lateral Root Density.” Plant & Cell Physiology, vol. 63, no. 1, Oxford University Press, 2022, pp. 104–19, doi:10.1093/pcp/pcab149.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 10282 |
Kashkan, Ivan, et al. “Mutually Opposing Activity of PIN7 Splicing Isoforms Is Required for Auxin-Mediated Tropic Responses in Arabidopsis Thaliana.” New Phytologist, vol. 233, no. 1, Wiley, 2022, pp. 329–43, doi:10.1111/nph.17792.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
| bioRxiv
2022 |
Published |
Journal Article |
IST-REx-ID: 10656 |
Muller, Caroline J., et al. “Spontaneous Aggregation of Convective Storms.” Annual Review of Fluid Mechanics, vol. 54, Annual Reviews, 2022, pp. 133–57, doi:10.1146/annurev-fluid-022421-011319.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 10846 |
Artan, Murat, et al. “MON-2, a Golgi Protein, Promotes Longevity by Upregulating Autophagy through Mediating Inter-Organelle Communications.” Autophagy, vol. 18, no. 5, Taylor & Francis, 2022, pp. 1208–10, doi:10.1080/15548627.2022.2039523.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 11636 |
Kmentt, Philip, and Alec L. Shute. “The Bertini Irreducibility Theorem for Higher Codimensional Slices.” Finite Fields and Their Applications, vol. 83, no. 10, 102085, Elsevier, 2022, doi:10.1016/j.ffa.2022.102085.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 12684 |
Horesh, Tal, and Frédéric Paulin. “Effective Equidistribution of Lattice Points in Positive Characteristic.” Journal de Theorie Des Nombres de Bordeaux, vol. 34, no. 3, Université de Bordeaux, 2022, pp. 679–703, doi:10.5802/JTNB.1222.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 12065 |
Prehal, Christian, et al. “Exclusive Solution Discharge in Li-O₂ Batteries?” ACS Energy Letters, vol. 7, no. 9, American Chemical Society, 2022, pp. 3112–19, doi:10.1021/acsenergylett.2c01711.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC