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.
5269 Publications
2022 | Published | Conference Paper | IST-REx-ID: 10891
Henzinger, Thomas A. “Quantitative Monitoring of Software.” Software Verification, vol. 13124, Springer Nature, 2022, pp. 3–6, doi:10.1007/978-3-030-95561-8_1.
View
| DOI
| WoS
2022 | Submitted | Preprint | IST-REx-ID: 11366 | 
Lechner, Mathias, et al. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.” ArXiv, 2204.07373, doi:10.48550/arXiv.2204.07373.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12010 |
Brunnbauer, Axel, et al. “Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.” 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–20, doi:10.1109/ICRA46639.2022.9811650.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12671 |
Buttress, Toby, et al. “Histone H2B.8 Compacts Flowering Plant Sperm through Chromatin Phase Separation.” Nature, vol. 611, no. 7936, Springer Nature, 2022, pp. 614–22, doi:10.1038/s41586-022-05386-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12670 |
He, Shengbo, and Xiaoqi Feng. “DNA Methylation Dynamics during Germline Development.” Journal of Integrative Plant Biology, vol. 64, no. 12, Wiley, 2022, pp. 2240–51, doi:10.1111/jipb.13422.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 14106 |
Lohaus, Michael, et al. “Are Two Heads the Same as One? Identifying Disparate Treatment in Fair Neural Networks.” 36th Conference on Neural Information Processing Systems, vol. 35, Neural Information Processing Systems Foundation, 2022, pp. 16548–62.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 14220 |
Mambelli, Davide, et al. “Compositional Multi-Object Reinforcement Learning with Linear Relation Networks.” ArXiv, 2201.13388, doi:10.48550/arXiv.2201.13388.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10769 |
Daguerre, L., et al. “Non relativistic quantum field theory: Dynamics and irreversibility.” Anales de la Asociacion Fisica Argentina, vol. 32, no. 4, Asociación Física Argentina, 2022, pp. 93–98, doi:10.31527/analesafa.2021.32.4.93.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10945 |
Çoruh, Mehmet Orkun, et al. “PH-Dependent Coloring of Combination Effect Pigments with Anthocyanins from Brassica Oleracea Var. Capitata F. Rubra.” Colorants, vol. 1, no. 2, MDPI, 2022, pp. 149–64, doi:10.3390/colorants1020010.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 17084 |
Aichholzer, Oswin, et al. “Hardness of Token Swapping on Trees.” 30th Annual European Symposium on Algorithms, vol. 244, 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.ESA.2022.3.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11938 |
Aichholzer, Oswin, et al. “On Compatible Matchings.” Journal of Graph Algorithms and Applications, vol. 26, no. 2, Brown University, 2022, pp. 225–40, doi:10.7155/jgaa.00591.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 12750 |
Brighi, Pietro, et al. “Hilbert Space Fragmentation and Slow Dynamics in Particle-Conserving Quantum East Models.” ArXiv, 2210.15607, doi:10.48550/arXiv.2210.15607.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, doi:10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11442 |
Piovarci, Michael, et al. “Closed-Loop Control of Direct Ink Writing via Reinforcement Learning.” ACM Transactions on Graphics, vol. 41, no. 4, 112, Association for Computing Machinery, 2022, doi:10.1145/3528223.3530144.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10604 |
Turelli, Michael, and Nicholas H. Barton. “Why Did the Wolbachia Transinfection Cross the Road? Drift, Deterministic Dynamics, and Disease Control.” Evolution Letters, vol. 6, no. 1, Wiley, 2022, pp. 92–105, doi:10.1002/evl3.270.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10642 |
Henheik, Sven Joscha, et al. “Local Stability of Ground States in Locally Gapped and Weakly Interacting Quantum Spin Systems.” Letters in Mathematical Physics, vol. 112, no. 1, 9, Springer Nature, 2022, doi:10.1007/s11005-021-01494-y.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10530 |
Zisis, Themistoklis, et al. “Disentangling Cadherin-Mediated Cell-Cell Interactions in Collective Cancer Cell Migration.” Biophysical Journal, vol. 121, no. 1, Elsevier, 2022, pp. P44-60, doi:10.1016/j.bpj.2021.12.006.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10643 |
Henheik, Sven Joscha, and Stefan Teufel. “Adiabatic Theorem in the Thermodynamic Limit: Systems with a Gap in the Bulk.” Forum of Mathematics, Sigma, vol. 10, e4, Cambridge University Press, 2022, doi:10.1017/fms.2021.80.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10713 |
Akhmanova, Maria, et al. “Cell Division in Tissues Enables Macrophage Infiltration.” Science, vol. 376, no. 6591, American Association for the Advancement of Science, 2022, pp. 394–96, doi:10.1126/science.abj0425.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10600 |
Henheik, Sven Joscha, and Stefan Teufel. “Adiabatic Theorem in the Thermodynamic Limit: Systems with a Uniform Gap.” Journal of Mathematical Physics, vol. 63, no. 1, 011901, AIP Publishing, 2022, doi:10.1063/5.0051632.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv